Eki 19
Önermeler Mantığı
Formel sistemler şu elemanlardan meydana gelir:
- Tanımlanmamış terimler
- Tanımlar
- Türetme kuralları
- Aksiyomlardır
- 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.
Önerme Devamını okuyun »
Son yorumlar