Bilgi doğrusu yargıların içeriği, mantık doğrusu akıl yürütmenin biçimi ile ilgilidir.

Sistematik olarak mantık, Aristoteles'in kıyasa dayalı klasik mantığı ile başlar. Rönesansta yerini modern (sembolik) mantığa bırakır.

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...

Önermeler yapıları (basit-bileşik), nitelikleri (olumlu-olumsuz) ve nicelikleri (tümel-tikel) bakımından üçe ayrılır.

1 birim çapında bir çember, sayı doğrusu üzerinde bir tur döndürüldüğünde çemberin çevresi kadar yani π sayısı kadar yol alır.

Altın oran, matematik ve sanatta bir bütünün parçaları arasında gözlemlenen, uyum açısından en yetkin boyutları verdiğine inanılan geometrik ve sayısa..

n tane elemana sahip bir kümenin, kendisi dahil alt kümelerinin sayısı iki üzeri n kadardır.

Bir A kümesinin bütün elemanları B kümesinin de elemanı ise, A kümesi B kümesinin alt kümesi olur. Bu durumda A kümesi, B kümesini kapsıyor denir...