“Bazıları kitap okur.” önermesi önermeler mantığında “p” gibi bir sembolle gösterilirken; aynı önerme niceleme mantığında ƎxFx şeklinde sembolleştirilir.

Buna göre niceleme mantığı önermeler mantığından farklı olarak aşağıdakilerden hangisi hakkında bilgi vermektedir?

(∼p v∼q), (p ʌ q) ∴ p çıkarımının geçerlilik denetlemesi aşağıdakilerden hangisinde doğru verilmiştir?

Çözümleyici çizelgeyle açılımı verilen önermenin eşdeğeri aşağıdakilerden hangisidir?

Bir önerme çözümleyici çizelgeyle denetlendiğinde geçerli çıkıyorsa bu denetlemeyle ilgili aşağıdakilerden hangisi kesin olarak söylenebilir?

Çıkarımların geçerliliği çözümleyici çizelgeyle denetlenirken aşağıdaki işlemlerden hangisinin yapılması zorunlu değildir?

Aşağıdakilerden hangisi niceleme mantığının önermeler mantığından farkını ifade eder?

“Ahmet çalışkan bir kişiliktir.” önermesi niceleme mantığında aşağıdakilerden hangisiyle gösterilir?

(p ⇒ q), (p v q) önermelerinin eşdeğer olup olmadıklarının çözümleyici çizelgede denetlenebilmesi için bu önermelerin aşağıdakilerden hangisine dönüştürülmesi gerekmektedir?

 [∼p ʌ ∼(p v q)] önermesinin tutarlılığı aşağıdaki denetlemelerin hangisinde doğru yapılmıştır?

(∼p ʌ ∼q), (p v q) ∴ q çıkarımı aşağıdaki denetlemeye göre geçerlidir.

Buna göre çözümleyici çizelgeyle denetlenmiş bir çıkarımın geçerli olması aşağıdakilerden hangisine bağlıdır?

∼ Ax(Fa ʌ Ga) önermesinin çözümleyici çizelgeyle açılımı aşağıdakilerden hangisidir?