Deneme Sınavı Soruları

~t→ (~q ∧ s)

t → (~q ∧ ~s)

t → (~q ∨ ~s)

~t→ (~q ∨ ~s)

t → (q ∧ ~s)

“((Ali mantık dersine hiç çalışmamıştır ve Ali bazı alıştırmaları çözmüştür) ise Ali mantık dersinden geçer)”

“((Ali mantık dersine düzenli olarak çalışmıştır ve Ali tüm alıştırmaları çözmüştür) ise Ali mantık dersinden geçer)”

“((Ali mantık dersine düzenli olarak çalışmıştır ve Ali bazı alıştırmaları çözmüştür) ise Ali mantık dersinden geçer)”

“((Ali mantık dersine düzenli olarak çalışmıştır ve Ali tüm alıştırmaları çözmüştür) ise Ali mantık dersinden geçemez)”

“((Ali mantık dersine çok çalışmıştır ve Ali bazı alıştırmaları çözmüştür) ise Ali mantık dersinden geçebilir)”

Tikel-evetleme

Tümel-evetleme

Koşul eklemi

Karşılıklı koşul eklemi

Tümel-evetlemenin değillenmesi

Yalnız I 

Yalnız II

I ve II

I ve III

I, II ve III

Başka bir önermeden türetilmemiş olan önermelere doğrudan önermeler denir.

En az bir başka önermeden elde edilmiş önermelere bileşik önerme denir.

Önermelere eklenerek veya önermeleri birleştirerek yeni önerme elde etmemizi sağlayan ifadelere önerme eklemleri denir.

“Değil”, “ve” ve benzerleri doğruluk fonksiyonlarını belirtmektedirler. 

Bir önerme ekleminin doğruluk fonksiyonu belirtmesi demek, bu eklemle elde edilmiş bir önermenin doğruluk değerinin, sadece bu eklemin anlamı ve birleştirilen önermelerin doğruluk değerlerine göre belirlenebilmesi demektir. Bu eklemlere doğrusal eklem denmektedir

A önermesinin hangi noktadaki önermeye kural uygulayarak elde edildiğini

A önermesinin çizelgede kaç kez ortaya çıktığını

A önermesinin çizelgedeki kaçıncı önerme olduğunu

A önermesinde kaç önerme değişkeni geçtiğini

A önermesinde kaç önerme eklemi geçtiğini

(r -> (p /\ q))

((p /\ q) -> r)

(p /\ (q -> r))

((r -> p) /\ q)

((r /\ p) -> q)

Bildirdiği yargının herkes tarafından kabul görmesi

Bildirdiği yargının ölçülebilmesi

Bildirdiği yargının gerçeklikle uyuşması

Bildirdiği yargının teori olarak kabul edilmesi

Bildirdiği yargının toplumun yalnızca bir kesimini ilgilendiriyor olması

(p → ~q) ∨ (r ∧ s)

(p ∨ ~q) ∨ (r ∧ s)

(p ∨ q) ∨ (r ∧ s)

(p ∧ q) ∨ (r ∧ ~s)

(p ∧ q) ∧ (r ∧ ~s)

Doğru kabullerden hareket ettiğimizde, ulaştığımız sonucun kesin olarak doğru, ya da yüksek olasılıkla doğru olmasını sağlamaları

Yanlış kabullerden hareket ettiğimizde bile, ulaştığımız sonucun kesin olarak doğru, ya da yüksek olasılıkla doğru olmasını sağlamaları

Yanlış kabullerden hareket ettiğimizde, ulaştığımız sonucun da yanlış olmasını sağlamaları

Herkesin hata yapmadan kolayca uygulayabileceği akıl yürütmeler olmaları

En yaygın olarak başvurulan akıl yürütmeler olmaları

Kapalıdır

Açıktır

Yalındır

Hatalıdır

Eksiktir

~q

∧q

~~q

∨q

q

p : Y, q : D/Y, r : D

p : D, q : D/Y, r : Y

p : Y, q : D/Y, r : Y

p : D, q : D/Y, r : D

p : D, q : Y, r : Y 

P

Q

~P

~Q

~~P

Satranç öğrenmesi zor bir oyun değilse Ebru satranç oynamayı öğrenmeyi istememesine rağmen Oğuz'dan satranç dersi almaktadır ve Oğuz satranç öğretemez. 

Satranç öğrenmesi zor bir oyundur ve Ebru satranç oynamayı öğrenmeyi istemediği için Oğuz'dan satranç dersi almaktadır ve Oğuz satranç öğretemez. 

Oğuz satranç öğretmediği için Ebru Oğuz'dan satranç dersi almaktadır ve Ebru satranç öğrenmeyi istemez çünkü satranç zor bir oyundur. 

Satranç öğrenmesi zor bir oyun olduğu için Ebru satranç oynamayı öğrenmeyi istememesine rağmen Oğuz'dan satranç dersi almaktadır ve Oğuz satranç öğretebilir. 

Satranç öğrenmesi zor bir oyundur ve Ebru satranç oynamayı öğrenmeyi istememesine rağmen Oğuz'dan satranç dersi almamaktadır ve Oğuz satranç öğretemez. 

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

Koşul eklemi

Tikel-evetleme eklemi

Değilleme eklemi

Tümel-evetleme eklemi

2

3

4

6

8

2

3

4

6

8

(q -> p ) /\ (r -> p)

((q /\ r) -> p)

(q /\ p) -> (r /\ p)

(q -> p ) -> (r -> p)

(r -> p ) -> (q -> p)

“Yan yazma” kuralları

“Üst üste yazma” kuralları

“Alt üst yazma” kuralları

“Alt alta yazma” kuralları

“Yan yana yazma” kuralları