Mantık

ÖNERMELER VE BİLEŞİK ÖNERMELER

• Önermeler
• Bileşik Önermeler
• Koşullu Önerme ve İki Yönlü Koşullu Önerme
• Açık Önermeler ve Niceleyiciler
• Tanım, Aksiyom, Teorem ve İspat Kavramları