Diferència entre revisions de la pàgina «Deduïble»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Un enunciat, B, és deduïble d'un conjunt d'enunciats (A1, A2,...An), si i només B és demostrable a partir d'ells com premisses|p...».) |
m (bot: - B. Veure [[implicació|implic + B. Vegeu [[implicació|implic) |
||
| Línia 5: | Línia 5: | ||
En el cas que el [[conjunt buit|conjunt sigui buit]], Ø <sub>ú</sub> B. | En el cas que el [[conjunt buit|conjunt sigui buit]], Ø <sub>ú</sub> B. | ||
| − | + | Vegeu [[implicació|implicació]], [[conseqüència lògica|conseqüència lògica]]. | |
{{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | {{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | ||
Revisió de 22:34, 17 maig 2018
Un enunciat, B, és deduïble d'un conjunt d'enunciats (A1, A2,...An), si i només B és demostrable a partir d'ells com premisses», de manera que podem escrbir: A1, A2,...An ú B.
En el cas que el conjunt sigui buit, Ø ú B.
Vegeu implicació, conseqüència lògica.