Nejste přihlášen/a.
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)
Dont talk rubbish. x ¬NH(x)
Neneseme odpovědnost za správnost informací a za škodu vzniklou jejich využitím. Jednotlivé odpovědi vyjadřují názory jejich autorů a nemusí se shodovat s názorem provozovatele poradny Poradte.cz.
Používáním poradny vyjadřujete souhlas s personifikovanou reklamou, která pomáhá financovat tento server, děkujeme.