Deduïble
De Wikisofia
La revisió el 09:40, 5 feb 2015 per Sofibot (discussió | contribucions) (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...».)
La revisió el 09:40, 5 feb 2015 per Sofibot (discussió | contribucions) (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...».)
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.
Veure implicació, conseqüència lògica.