Cansu
New member
P ne demek mantık?
Formel mantığın tanımlanmamış terimleri olarak, basit önerme (P) ve mantık bağlaç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ğlaçlar bir tek mantıksal bağlaç yardımıyla tanımlanabilir.
Formel mantığın tanımlanmamış terimleri olarak, basit önerme (P) ve mantık bağlaç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ğlaçlar bir tek mantıksal bağlaç yardımıyla tanımlanabilir.