İki kavram arasında eşitlik, ayrıklık, tam girişimlik ve eksik girişimlik ilişkilerinden biri vardır.

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

Safsata, biçimsel ve serbest olmak üzere iki gruba ayrılabilir. Biçimsel safsatalar argümanın şekli, serbest safsatalar ise anlamı ile ilgilidir...

Döndürme, önermelere eşdeğer yeni bir önerme yapmaktır.

İki küme arasında oluşturulabilecek bütün sıralı ikililerin meydana getirdiği kümeye bu kümelerin kartezyen çarpım kümesi denir. K ve L kümeleri KxL k..

İki kümenin bütün elemanlarından oluşan kümeye birleşim kümesi denir.

İki zanlı bir soruşturma kapsamında polis tarafından göz altına alınmıştır. Polis elinde tutuklama için yeterli kanıt olmadığı için her iki zanlıyı fa..

Bir tam sayının 8 ile tam bölünebilmesi için, bu sayının son üç basamağının oluşturduğu üç basamaklı sayı 8'in tam katı olmalıdır.