Domů Doporučení 24 Vložit novou verzi definice
Řekneme, že formule \varphi je sémantickým důsledkem množiny formulí S, jestliže \varphi je pravdivá v každém ohodnocení u, v němž je pravdivá S.
| Ř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 |