[p ve (p v q')]v p'

 

bileşik önermesinin totoloji oldugunu gösteriniz.

 

 

çözümüyle birlikte nasıl yapıldıgınıda anlatırsanız svınrm.



Sagot :

p=1 olsun

q=0 olur

 

(1ve(1v0')]v 1'=[1v(1v1)]v0

=(1v1)v0

=1v0

=1

[(p∧ (p v q')]v p'

≡[(p∧p)v (pvq')]vp'

≡[p'v(p∧p)] v [p'v(pvq')]

≡[(p'vp)∧(p'vp)] v [(p'vp)v(p'vq')]

≡(1∧1) v (1vp'vq')

≡1v1

≡1

anlamazsan daha ayrıntılı da anlatabilirim. :)