Matematické Fórum

Jasque · 12. 11. 2015 10:50

Ahoj, rád bych vás požádál o radu, jak postupovat s následujícím příkladem. Mám ověřit pomoci rezoluční metody závěr "Platí A i C".

Zde je zadání:
$(non A \vee non B)\Rightarrow C$
$nonA\Rightarrow B$
$(A\vee C)\Rightarrow nonB$

Omlouvám se za použití "non" místo negace, ale jeji znak jsem v LaTeXu nenašel.

Své pomocí jsem se dostal do stavu:
$(A\vee C)\wedge (B\vee C)$
$A\vee B$
$(nonA\vee nonB)\wedge (nonC\vee nonB)$
Ale sám citím, že jsem se vydal špatnou cestou.

Díky za každou radu!

Matematické Fórum

#1 12. 11. 2015 10:50

Rezoluční metoda

Zápatí