Zdanie z działu logistyka

Prawo Rachunku zdań : a) p => (p ∨ q)

b) [(p=>q)=>p]=>p


Odpowiedź :

a) p => (p ∨ q)
to zdanie logiczne jest falszywe wtedy gdy lewa strona jest rowna 1 a prawa strona =0
zaluzmy ze jest fauszywe wiec lewa strona rowna sie 1 stad p=1
jezeli p=1 to i prawa strona rowna sie 1 czyli zalozenie jest bledne stad to zdanie logiczne jest PRAWDZIWE

b) [(p=>q)=>p]=>p

[(p=>q)=>p]=L
p=P

zaluzmy ze zdanie jest falszywe wtedy L=1 P=0 stad p=0
[(p=>q)=>p]=L
[(1=>q)=>1]=1
to zdanie jest prawdziwe wiec zalozenie jest prawdziwe stad cale zdanie jest FALSZYWE