====== 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.