2 Jika q (x) = x + 3 < 1 didefinisikan pada A = himpunan bilangan asli, tidak ada x yang menyebabkan q (x) bernilai benar. 4. Kuantor Umum (Kuantor Universal) Simbol yang dibaca "untuk semua" atau "untuk setiap" disebut kuantor umum. Jika p (x) adalah fungsi proposisi pada suatu himpunan A (himpunan A adalah semesta pembicaraannya Jikaada kemungkinan bahwa kedua pernyataan p dan q dapat sekaligus bernilai benar, maka argumen di bawah ini tidak valid. Premis 1 : p ∨ q . Premis 2 : q . Konklusi : ~ p . Tetapi jika ada kemungkinan kedua pernyataan p dan q tidak sekaligus bernilai benar (disjungsi eksklusif), maka sillogisma disjungtif di atas adalah valid. Contoh : 1. 6gsHB2H.