Önerme ve mantık kuralları şu şekilde özetlenebilir: 1. Önerme: Yargı bildiren, doğru ya da yanlış değeri alabilen cümledir. 2. Mantık Kuralları: - Özdeşlik İlkesi: Bir şey kendisiyle özdeştir, her şey ne ise odur. - Çelişmezlik İlkesi: Bir şey hem kendisi hem de kendisinden başka bir şey olamaz. - Üçüncü Halin Olanaksızlığı İlkesi: Bir önerme ya doğrudur ya da yanlıştır, bunların dışında üçüncü bir değer alamaz. 3. Önerme Türleri: Mantıkta dört ana önerme türü vardır: - Tümel Olumlu Önerme (A): Bütün insanlar ölümlüdür. - Tikel Olumlu Önerme (I): Bazı insanlar ölümlüdür. - Tümel Olumsuz Önerme (E): Hiçbir insan ölümlü değildir. - Tikel Olumsuz Önerme (O): Bazı insanlar ölümlü değildir. 4. Çıkarım: Bir veya daha fazla önermeden yeni bir önerme türetme işlemidir.