CZE: Téma na tento týden je úvod do výrokové logiky. Soustředit se budeme zejména na:

• Spojky, interpretace a pravdivostní tabulky
• Splnitelnost, tautologie, vyplývání

K vypracovávání příkladů se bude hodit následující:

• Markdown syntaxe
• LaTeX symboly (zejména sekce "Logic")

ENG: This week's topic is introduction to propositional logic. We'll focus namely on:

• Connectives, interpretations and truth tables
• Satisfiability, tautology, entailment
  

For working on the exercises, the following will come handy:

• Markdown syntax
• LaTeX symbols (esp. section "Logic")

Detaily viz příslušné notebooky / For details see the corresponding notebooks:

Vzorová řešení / Sample solutions: