Równoważność - metoda nie wprost

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Setareh
Użytkownik
Użytkownik
Posty: 2
Rejestracja: 30 kwie 2019, o 14:47
Płeć: Kobieta
Lokalizacja: Oborniki

Równoważność - metoda nie wprost

Post autor: Setareh » 30 kwie 2019, o 14:58

Mam problem z podanym przykładem. Należy sprawdzić, czy następująca formuła jest tautologią:
\(\displaystyle{ \neg (p \Rightarrow q) \Leftrightarrow (p \Rightarrow q)}\)
Ostatnio zmieniony 30 kwie 2019, o 17:13 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Niepoprawne tagowanie.

Jan Kraszewski
Administrator
Administrator
Posty: 25135
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4188 razy

Re: Równoważność - metoda nie wprost

Post autor: Jan Kraszewski » 30 kwie 2019, o 17:15

No i na czym polega Twój problem? Próbowałaś sprawdzać? Do jakich wniosków doszłaś?

JK

ODPOWIEDZ