Aristoteles - Mantığın kurucusu, Önerme - Doğru veya yanlış olan ifade, Bileşik Önerme - Daha Fazla Önerme, Ve Bağlacı - ʌ, Veya Bağlacı - ⋁, Ya da Bağlacı - ⩡, Birleşme Özelliği - U, Değişme Özelliği - Sıra değişen Ancak sonuç değişmeyen özeellik, Dağılma Özelliği - Çarpmanın toplama üzerinde etkisi, De Morgan Kuralları -  19. Yüzyıl Matematikçisinin kuralları,

Mantık Adam Asmaca

Papan mata

Gaya visual

Pilihan

Tukar templat

Pulihkan autosimpan: ?