İki önermenin tümel evetleme eklemi olan "ve ∧" ile bağlanmasıyla oluşan bileşik önermeye "ve bağlacı ile yapılan bileşik önerme" denir.

İki önermenin koşul eklemi olan "ise ⇒" ile bağlanmasıyla oluşan bileşik önermeye "koşullu önerme" denir.

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

Mantıkta aklın dört temel ilkesi vardır: özdeşlik, çelişmezlik, üçüncü halin imkansızlığı ve yeter - sebep ilkesi.

Asal sayıların sonsuzluğu, Öklid tarafından asal sayıların sonlu olamayacağı gösterilerek kanıtlanmıştır.

Fibonacci sayı dizisi, 1202 yılında Fibonacci tarafından ortaya konulan, tavşanların üreme probleminin çözümüne ilişkin hesap sonucu ortaya çıkan bir..

Milet Okulu, felsefe tarihinde hem felsefenin başlangıç evresini oluşturur hem de doğa felsefesi olarak adlandırılan felsefi eğilimin öncüsüdür. Okulu..

Elemanlarının tamamı aynı olan kümelere eşit küme denir. Eleman sayıları aynı olan kümelere denk küme denir. Her eşit küme aynı zamanda denk kümedir...