Logika bezendu: Logika Jak sprawdzić bez pomocy tabelki. (Tabelką potrafię ) [(p⇒q)∧(q⇒p)]⇒(p⋁q)

ICSP: Kiedy implikacja jest fałszywa?

bezendu: Z prawdy nie wynika fałsz. Czyli układ p=0 q=1 p⇒q=0

Saizou : a co chcesz sprawdzić ? tautologię ?

ICSP: czyli wystarczy sprawdzić przypadek p v q = 0 czyli p = 0 i q = 0

bezendu: Tak, chcę sprawdzić tautologię.

Saizou : ICSP już prawie wszystko napisał czyli metodą skróconą, czyli załóżmy że [(p⇒q)∧(q⇒p)]⇒(p⋁q)=0 (p⇒q)∧(q⇒p)=1 i p⋁q=0 p⇒q=1 i q⇒p=1 i p=0 i q=0 0⇒0≠1 (sprzeczność) 0⇒0≠1 (sprzeczność) p=0 i q=0 zatem jaki wniosek.....

bezendu: jest tautologią

Saizou : no i git

bezendu: Jeszcze nie git.

Saizou : czemu nie ?

Godzio : Czy zapis (p ⇒ q) ∧ (q ⇒ p) = 1 jest poprawny (logika, wiec trzeba się czepić )

bezendu: Bo jeszcze tego nie zrozumiałem dokładnie.

Saizou : czyli pytanie kiedy koniunkcja jest prawdziwa

Godzio : Hmmm...

Saizou : czyli czynniki muszą być prawdziwe

Godzio : Chodziło mi o nawias, którego brakuje

Saizou : w sensie że tak [ (p ⇒ q) ∧ (q ⇒ p) ]= 1

Godzio : Tak

Saizou : no to git ja bym musiał przysiąść do predykatów