20
Önerme eklemi (bağlacı) nedir?

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

Önerme eklemi
Önerme eklemleri, iki ya da daha fazla önermeyi birleştiren mantıksal değişmezlerdir. Bu eklemlere "bağlaç" da denir. Modern mantıkta kullanılan bağlaçlar şunlardır:
 
değil, ve, veya, ya da, ise, ancak ve ancak

Sembol
Bileşik önermelerde kullanılan bağlaçlar aşağıdaki sembollerle gösterilir.
 
bağlaç sembol adı
değil ~ değilleme
ve tümel evetleme
veya tikel evetleme
ise koşul önermesi
ancak ve ancak karşılıklı koşul önermesi
ya da  

Bir basit önermeden  bileşik önerme oluşturmak için bağlaçlar kullanılır.
 
önerme tipi sembol
Basit önerme p
Elma kırmızıdır.
Bileşik önerme ~p
Elma kırmızı değildir.
Basit önerme 1 s
Ali yemek yedi.
Basit önerme 2 r
Ali su içti.
Bileşik önerme sr
Ali yemek yedi ve su içti.

Öğeler
Bileşik önermeleri oluşturan önermelere o önermenin bileşeni denir. Bileşenleri bağlayan ekleme "ana önerme eklemi" denir. Bileşik önermenin türünü ana eklem belirler.
 
(p ⇒ q) ∧ (q ⇒ p)
(p ⇒ q) (q ⇒ p)
1. bileşen ana önerme eklemi 2. bileşen
ön bileşen art bileşen
Bu alana not ekleyebilirsiniz.
Başka bir sorunuz mu var?
Yorumlar (0)

Henüz yorum yapılmamış.

İlgili Konu
Modern Mantık
İlgili Kayıtlar
Benzer Kayıtlar
İlginizi Çekebilir