Önermeler Mantığı

[iGrand]

Formel sistemler şu elemanlardan meydana gelir:

1. Tanımlanmamış terimler
2. Tanımlar
3. Türetme kuralları
4. Aksiyomlar
5. Teoremler

Formel mantığın tanımlanmamış terimleri olarak, basit önerme (P) ve mantıksal bağlar (değil, ve, veya, eğer-ise, eğer ve ancak-ise) gösterilebilir.
Tanımlanan terimlere örnek olarak bileşik önerme kavramını gösterilebilir. Aslında yukarıda verilen mantıksal bağlar bir tek mantıksal bağ yardımıyla tanımlanabilir.