Tautologia Nokdem: Mam pytanie czy zapis ~(P lub Q) <=>(~P)⁽~Q) To to samo co to ? ~(P lub Q) <=>[(~P)⁽~Q)] Mam potwierdzić że ~(P lub Q) <=>(~P)⁽~Q) jest tautologią tylko nie wiem jak to czytać. Rozwiązuje lewą stroną i dalej porównuje z (~P) a na koniec wszystko z ⁽~Q) Tylko że wtedy wychodzi że to nie jest prawda.

Nokdem: Sorry podniosło nawias do potegi a chodziło mi o i ~(P lub Q) <=>(~P) i (~Q) wychodzi mi że to nieprawda ~(P lub Q) <=>[(~P) i (~Q)] wychodzi ze prawda

Jerzy: Z prawej strony jest iloczyn zaprzeczeń.

Jerzy: Drugi zapis jest poprawny.

Nokdem: http://matematyka.opracowania.pl/zdania_logiczne_prawa_de_morgana/prawa_rachunku_zdań/ To jest punkt 2. Tylko że no skoro to jest prawo De morgana to ja ma coś źle.

Nokdem: ~(P lub Q) <=>(~P) i (~Q) Czy licząc taki przykład powinien obliczyć najpierw ~(P lub Q) Pozniej ~(P lub Q) <=>(~P) // przypuśćmy że całe wyrażenie zapisze jako A A na koniec to co wyszło: A i (~Q) Czy w złej kolejności to robie ?

Nokdem: Jerzy ratuj

Jerzy: Np : nie (1 lub 0 ) ⇔(nie 1) i (nie 0) ⇔ 0 i 1 ⇔ 0

Jerzy: Czyli mamy : nie 1 ⇔ 0 ( prawda )

Adamm: narysuj sobie tabelkę zdań

Nokdem: Dziękuje za pomoc