Koşullu önermelerin karşıtı bileşenlerin sıralaması değiştirilerek, tersi bileşenlerin ayrı ayrı değili alınarak elde edilir. Koşul önermesinin değili..

Bir iddianın kabulü için otoriteye (kişi, örf, adet, kurumlar vs.) veya bunlara duyulan saygı, hürmet veya korkuya başvurmaktır.

Modern mantık, önermelerin sembolleştirilmesine dayalı mantık disiplinidir. Amacı genel geçer bir mantık dili oluşturmaktır.

Tanım, bir terimin içlemi bakımından niteliklerini belirtmektir.

Felsefe tarihi, felsefi problemleri ve akımları tarihsel süreç içinde ortaya koymayı hedefleyen, felsefenin bir alt dalıdır.

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

Reel sayılar kümesi (R), rasyonel sayılar (Q) ve irrasyonel sayılar (Q') kümesinin birleşim kümesidir.

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