Sagot :
p-->(q-->p)=
p-->(q'vp)=
p'v(q'vp)=
(p'vp)vq'=
1vq'= 1 olur.
Not: Bu soruları çözebilmen için mantık kurallarını bilmelisin.
Öncelikle bazı tanımları bilmemiz gerekir.
Doğruluk durumu her durumda Doğru (D) olan önermelere Totoloji denir.
Diğer bilmemiz gereken de -> ile sembolize edilen koşullu bağlaca ait doğruluk tablosudur.
p | q | p -> q |
D | D | D |
D | Y | Y |
Y | D | D |
Y | Y | D |
Bu durumda sorumuz için doğruluk tablosu oluşturabiliriz.
p | q | q -> p | p -> (q -> p) |
D | D | D | D |
D | Y | D | D |
Y | D | Y | D |
Y | Y | D | D |
Görüldüğü gibi son kolondaki tüm değerler Doğru çıktığından Totoloji olduğunu söyleyebiliriz.
Thank you for visiting our website wich cover about Matematik. We hope the information provided has been useful to you. Feel free to contact us if you have any questions or need further assistance. See you next time and dont miss to bookmark.