Merhabalar :)
Doğruluğu ispatlanması gereken önermelere teorem denir.
p=》q bir gerektirme olsun. Bu gerektirmede p =1 ise p=》q gerektirmesine teorem denir.
Bu teoremde p ye hipotez q ya da hüküm denir. P =》q bir gerektirme olduğu için doğruluk değeri 1 dir. P=》q = 1
1=》? = 1 in doğru olması için ? li yere 1 yazılması şarttır. O halde bir teoremin hipotezi ve hükümü doğru önermelerdir.
Iyi ödevler...
