LGR Databáze definic

Domů Doporučení 24 Zobraz definici

Vložení nové verze definice pojmu "věta o dedukci (bez důkazu)"

Definice: Pro množinu formulí S a formule <span lang="latex">\varphi</span> a <span lang="latex">\psi</span> platí <span lang="latex">S\cup \left \{ \varphi \right \} \models \psi </span> právě tehdy, když <span lang="latex">S \models \left ( \varphi \Rightarrow \psi \right )</span>.

Důvod úpravy:

Uložit

---

Historie úprav

Pro množinu formulí S a formul...	2016-04-29 08:02:24	94.230.146.254	Ladění pojmu
Pro množinu formulí S a formul...	2016-04-29 08:00:51	94.230.146.254	Ladění pojmu
Pro množinu formulí S a formul...	2016-04-29 07:56:12	94.230.146.254	Ladění pojmu
Pro množinu formulí S a formul...	2016-04-29 07:55:28	94.230.146.254	Vložení pojmu