Matematické Fórum
Archiv diskusního fóra o matematice, 2006–2026
Toto je archiv Matematického Fóra.
Fórum je dostupné jen ke čtení.
Můžete se ale zaregistrovat na náš Discord server.
#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í:
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:
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 
. S tím už by ses měl dobrat výsledku
Dva jsou tisíckrát jeden.
Offline