Matematické Fórum

Zikoki · 28. 11. 2011 17:48 — Editoval Zikoki (28. 11. 2011 17:56)

Petr a Pavel čekají před kinem na své spolužáky Adama, Břetislava a Cyrila.
Petr tvrdí:“Přijde-li Adam a Břetislav, přijde i Cyril.“
Pavel říká:“ Já si myslím, že když přijde Adam a nepřijde Cyril, nepřijde ani Břetislav.“
Na to povídá Petr:“To ovšem říkáš totéž, co já.“ Má Petr pravdu? Jak mám sestavit tabulku? Petr : A $\wedge$ B $\Rightarrow$ C Pavel : A $\wedge$ negace C $\Rightarrow$ negace B je to tak?

((:-)) · 28. 11. 2011 17:56

↑ Zikoki:

Myslím, že v druhej implikácii má byť n e g á c i a B (nepríde Břetislav).

A overuješ ekvivalenciu oboch implikácií.

mb305 · 28. 11. 2011 17:57

Ahoj,

ano jen na drobnost - poslední B je s negací (nepříjde Břetislav), tudíž formule vypadá:

(A ^ nonC) => nonB

Anonymystik · 28. 11. 2011 17:58

V té druhé máš chybu na konci, chybí ti tam negace. A ještě bych tam bych tam tal závorky, aby bylo jasné pořadí operací.
První výrok: $(A\wedge B) \Rightarrow C$
Druhý výrok: $(A \wedge \bar{C}) \Rightarrow \bar{B}$

Zikoki · 28. 11. 2011 18:19

↑ mb305:
Děkuju za upozornění .:)

↑ Anonymystik:

Dík moc :)

↑ ((:-)):
děkuju,už to mám hotové :D

Matematické Fórum

#1 28. 11. 2011 17:48 — Editoval Zikoki (28. 11. 2011 17:56)

Výroková logika

#2 28. 11. 2011 17:56

Re: Výroková logika

#3 28. 11. 2011 17:57

Re: Výroková logika

#4 28. 11. 2011 17:58

Re: Výroková logika

#5 28. 11. 2011 18:19

Re: Výroková logika

Zápatí