Week: Week 5 (Oct 25-29) | Propositional and Predicate Logic | DL 1

DL 1

Section outline

- Select activity English lecture Program: Formal proof systems. ...
  
  English lecture
  
  Program: Formal proof systems. Tableau method for propositional logic, tableau proof and refutation, systematic tableaux, finiteness of proofs.
  
  English tutorial
  
  Program: Properties of theories, semantic notions, extensions, consequences. Lindenbaum-Tarski algebra, counting up to equivalence and T-equivalence. Intro to tableaux.
  
  České cvičení
  
  Program: státní svátek
  
  Not available unless: You belong to any group
- Select activity English tutorial: 1st homework assignment
  
  English tutorial: 1st homework assignment
  
  Not available unless: You belong to English tutorial
- Select activity Atomic tableaux
  
  Atomic tableaux File
  
  Not available unless: You belong to any group
- Select activity English lecture: Zoom recording
  
  English lecture: Zoom recording File
  
  Not available unless: You belong to English lecture
- Select activity English tutorial: Worksheet 3
  
  English tutorial: Worksheet 3 File
  
  Not available unless: You belong to English tutorial
- Select activity English Tutorial: Zoom recording
  
  English Tutorial: Zoom recording File
  
  Not available unless: You belong to English tutorial
- Select activity České cvičení: Zoom záznam
  
  České cvičení: Zoom záznam File
  
  Not available unless: You belong to české cvičení