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
#1 02. 06. 2013 17:41 — Editoval Mythic (02. 06. 2013 17:42)
Rezolucni metoda
Mohli byste mi prosim popsat postup, jak se rozhodne jestli je formule konsekventem formuli z mnoziny M ?
Mám M = 
a formuli: 
Prvni musim zaridit abych mel vsude formule spojeny pouze disjunkci a potom si je zapisu do tabulky... ale tady uz koncim. :D Ve skole sme tam dopisovali nejaky 0 a 1, ale nevim podle ceho a co pak dal. Dik.
(Pro negaci pouzivam vlnovku, nenasel sem tradicni symbol.)
Offline