p ve q önermeleri eşdeğer ise, ikisi de doğrudur ya da ikisi de yanlıştır, yani her ikisi de aynı doğruluk değerine sahiptir. Bir totoloji, her zaman doğru olan bir ifadedir. Çelişki, her zaman yanlış olan bir ifadedir.
P -> Q ne anlama geliyor?
p → q (p, q anlamına gelir) (p ise q ise) p doğru olduğunda yanlış olan, aksi halde q yanlış ve doğru olan önermedir.
P → Q'nun mantıksal olarak eşdeğeri nedir?
P→Q mantıksal olarak ¬P∨Q ile eşdeğerdir. … Örnek: “Bir sayı 4'ün katıysa, o zaman çifttir”, “bir sayı 4'ün katı değildir veya (başka) çifttir” ile eşdeğerdir.
Yalnızca Q ise P nedir?
Yalnızca gerekli bir koşul ortaya koyarsa: Yalnızca Q, P'nin doğru olması için Q'nun doğruluğunun gerekli veya gerekli olduğu anlamına geliyorsa. Yani, P yalnızca Q yalnızca bir olasılığı dışlıyorsa: P doğrudur ve Q yanlıştır.
Koşullu p → q yanlış olduğunda?
P ve q iki ifadedir, o zaman "p ise, o zaman q", p→ q ile gösterilen ve koşullu bir ifade veya ima olarak adlandırılan bir bileşik ifadedir. p→ q çıkarımı yalnızca p doğru olduğunda ve q yanlış olduğunda yanlıştır; aksi halde her zaman doğrudur.
