0 oy
Mantık kategorisinde (11.5k puan) tarafından
Önerme eklemleri ve sembolleştirme hakkında kısaca bilgi aşağıdaki gibidir.

1 cevap

0 oy
(11.5k puan) tarafından
 
En İyi Cevap

Ö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 eklemive, ne…ne de, hem…hem dep ∧ 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.

İlgili sorular

0 oy
1 cevap
14, Kasım, 2020 Mantık kategorisinde Konu Admini (11.5k puan) tarafından soruldu
0 oy
1 cevap
13, Kasım, 2020 Mantık kategorisinde Konu Admini (11.5k puan) tarafından soruldu
0 oy
1 cevap
13, Kasım, 2020 Mantık kategorisinde Konu Admini (11.5k puan) tarafından soruldu
0 oy
1 cevap
13, Kasım, 2020 Mantık kategorisinde Konu Admini (11.5k puan) tarafından soruldu
+1 oy
1 cevap
12, Kasım, 2020 Tarih Bilimi kategorisinde Fatih tarafından soruldu
...