Deprecated: Function set_magic_quotes_runtime() is deprecated in /DISK2/WWW/lokiware.info/mff/wakka.php on line 35 Matfiz : VýrokováAPredikátováLogika/Mlček

Matfiz: VýrokováAPredikátováLogika/Mlček

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