Czytanie wyrażenia logicznego Michał: Hej zastanawiam się nad czytaniem wyrażeń hmn logicznych [p=>~q]<=>(~(~q))=>~p noo ja to bym przeczytał: tautologią jest że p to nie q, wtedy i tylko wtedy gdy nie, nie q (mogę tu po prostu powiedzieć q?) to nie p takie mega pogmatwane mi się wydaje jest ok rozczytane?

PW: Można przeczytać, że implikacja (p⇒∼q) i jej kontrapozycja (∼(∼q)⇒∼p) są równoważne. Jeżeli tak się przeczyta, to od razu widać, że jest to tautologia

Michał: ok dzięki chyba zostane przy mojej wersji, choć Twoja brzmi dużo lepiej