2 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:
Sembol
Bileşik önermelerde kullanılan bağlaçlar aşağıdaki sembollerle gösterilir.
Bir basit önermeden bileşik önerme oluşturmak için bağlaçlar kullanılır.
Öğ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.
Ö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 | s∧r |
| 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ış.
