Logika - ekvivalentní vety/formalizace
Ahoj, pracuji na ověřování zachování logické struktury věty. Vždy mám větu a její překlad v angličtině. Pomocí formalizace jsem, doufám, dokázal, že byla logická struktura zachována. Mohli byste, prosím, poradit, jestli jsem to vytvořil správně a že jsou věty ekvivalentní? Předem velké díky!
1. V neděli pošta nechodí. p → ¬ q
No post on Sundays. ¬q → p
2. Všichni studenti tleskali a křičeli. Ɐx ((St(x) → T(x) ˄ K(x)
Every student clapped and cheered. Ɐx ((St(x) → T(x) ˄ K(x)
3. Nemluv hlouposti. Ɐx ¬NH(x)
Don't talk rubbish. Ɐx ¬NH(x)
1. V neděli pošta nechodí. p → ¬ q
No post on Sundays. ¬q → p
2. Všichni studenti tleskali a křičeli. Ɐx ((St(x) → T(x) ˄ K(x)
Every student clapped and cheered. Ɐx ((St(x) → T(x) ˄ K(x)
3. Nemluv hlouposti. Ɐx ¬NH(x)
Don't talk rubbish. Ɐx ¬NH(x)