Önerme Eklemleri
Bir önerme eklemi, basit önermeleri bileşik hale getirir. Bu eklemlere mantık değişmezleri de denir. Sembolik mantıktaki bu eklemler “ve”, “veya”, “ise”, “ancak ve ancak” ve “değil” sözcükleriyle ifade edilir. Önerme eklemleri bileşik önermeler oluştururken ayrıca önermelerin tutarlılık, geçerlilik, eş değerliliğinin ve çıkarımların geçerliliğinin denetlenmesini sağlar.
Önerme eklemlerinin sembolik mantıkta kullanılış biçimleri aşağıdaki tabloda gösterilmiştir.
Önerme eklemlerinin sembolik mantıkta kullanılış biçimleriÖnerme Ekleminin Adı | Sembolü | Kullanımı | Örnek |
---|
Değilleme eklemi | ~ | “değil” | ~ p |
Tümel evetleme eklemi | ∧ | ve, ne…ne de, hem…hem de | p ∧ q |
Tikel evetleme eklemi | ∨ | “veya, ya da” | p ∨ q |
Koşul eklemi | → | “ise” | p → q |
Karşılıklı koşul eklemi | ↔ | “ancak ve ancak” | p ↔ q |
Bir bileşik önermede birden fazla önerme eklemi bulunabilir.
- Ana Eklem: Bileşik önermelerde, önermenin tamamını etkileyen ekleme denir.
- Ana Bileşen: Ana eklemin birbirine bağladığı önermelere de ana bileşen denir.