CZE: Téma na tento týden je úvod do predikátové logiky (PL1) . Soustředit se budeme zejména na:

• Reprezentace tvrzení pomocí formulí PL1
• Interpretace formulí v PL1
  

ENG: This week's topic is introduction to predicate logic (PL1). We'll focus namely on:

• Representation of expressions using PL1 formulas
• Interpretation of formulas in PL1
  

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

Vzorová řešení / Sample solutions: