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:

1. |- A <-> (A & A)
2. |- <-> (A&(B&C
3. T|- (A<->B) => (T|-A <=> T|-B)
   (Zpátky neplatí!)

4. T|-A a T|-B <=> T|-A&B
5. T!(A&N) <-> (!A v! B)
6. 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ě.