Domů Doporučení 24 Vložit novou verzi definice
Pro množinu formulí S a formule \varphi a \psi platí S\cup \left \{ \varphi \right \} \models \psi právě tehdy, když S \models \left ( \varphi \Rightarrow \psi \right ).
| 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 |