sprawdzic czy to tautologia Iwona: 1.Sprawdzic, czy nastepujace zdanie (p ⇒ q) ⇒ [(p_r) ⇒ (q⋁r)] jest tautologia

Saizou : p_r co to oznacza ?

Iwona: p∨r

Iwona: Prosze o pomoc a nie wie jak to zrobic a musze Sprawdzic, czy nastepujace zdanie (p ⇒q)[(p∨q)⇒(q∨r)] jest tautologia

Saizou : Napisz to porządnie

Iwona: (p⇒q)⇒[(p∨r)⇒(q∨r)]

Saizou : Załóżmy że formuła jest fałszywa, czyli (p→q)→[(p∨r)→(q∨r)]=0 , czyli p→q=1 i (p∨r)→(q∨r)=0 p∨r=1 i q∨r=0 q=0 i r=0 p∨0=1 i q=0 i r=0 p=1 1→0=1 a to jest sprzeczność, zatem formuła jest tautologią chociaż nie wiem na którą formułę mam patrzeć, bo napisałaś 3 różne

Iwona: o ta ostatnia co napisalam

Iwona: dziekuje za rozwiazanie