P ancak ve ancak neye eşittir? Eğer ve sadece bağlacının, yani her cümle p ve q için bilinen özellikleri şu şekilde sıralanabilir: p⇔1 ifadesi p ifadesine eşdeğerdir. p⇔p’ ifadesi 0’a eşdeğerdir. p⇔q ifadesinin p’⇔q’ değerine karşılık geldiği bilinmektedir. P ise q neye denktir? P ve Q’yu iki bileşik cümle olarak kabul edersek, P ve Q mantıksal olarak eşdeğerse, buna P ≡ Q veya P ⇔ Q denir. Totolojiler ve çelişkiler gibi, mantıksal eşdeğerlik de P ve Q’nun yapılarından kaynaklanır. İki ifade arasında ortaya çıkabilecek bir diğer yapı bağımlı ilişki de mantıksal anlamdır. Q ancak ve ancak q nedir? Mantıkta, matematik…
Yorum Bırak