Deneme Sınavı Soruları

Yalnız I

Yalnız II

Yalnız III

Yalnız III

Hepsi

p ∧ q → r

r ∧ q → p

r → q → p

r v r →p

p v q →r

(D ∧ D) → (D ∨ Y) :Y

(D ∧ D) → (Y ∨ Y) :D

(Y ∧ Y) → (D ∨ Y) :Y

(Y ∧ Y) → (D ∨ D) :Y

(Y ∧ D) → (D ∨ D) :D

((Ali mezun olur ve Ali diplomasını alır) ise Ali tüm derslerinden geçmiştir)

(Ali tüm derslerinden geçmiştir ise (Ali mezun olur ve Ali diplomasını alır))

((Ali tüm derslerinden geçmiştir ise Ali mezun olur) ve Ali diplomasını alır)

(Ali mezun olur ise (Ali tüm derslerinden geçmiştir ve Ali diplomasını alır))

((Ali tüm derslerinden geçmiştir ve Ali diplomasını alır) ise Ali mezun olur)

Gözlemde bulunma

Hayal kurmak

Plan yapmak

Akıl yürütmek

Devlet yönetimi

Bir çıkarımın geçerli olması, çıkarımın öncüllerinin sonucun değillemesi ile birlikte tutarlı olması demektir.

Çözümleyici çizelge ile bir grup önermenin birlikte tutarlı olduğunu gösterirken çatal açma kurallarının önceliği vardır.

Çözümleyici çizelge ile bir grup önermenin birlikte tutarsız olduğunu gösterirken ise alt alta yazma kurallarının önceliği vardır. 

Çıkarımın denetlenmesinde alt alta yazma kurallarının önceliği vardır.

Çıkarımın geçerliliğini göstermek için, öncüller
ile sonucun değilinin birlikte tutarsız olduğunun gösterilmesi gerekmektedir.

q doğrudur

~p doğrudur

( ~p ᴧ ~q  ) yanlıştır

~q  doğrudur 

( p ᴧ q  ) doğrudur

Karşılıklı koşul eklemi

Tikel evetleme eklemi

Tümel evetleme eklemi

Önerme değişkenleri

Değilleme eklemi

İşlem önceliği kurallarına göre yazım yapmak

Verilen çıkarımı önermeler mantığı bakımından denetlemek

Öncülün doğru olduğu her satırda sonuç önermesinin de doğru olduğundan çıkarım yapmak

Eksik parantez ile yazım

O sembolik önermeyi geçersiz bir gündelik dil çıkarımına çevirmek

Sembolik önermeyi geçersiz bir gündelik dil çıkarımına çevirmek

Basit önermeler kullanmak

Sembolik önermeler kullanmak

Çeviri anahtarına göre gündelik dile çevirmek

Çıkarımın önermesini bulmak

p → q

~p 

q 

~q

~p → q

p ᴠ ( p ᴧ ~q )     

p →    ( p ᴧ ~q )     

p ↔ ( p ᴧ ~q )

p →    ( p ᴧ q )

 ( p ᴧ ~q )

Ali’nin kursa gitmesi ve derslerini düzenli çalışması, İngilizce’yi öğrenmesi ve başarılı olması için gerekli ve yeterli bir koşuldur.

Ali’nin kursa gitmesi ve derslerini düzenli çalışması, İngilizce’yi öğrenmesi ve başarılı olması için gerekli bir koşuldur.

Ali’nin kursa gitmesi ve derslerini düzenli çalışması, İngilizce’yi öğrenmesi ve başarılı olması için yeterli bir koşuldur.

Ali’nin kursa gitmesi İngilizce’yi öğrenmesi için yeterli bir koşuldur ve Ali’nin derslerini düzenli çalışması başarılı olması için gerekli ve yeterli bir koşuldur.

Ali kursa gider ve derslerini düzenli çalışır ise, Ali İngilizce’yi öğrenir ve başarılı olur.

(q ∨ p): Y

(p → (q ∨ p)): Y

 ~ p:D

p ↔ q: D

(p ↔ q) ∧ ~ p: Y

~

∧

∨

→

↔

Önerme eklemlerinin eş anlamlıları yerine standart önerme eklemleri yazılmaktadır.

Önermenin standart biçimi elde edilmektedir.

Önerme eklemlerinin yerine önerme eklemi sembolleri konmaktadır.

Basit önermeler yerine, sembolleştirme anahtarında verilen önerme değişkenleri konmaktadır.

Okumada kolaylık sağlamak amacıyla, kimi parantezler işlem önceliği kurallarına göre kaldırılabilmektedir.

Tikel

Çifte

Dal

Sembol

Önerme

Çıkarımın öncül önermelerinin tümünün doğru olduğunu kabul ettiğimizde, sonuç önermesini de doğru kabul etmemiz zorunludur.

Çıkarımın öncül önermelerinin tümünün yanlış olduğunu kabul ettiğimizde sonuç önermesini de yanlış kabul etmemiz zorunludur.

Hem çıkarımın öncül önermelerinin tümü, hem de sonuç önermesi doğru olmalıdır.

Çıkarımın öncül önermelerinin tümü yanlış olsa bile, sonuç önermesi doğru olmalıdır.

Çıkarımın sonuç önermesi doğru ise, öncüllerden en az biri doğru olmalıdır.

~p

p

r

~q

~r

Tutarlılık

Sembolik mantık

Heptengitmeli akıl yürütme

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

Tümdengelimli akıl yürütme