Page 7 - Mantık | 4.Ünite

5. Sembolleştirme
Mantık Değişmezleri Önermeler ve Çıkarımın Sembolleştirilmesi

HAZIRLANALIM

. Aşağıdaki açıklamalardan hareketle siz de hem önermelerin hem de önerme içinde geçen
eklemlerin ve çıkarımların sembolik şekillerini noktalı yerlere yazınız.
· Her bir önerme ve önerme eklemine karşılık olabilecek semboller belirleyelim.

· Önermeler için belirlenen semboller: p, q, r, s, t, vb. harfleri kullanalım.
· Önerme eklemleri için belirlenen semboller: ( “ve” için “Λ”, “veya” için “V”, “ise” için “ ⇒”,
“ancak ve ancak” için “Û”, “değil” için “~”; “o halde” için “ ∴ ” ) gibi kullanalım ve noktalı yerleri
.
..
uygun şekilde dolduralım.
Çevreye duyarlı insan bilinçlidir.
..........

İletişim aracı hayatı kolaylaştırır.
..........
Ezber çalışmak hafıza için faydalıdır.

..........
Hasan, İstanbul' a arabayla veya uçakla gidecektir.
.......... ....... .........

Trafik kurallarına uyulursa can kaybı az olur.
.......... .... ..........
İbrahim Konyalı değildir.

.......... ..........
Erol iş adamı ve Kayserilidir.

.......... .... ..........
Melih sınıfını geçti ancak ve ancak derslerine çalıştı.
.......... .......... ..........

Çıkarım Örnekleri
Güvercin kuştur.

..........
Kuşlar hayvandır. Ali düşünendir.
.......... .........

O hâlde güvercin hayvandır. Düşünenler insandır.
....... .......... .........
O hâlde Ali insandır.

........ .........

113