Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

Stránky: 1

Téma zavřeno

#1 12. 11. 2015 10:50

Jasque
Příspěvky: 61
Reputace:   1 
 

Rezoluční metoda

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!

Offline

  • (téma jako vyřešené označil(a) Jasque)

Téma zavřeno

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson