Deprecated: Function set_magic_quotes_runtime() is deprecated in /DISK2/WWW/lokiware.info/mff/wakka.php on line 35 Matfiz : Výroková A Predikátová Logika / Mlček
Přihlášení:  Heslo:  
Hlavní Stránka | Seznam Stránek | Poslední Změny | Poslední Komentované | Uživatelé | Registrace |

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


 
Soubory [Skrýt soubory (formulář)]
Na stránce nejsou žádné komentáře. [Zobrazit komentáře (formulář)]