Matematické Fórum

Neděle

((:-)) · 13. 10. 2011 18:18 — Editoval ((:-)) (13. 10. 2011 18:20)

↑ Neděle:

Musíš zvoliť také poradie, aby si dokázal jednotlivé pravdivosti zapisovať. Treba pozrieť, čo vlastne spájaš a to musí najprv existovať. Myslím, že Ťa povedú zátvorky...

$a, b, c$

$\neg b, \neg c$

$(b\vee c)$

$a\Rightarrow(b\vee c)$

$\color{magenta}\neg[a\Rightarrow(b\vee c)]$

$\color{blue}(a\wedge\neg b \wedge \neg c)$

$\color{magenta}\neg[a\Rightarrow(b\vee c)]\color{black}\Leftrightarrow\color{blue}(a\wedge\neg b \wedge \neg c)$

Neděle · 13. 10. 2011 18:23

To moc nechápu.

((:-)) · 13. 10. 2011 18:33 — Editoval ((:-)) (13. 10. 2011 18:37)

↑ Neděle:

Čo konkrétne nechápeš?

Máš robiť nejakú ekvivalenciu, to je Tvoja úloha.

Na ľavej strane ekvivalencie je negácia tej hranatej zátvorky (ak dobre chápem Tvoje zadanie).

Aby si negáciu mohol urobiť, musíš najprv vyrobiť pravdivostné hodnoty implikácie, ktorá je v hranatej zátvorke, až potom ich môžeš negovať.

Implikácia sa týka hodnôt $a$ , ale aj disjunkcie $(b\vee c)$ , to znamená, že najprv musíš poznať hodnoty disjunkcie, bez nich tú implikáciu neurobíš...

Na pravej strane hľadanej ekvivalencie je konjunkcia, ktorá sa skladá z výroku $a$ a z negácií výrokov b, c $\neg b$ a $\neg c$ . Ak máš robiť tú konjunkciu, najprv musíš mať tie negácie...

Až keď poznáš pravdivostné hodnoty fialovej a modrej strany ekvivalencie môžeš určiť pravdivostné hodnoty celej ekvivalencie...

Neděle · 13. 10. 2011 19:27

Díky.

Matematické Fórum

#1 13. 10. 2011 18:05 — Editoval Neděle (13. 10. 2011 18:07)

Výroky - tabulka.

#2 13. 10. 2011 18:18 — Editoval ((:-)) (13. 10. 2011 18:20)

Re: Výroky - tabulka.

#3 13. 10. 2011 18:23

Re: Výroky - tabulka.

#4 13. 10. 2011 18:33 — Editoval ((:-)) (13. 10. 2011 18:37)

Re: Výroky - tabulka.

#5 13. 10. 2011 19:27

Re: Výroky - tabulka.

Zápatí