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 11. 10. 2019 10:14 — Editoval Knesto (11. 10. 2019 10:15)
Logický důsledek ve výrokové logice
Dobrý den.
Zajímalo by mě následující:
Řekněme, že platí, že formule A je logickým důsledkem teorie T právě tehdy, když T U {NOT A) není splnitelná (U značí sjednocení, NOT negaci).
Vyplývá z této ekvivalence toto?: Pokud neplatí, že formule A vyplývá z teorie T, potom je vždy T U {NOT A} splnitelná.
Popřípadě jak zjistím, zda toto logicky vyplývá?
Děkuji za odpovědi.
Offline