Bir önermenin değili, o önermenin doğruluk değerinin değiştirilmiş şeklidir. Yani doğru ise yanlış, yanlış ise doğru yapılmasıdır.

Porphyrios, sınırsız sayı ve çeşitteki varlıkları sınıflandırabilmek için bir sınıflandırma önermiştir.

Özne ve yüklemi aynı olan iki önermenin nitelik (olumlu-olumsuz) bakımından farklı olması haline karşıtlık ilişkisi denir.

Bir tek durum dışında (p ⇒ q) önermesinin doğruluk değeri her zaman doğrudur. Koşullu önermenin yanlış olduğu durum p ≡ 1 iken q ≡ 0 olduğu halidir...

Ortak elemanı olmayan kümelere ayrık küme denir.

Kümelerde kesişim işleminin özellikleri şunlardır: Tek kuvvet, değişme, etkisiz eleman, alt küme ile kesişim, birleşme, dağılma.

Bir kümenin evrensel küme ile farkı, o kümenin tümleyendir. Kümenin tümleyeninde bulunan elemanlar, evrensel kümede bulunduğu halde o kümede bulunmaz...

Bir tam sayının 10 ile tam bölünebilmesi için, birler basamağındaki rakam 0 olmalıdır.