Deneme Sınavı Soruları

Heptengitmeli Akıl Yürütme

Çoktangitmeli Akıl Yürütme

Tümevarımlı Akıl Yürütme

Tümdengelimli Akıl Yürütme

Çoktangelimli Akıl Yürütme

(~p --> ~p)

(~p --> p)

(p --> ~p)

~(~p --> p)

~(p --> p)

Önerme

Akıl

Mantık

Karar

Süreç

II, I,IV,III

III,IV,I,II

I,II,III,IV

I,III,IV,II

II,III,IV,I

Olumsal

Tutarlı

Çelişki

Totoloji

Koşullu

Sembolleştirme işlemi ile benzerdir.

Önerme eklemi sembolleri yerine önerme eklemleri konur.

Sembolik önermede geçen önerme değişkenleri yerine, çeviri anahtarında belirtilen gündelik dil önermeleri konur.

Parantezler kaldırılarak istenen önerme eklemlerinin yerine eş anlamlıları ve uygun noktalama işaretleri yerleştirilir.

Kısaltma amacıyla eksik bırakılmış parantezler yerine konur.

Mehmet Ahmet'in yardımını isterse arkadaş olamazlar.

Ahmet Mehmet’in yardımını isterse, Mehmet Ahmet’e yardım ederse Ahmet ve Mehmet arkadaş olamazlar.

Ahmet Mehmet’in yardımını isterse, ya Mehmet Ahmet’e yardım eder ya da Ahmet ve Mehmet arkadaş olamazlar.

Mehmet Ahmet’in yardımını isterse, ya Ahmet Mehmet’e yardım eder ya da Ahmet ve Mehmet arkadaş olamazlar.

Mehmet Ahmet'in yardımını isterse arkadaş olurlar.

1

2

3

4

5

Önerme bileşenleri

Önerme yargıları

Önerme eklemleri

Önerme yapıları

Önerme çıktıları

≡ ~~(~p ∧ ~q) ∧ ~~(p ∨ q))

≡ (~p ∧ ~q) ∧ (p ∨ q)

≡ (~p ∧ q) ∧ (p ∨ ~q)

≡ ~p ∧ (~q ∧ (p ∨ q))

≡ ~p ∧ ((~q ∧ p) ∨ (~q ∧ q))

Tümevarımlı akıl yürütme 

Tümdengelimli akıl yürütme

Heptengitmeli akıl yürütme

Mantıksal doğrulama

Yanlışlama

Modaliteler

Eklemler

Değişkenler

Bağlaçlar

Fonksiyonlar

Tümel evetleme eklemi

Değilleme eklemi

Koşul eklemi

Karşılıklı-koşul eklemi

Tikel evetleme eklemi

Yanlışlamacılık

Mantık

Akıl yürütme

Çıkarım

Önerme

“değil” olarak okunan önerme eklemi değilleme eklemi;sembolü ∧

“ve” olarak okunan önerme eklemi tikel evetleme eklemi; sembolü ∨

“ise” olarak okunan önerme eklemi koşul eklemi; sembolü →

“veya” olarak okunan önerme eklemi tümel evetleme eklemi; sembolü ↔

“ancak ve ancak ... ise “ olarak okunan önerme eklemi karşılıklı koşul eklemi; sembolü ~

Önermenin standart biçimde ifade edilmesi 

Önermenin totolojik biçimde ifade edilmesi 

Önermenin çıkarımsal biçimde ifade edilmesi 

Önermenin verili biçimde ifade edilmesi 

Önermenin çelişik biçimde ifade edilmesi 

Ankara Türkiye'nin başkentidir ama Ankara İç Anadolu bölgesindedir.

Ankara hem Türkiye'nin başkentidir hem de İç Anadolu bölgesindedir.

Ankara Türkiye'nin başkenti olmasına rağmen İç Anadolu bölgesindedir.

Ankara ya Türkiye'nin başkentidir ya da Ankara İç Anadolu bölgesindedir.

Türkiye'nin başkenti olan Ankara, İç Anadolu bölgesindedir.

p ∨ q, p → r, q → s 

p ∨ q, p → r, q → s ∴ r

p → r, q → s ∴ r ∨ s

p ∨ q, p → r, q → s ∴ r ∨ s

p ∨ q, q → s ∴ r ∨ s

2

4

6

8

16