Diferència entre revisions de la pàgina «Exemple de taula de veritat: conjunt i fórmula»
De Wikisofia
m (Text de reemplaçament - "File:i" a "File:e") |
m (bot: - del conjunt, ), + del conjunt),) |
||
| (Una revisió intermèdia per un altre usuari que no es mostra) | |||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 18: | Línia 10: | ||
la taula de veritat prova que | la taula de veritat prova que | ||
| − | és una conseqüència lògica del conjunt | + | és una conseqüència lògica del conjunt), de fórmules |
ja que tota interpretació que fa veritable al conjunt ) fa també veritable a la fórmula | ja que tota interpretació que fa veritable al conjunt ) fa també veritable a la fórmula | ||
[[File:e3491-5.gif]] | [[File:e3491-5.gif]] | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 17:04, 1 nov 2017
la taula de veritat prova que
és una conseqüència lògica del conjunt), de fórmules
ja que tota interpretació que fa veritable al conjunt ) fa també veritable a la fórmula
