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.
Teorie
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.
Cvičení
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.
