Page 67 - Konu Özetleri AYT Mantık

SEMBOLLEŞTİRME - ÖNERME EKLEMLERİ

Önermelerin Sembolleştirilmesi
HATIRLAYALIM

Basit önermeler p, q, r, s, t gibi harflerle sembolleştirilir.

Önerme eklemleri; değil, ve, veya, ise, ancak ve ancak “ ~, , V, ¡, ”biçiminde sembolleştirilir.
V

Önermeler sembolleştirilirken;
• İlk olarak basit önermeler sembolleştirilir.
• İkinci olarak önerme eklemleri sembolleştirilir.
• Sonrasında önerme eklemlerinin sembolleri aracılığıyla basit önermelerin birbiri ile ilişkisi gösterilir.
• Bileşik önermeleri birbirinden ayırmak ve çok anlamlılığın önüne geçmek için parantez işareti kullanılır.
Örnekler:
Brokoli ve avokado yeşildir. (p q)
V
p q
V

Brokoli yeşildir. (p)
Ve ( )
V
Avokado yeşildir. (q)

Derse hazırlıklı gider ve düzenli tekrar yaparsa dersi geçer. (p q) ¡ r
V
p q ¡ r
V

Derse hazırlıklı gider. (p)
Ve ( )
V
Düzenli tekrar yapar. (q)
İse (¡)
Dersi geçer. (r)
Okula otobüsle veya metro ile gidecek. (p V q)
p V q

Okula otobüsle gidecek. (p)
Veya (V)
Okula metro ile gidecek (q)

Öğretmen ancak ve ancak idealist ise başarılı olur. (p q)
p q

Öğretmen idealisttir. (p)
Ancak ve ancak (⇔)
Öğretmen başarılıdır. (q)

MANTIK - AYT MEBİ KONU ÖZETLERİ 67