İki önermenin "ya da ⊻" ile bağlanmasıyla oluşan bileşik önerme, bileşenlerden yalnızca biri doğru olduğunda doğru olur.

İki önermenin karşılıklı koşul eklemi olan "ancak ve ancak ⇔" ile bağlanmasıyla oluşan bileşik önermeye "iki yönlü koşullu önerme" denir...

Koşullu önermelerin karşıtı bileşenlerin sıralaması değiştirilerek, tersi bileşenlerin ayrı ayrı değili alınarak elde edilir. Koşul önermesinin değili..

Doğruluk değerleri aynı olan iki önermeye denk önermeler denir.

Mantıkta dağılma özelliği, ve/veya bağlaçları ile kurulmuş bir bileşik önermenin üçüncü bir önerme ile ve/veya işlemine girmesiyle yeni denk önerme ol..

De Morgan kuralı, mantıkta ve/veya bağlaçları ile oluşturulmuş bileşik önermeler ve onların değilleri arasındaki ilişkiyi gösteren bağıntıdır...

Bir tek durum dışında (p ⇒ q) önermesinin doğruluk değeri her zaman doğrudur. Koşullu önermenin yanlış olduğu durum p ≡ 1 iken q ≡ 0 olduğu halidir...

İki önermenin koşul eklemi olan "ise ⇒" ile bağlanmasıyla oluşan bileşik önermeye "koşullu önerme" denir.

İki önermenin tikel evetleme eklemi olan "ve ∨" ile bağlanmasıyla oluşan bileşik önermeye "veya bağlacı ile yapılan bileşik önerme" denir.

Veya mantıksal işleminin tek kuvvet, değişme, birleşme özellikleri vardır.

Ve mantıksal işleminin tek kuvvet, değişme, birleşme özellikleri vardır.

İki önermenin tümel evetleme eklemi olan "ve ∧" ile bağlanmasıyla oluşan bileşik önermeye "ve bağlacı ile yapılan bileşik önerme" denir.

Bir önermenin değili, o önermenin doğruluk değerinin değiştirilmiş şeklidir. Yani doğru ise yanlış, yanlış ise doğru yapılmasıdır.

Bir önermenin doğruluk değerinin olasılıklarını gösteren tabloya o önermenin doğruluk tablosu (çizelgesi) denir.

Bir önermenin doğruluk değeri, yargının doğru ya da yanlış olduğunu gösteren değeridir.

Basit önermelerin (öncüllerin) bağlaçlar yardımıyla birleştirilmesiyle oluşan yeni önermeye bileşik önerme denir.

Önerme eklemi, basit önermeleri bağlayarak bileşik önerme elde etmeye yarayan mantıksal değişmezlerdir.

Klasik mantığın kullandığı tümdengelim yönteminin yetersizliği ve önermelerdeki çok anlamlılık problemi, modern mantıkta kullanılan sembolik mantık di..