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

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) ]

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

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

———————————————————————————

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