Page 8 - Mantık | 4.Ünite

ÖĞRENELİM - UYGULAYALIM

1. Aşağıdaki açıklamalardan hareketle sayfa 115'teki tabloları yönergelerine göre doldurunuz.
2. Sayfa 116'daki açıklamalardan yararlanarak hem aynı sayfada hem de 117. sayfada verilen
etkinliği yapınız.

Önerme Eklemi ve Önermenin Sembolleştirilmesi
Günlük dilde ifade edilmiş olan önerme ve çıkarımları sembolik mantık diline çevirmeye
“sembolleştirme” denir. Sembolleştirme işlemi şu şekilde gerçekleşir:
. 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.
. Bir veya birden fazla bileşik önermeden, bir önerme eklemiyle yeni bir bileşik önerme meydana
getirirken önceki önermeler paranteze alınır. Önerme gruplarını birbirinden ayırmak için ( ), [ ], {}türünden

parantez işaretleri kullanılır.

Örnekler

* Berrugül meyveyi sever. p
p

* Berrugül erkek değildir. ~ p
p ~

* Berrugül ve Utku kardeştir. p Λ q
p Λ q

* Enes düzenli beslenir ise sağlıklı olur. p ⇒ q
p ⇒ q

* Taner aşçı veya marangoz değildir. ~ ( p V q )
p V q ~

* Engin çalışkandır ve hırslı değildir. p Λ ~ q
p Λ q ~

* Demet çalışır ve sınavı kazanır ise ailesi mutlu olur. ( p Λ q )⇒ r
p Λ q ⇒ r

Gürültü sağlığı ancak ve ancak çevreyi kirlettiğinde bozar. * p Û q
p Û q

* Sivas ve Yozgat İç Anadolu Bölgesi'ndedir. p Λ q
p Λ q

114