Matematické Fórum

sblahak · 16. 09. 2012 18:04

(A $\Rightarrow$ (B $\vee$ C´))´ $\Leftrightarrow$

Potreboval by som vyriesit pravu stranu vyroku aj dokaz . Dakujem.

Bati · 16. 09. 2012 19:02

Ahoj, zkus využít následující vztahy (můžeš si je sám lehce ověřit a vyplatí se je pamatovat):
$(A\Rightarrow B)\Leftrightarrow (A'\vee B)$
$(A\vee B)' \Leftrightarrow (A'\wedge B')$

Oxyd · 16. 09. 2012 19:02

Inu, tak se podívej, jak se neguje implikace a disjunkce. Co se důkazu týče, předpokládám, že bude stačit udělat si pravdivostní tabulku.

Ukaž, kam až ses dostal a řekni, co ti nejde nebo není jasné. Takhle bez ničeho se těžko něco radí.

sblahak · 16. 09. 2012 19:24

(A $\Rightarrow$ (B $\vee$ C´))´ $\Leftrightarrow$ (A $\wedge$ (B $\vee$ C)´)´

Zatial som sa dostal k tomuto vysledku niesom si isty ci je to dobre.

Oxyd · 16. 09. 2012 19:37

Nepřijde mi to dobře. Zkus to postupně upravovat podle těch pravidel, co ti napsal ↑ Bati:.

Začít můžeš třeba tím, že rozepíšeš implikaci na disjunkci: $(a \implies (b \lor c'))' \sim (a' \lor (b \lor c'))'$ Dál je to o použití pravidla na negaci disjunkce.

Matematické Fórum

#1 16. 09. 2012 18:04

Vyrokova logika

#2 16. 09. 2012 19:02

Re: Vyrokova logika

#3 16. 09. 2012 19:02

Re: Vyrokova logika

#4 16. 09. 2012 19:24

Re: Vyrokova logika

#5 16. 09. 2012 19:37

Re: Vyrokova logika

Zápatí