Cvičení 22.11.2010

Vzhledem k rozsáhlosti přislušné teorie bude na cvičení pouze to, co je potřebné k provádění důkazů v přirozené dedukci. Zbytek na přednášce.

• Zatím známe následující způsoby zápisu informací: výroková logika a predikátová logika prvního řádu.
• Pro odvozování používáme následně kalkuly, přičemž zatím známe rezoluční metodu. V tomto cvičení se seznámíme s přirozenou dedukcí.
• Pro odvoditelnost v kalkulu máme další znak |-
• Kalkul obsahuje jazyk, gramatiku, axiomy a odvozovací pravidla.

V cvičení máme seznam odvozovacích pravidel v přirozené dedukci. Následně si vyzkoušíme použití přirozené dedukce na již známých příkladech.