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...».) |
(Cap diferència)
|
Revisió del 09:40, 5 feb 2015
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.