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

 

#1 12. 11. 2015 18:12

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)

#2 12. 11. 2015 23:29

Wotton
Logik
Místo: Plzeň
Příspěvky: 826
Reputace:   25 
 

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:   1 
 

Re: Rezoluční metoda

↑ Wotton:

Děkuji za radu ;)

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson