#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