LGR Databáze definic

Domů Doporučení 24 Zobraz definici

Vložení nové verze definice pojmu "sémantický důsledek"

Definice: Řekneme, že formule <span lang="latex">\varphi</span> je sémantickým důsledkem množiny formulí S, jestliže <span lang="latex">\varphi</span> je pravdivá v každém ohodnocení u, v němž je pravdivá S.

Důvod úpravy:

Uložit

---

Historie úprav

Řekneme, že formule	2016-04-29 07:53:13	94.230.146.254	Změna phi na varphi
Řekneme, že formule	2016-04-29 07:52:29	94.230.146.254	Vložení pojmu