Výroková a predikátová logika – cvičení doc. Josefa Mlčka ve středu večer
2. dubna
Dostali jsme za domácí úkoly na příště formálně
syntakticky dokázat:
- |- A <-> (A & A)
- |- <-> (A&(B&C
- T|- (A<->B) => (T|-A <=> T|-B)
(Zpátky neplatí!)
- T|-A a T|-B <=> T|-A&B
- T!(A&N) <-> (!A v! B)
- T|-A nebo T|-B => T|-A v B
(Zpátky platí, neplatí?)
("|-" značí dokazatelnost, “->" logickou implikaci, “<-" logickou implikaci, “v” logickou disjunkci, “&" logickou konjunkci, “!" logickou negaci a ostatní jsou mimologické symboly (například "=>" nebo «/nebo/»).
Původně vyhrožoval, že si příště dáme test (asi hlavně právě na formální důkazy, ale když zjistil, jak jsme neschopní, odsunul ho až na přespříště.
