7.
8.
9.
Test - 23
3XGx, —Fa 3X(Fx v Gx)
3xGx önc.
— Fa Önc.
— 3x(Fx v Gx) —sonuç
Çözümleme işlemine devam ettiğimizde aşağıdakilerden
hangisine yer verilmiş olamaz?
SEMBOLİK MANTIK
10.
p
p
q
A)
B)
C)
D)
E)
Tikel özenemeye
Tümel özenemeye
Çatal açma kuralına
Alt alta yazma kuralına
Niceleyici değilleme kuralına
3xFx, Ga Fa çıkarımının doğru denetlenmesi aşağıda-
kilerden hangisidir?
A)
C)
II.
III.
3xFx önc.
Ga önc.
—Fa — son.
Fb
3xFx Önc.
Ga Önc.
Fa — son.
B) 3xFx önc
Ga önc.
Fa — son.
D)
3xFx Önc.
—Ga Önc.
—Fa — son.
E) ;xFxönc.
Ga önc.
—Fa — son.
Bu önermelere göre aşağıdakilerden hangisi bir önerme-
nin tutarlı olma koşuludur?
A)
Alt alta yazma ve çatal açma kuralının birlikte kullanılması
B)
En az bir yolda çelişik önermelerin bulunması
C)
En az bir yolda çelişme durumunun olmaması
D)
Tüm yolların kapalı olması
E)
Tüm yolların açık olması
II. 1. (p —q) n (—pvq)
2.
3.
(2)
—p
q
çözümlenmiş bu önerme hakkında aşağıdakilerden han-
Yukarıda verilen önermeleri çözümleyici çizelge yönte-
miyle çözümlediğimizde hangilerinde çatal açma kuralı
uygulanır?
A) Yalnız I
D) II ve III
B) Yalnız II
E) ı, ııveııı
A)
B)
C)
D)
E)
Önerme tutarlıdır.
Bir yolda çelişme vardır.
Önce alt alta yazma kuralı uygulandı.
Önermeyi yanlışlayan yorumu yok.
Önermenin ana eklemi tümel evetleme önerme eklemidir.
276
