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
! 04. 11. 2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
17. 01. 2016 (Jel.) Rok 2016 s novými a novějšími krystaly od kolegy Pavla!
17. 01. 2016 (Jel.) Nabídka knih z oborů matematiky, fyziky, chemie
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

#1 12. 11. 2015 18:12

Jasque
Příspěvky: 61
Reputace:   
 

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)

#2 12. 11. 2015 23:29

Wotton
Logik
Místo: Plzeň
Příspěvky: 792
Reputace:   24 
 

Re: Rezoluční metoda

1. nemyslím, že toto patří do zajímavých úloh

2. negace se zadá v TeXu \neg

3. vydal ses správnou cestou, jen si zapomněl udělat ješte klauzuli pro závěr. To znamená, ještě přidat $\neg A\vee\neg C$. S tím už by ses měl dobrat výsledku


Dva jsou tisíckrát jeden.

Offline

 

#3 13. 11. 2015 10:26

Jasque
Příspěvky: 61
Reputace:   
 

Re: Rezoluční metoda

↑ Wotton:

Děkuji za radu ;)

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson