Sembolik mantıkSIK ÇIKAR
Bağlaçlar ve Doğruluk Tabloları
Sembolik mantıkta önermeler harflerle, bağlaçlar sembollerle gösterilir: değil (¬), ve (∧), veya (∨), ise (→), ancak ve ancak (↔). 've' bağlacıyla kurulan önerme yalnızca iki bileşen de doğruysa doğrudur. 'Veya' bağlacıyla kurulan önerme iki bileşen de yanlışsa yanlıştır. 'İse' (koşul) önermesi yalnızca öncül doğru, sonuç yanlışken yanlıştır. Her durumda doğru olan önermeye totoloji, her durumda yanlış olana çelişki denir.
Sınavda Dikkat: p → q önermesinde p yanlışsa önerme her zaman doğrudur. p → q'nun karşıt tersi (¬q → ¬p) kendisine denktir; tersi ve karşıtı denk değildir.