Zdanie z działu logistyka Prawo Rachunku zdań : a) p => (p ∨ q) b) [(p=>q)=>p]=>p
Zdanie z działu logistyka
Prawo Rachunku zdań : a) p => (p ∨ q)
b) [(p=>q)=>p]=>p
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