02-06-2007, 11:43 PM
1 - ExFx önermesinin, E = (a,b) evrenindeki açılımı aşağıdakilerden hangisidir?
a - Fa/\Gb
b - FavGb
c - Fa<=>Fb
d - ~Fav~Fb
e - FavGb
2 - "Bazı insanlar düzenli ve çalışkandır." önermesi, önermeler mantığında (p/\q) olarak; yüklemler mantığında ExFx/\ExGx olarak gösterilebilir.
Buna göre aşağıdakilerden hangisi yüklemler mantığındaki sembolleştirmenin temel niteliğidir.
a - Önermelerin niceliğinin ve terimlerinin sembolleştirilmesi.
b - Önermenin niteliğinin gösterilebilmesi
3 - Ex[(x<2)=>(x tek sayıdır)]
bileşik önermesinin E={1,2} evrenindeki özellemeleri için aşağıdakilerden hangisi söylenebilir?
a - Her zaman yanlış değerini alır,
b - Her zaman doğru değerini alır,
c - Bazen doğru bazen yanlış değerini alır,
d - Bütün özellemeleri için yanlış değerini alır,
e - Hiçbir doğruluk değeri almaz.
4 - "(x tek sayıdır)" açık önermesinin E={1.2.3} evreninde D olabilmesi için aşağıdakilerden hangisiyle ifade edilmesi gerekir?
a - *AxTx
b - *ExTx
c - *Ax(x € T)
d - *Ax~Tx
e - ~*E~Tx
(* işaretli A ve E'ler A her, E bazı anlamındadır.)
5 - Aşağıdakilerden hangisindeki iki önermenin eşdeğerliliğinden söz edilemez?
a - Aynı doğruluk değerine sahip.
b - Geçerli (p<=>q) önermesindeki p ile q
c - Geçerli iki önerme
d - Tutarlı ~(p<=>q) önermesindeki p ile q
e - Tutarsız iki önerme
5 - Birden fazla önermenin birlikte tutarlı olması, bu önermelerin birlikte D yapan en az bir ortak satırın bulunmasına bağlıdır.
Buna göre aşağıda verilenlerden hangisinin birlikte tutarlı olduğu söylenebilir?
a - tutarsız iki önerme
b - tutarlı iki önerme
c - eşdeğer iki önerme
d - geçersiz iki önerme
e - geçerli iki önerme
6 - (p<=>q) önermesinin geçerli olması, bu önermeyi oluşturan p ve q önermesinin eşdeğer olduğunu gösterir.
Buna göre aşağıdaki önermelerden hangisi eşdeğer değildir?
a - p, ~~p
b - pvq, qvp
c - p/\q, q/\p
d - p=> q, ~p=>~q
e - p<=>q, ~p<=<~q
3-4 tane daha vardı yapamadığım soru. Bazılarını geçirirken yaptım yine de kalsın. Sembollü olanlardan, özellikle işin içine rakamların girdiği sorular (elemanıdır gibisinden sorulan sorular)da çok takılıyorum.
Yanıtlarınızı bekliyorum.
a - Fa/\Gb
b - FavGb
c - Fa<=>Fb
d - ~Fav~Fb
e - FavGb
2 - "Bazı insanlar düzenli ve çalışkandır." önermesi, önermeler mantığında (p/\q) olarak; yüklemler mantığında ExFx/\ExGx olarak gösterilebilir.
Buna göre aşağıdakilerden hangisi yüklemler mantığındaki sembolleştirmenin temel niteliğidir.
a - Önermelerin niceliğinin ve terimlerinin sembolleştirilmesi.
b - Önermenin niteliğinin gösterilebilmesi
3 - Ex[(x<2)=>(x tek sayıdır)]
bileşik önermesinin E={1,2} evrenindeki özellemeleri için aşağıdakilerden hangisi söylenebilir?
a - Her zaman yanlış değerini alır,
b - Her zaman doğru değerini alır,
c - Bazen doğru bazen yanlış değerini alır,
d - Bütün özellemeleri için yanlış değerini alır,
e - Hiçbir doğruluk değeri almaz.
4 - "(x tek sayıdır)" açık önermesinin E={1.2.3} evreninde D olabilmesi için aşağıdakilerden hangisiyle ifade edilmesi gerekir?
a - *AxTx
b - *ExTx
c - *Ax(x € T)
d - *Ax~Tx
e - ~*E~Tx
(* işaretli A ve E'ler A her, E bazı anlamındadır.)
5 - Aşağıdakilerden hangisindeki iki önermenin eşdeğerliliğinden söz edilemez?
a - Aynı doğruluk değerine sahip.
b - Geçerli (p<=>q) önermesindeki p ile q
c - Geçerli iki önerme
d - Tutarlı ~(p<=>q) önermesindeki p ile q
e - Tutarsız iki önerme
5 - Birden fazla önermenin birlikte tutarlı olması, bu önermelerin birlikte D yapan en az bir ortak satırın bulunmasına bağlıdır.
Buna göre aşağıda verilenlerden hangisinin birlikte tutarlı olduğu söylenebilir?
a - tutarsız iki önerme
b - tutarlı iki önerme
c - eşdeğer iki önerme
d - geçersiz iki önerme
e - geçerli iki önerme
6 - (p<=>q) önermesinin geçerli olması, bu önermeyi oluşturan p ve q önermesinin eşdeğer olduğunu gösterir.
Buna göre aşağıdaki önermelerden hangisi eşdeğer değildir?
a - p, ~~p
b - pvq, qvp
c - p/\q, q/\p
d - p=> q, ~p=>~q
e - p<=>q, ~p<=<~q
3-4 tane daha vardı yapamadığım soru. Bazılarını geçirirken yaptım yine de kalsın. Sembollü olanlardan, özellikle işin içine rakamların girdiği sorular (elemanıdır gibisinden sorulan sorular)da çok takılıyorum.
Yanıtlarınızı bekliyorum.