Výroková logika

Konjunkci nahradíš disjunkcí a zneguješ jednotlivé části složeného výroku, chápeš? Nevím, jak na ty značky

S výrokovou logikou taky válčím já bych to udělala takhle: Nepříjde Jana nebo Eva a Hana přijde.
No, nejsem si jistá, moc mi to nesedí. Ale negace disjunkce je konjunkce a negace konjunkce by měla být zase disjunkce

Jak psala

Cvičíš na TSP?

ano viem že z konjunkcie je disjunkcia len si myslím že v tej prvej zátvorke sa to meniť nebude.
neviem mne vyšlo zatiaľ toto [(p ˄ q) ˅ r]

AdaZBrna
ale prave to potrebujem ako to bude vyzerať zapísané

Je to takto:
Nepřijde Jana nebo nepřijde Eva nebo přijde Hana.

Necvičím na TSP, jsem v posledním ročníku filozofie

beru zpět, háže to smajlíky

[(¬ v ¬q) ˄ r)]

proč nám to tam háže ty smajlíky??

můžu se zeptat, proč je tam disjunkce u Hany?

AdaZBrna
To vážne, lebo mali sme takýto príklad:
[p ↔ (q ˄ r) ˄ r]
A keď sme to znegovali tak to vyšlo takto
p ˅ (q ˄ r)

- teda to čo bolo v tej zátvorke sa nemenilo, a teraz v tomto príklade sa mení – to nechápem

Já mimochodem ani nechápu, proč máš ty první dva členy v závorce, z té věty to nevyplývá. Je to konjunkce, která bude negovaná, když aspoň jeden z členů bude negovaný, proto všude disjunkce

p ↔ (q ˄ r)
pardon som sa pomýlila, toto treba znegovať

(p ˄ ¬(q ˄ r)) v (¬ ˄ (q ˄ r))