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ě.