====== Druhá zápočtová písemka, matematická logika, zimní semestr 2010/2011 ======

===== Ukázková (1) =====

==== Přirozená dedukce ====

Pomocí metody přirozené dedukce zjistěte, zda je následující formule logicky pravdivá.

∃x[ ∀y∀z(¬P(y,z)∧Q(z)) ⊃ ¬∃yP(x,y) ]

==== Rezoluční metoda ====

Ověřte platnost úsudku pomocí obecné rezoluční metody.

  - Kdo něco hledá, tak to i najde, pokud to není schované.
  - Adam hledá nějaký příklad k logice.
  - Všechny příklady k logice jsou na webu.
  - Na webu není nic schované.
---------------------------------------------------------------------------------

Někdo najde nějaký příklad.