Blogia
petalofucsia

PSICOLOGÍA7: DEDUCCIÓN. En lógica, una deducción es un argumento donde la conclusión se infiere necesariamente de las premisas.[1] En su definición formal, una deducción es una secuencia finita de fórmulas, de las cuales la última es designada como la conclusión (la conclusión de la deducción), y todas las fórmulas en la secuencia son, o bien axiomas, o bien premisas, o bien inferencias directas a partir de fórmulas previas en la secuencia por medio de reglas de inferencia.

Deducción

De Wikipedia, la enciclopedia libre

En lógica, una deducción es un argumento donde la conclusión se infiere necesariamente de las premisas.[1] En su definición formal, una deducción es una secuencia finita de fórmulas, de las cuales la última es designada como la conclusión (la conclusión de la deducción), y todas las fórmulas en la secuencia son, o bien axiomas, o bien premisas, o bien inferencias directas a partir de fórmulas previas en la secuencia por medio de reglas de inferencia.[1] [2]

Por ejemplo, la siguiente es una deducción de la fórmula (p to q) , en el sistema de la lógica proposicional:

langle quad (q to (p to q)), quad q, quad (p to q) quad rangle

Se trata de una secuencia de tres fórmulas. Si esta secuencia ha de ser una deducción, entonces la última fórmula será la conclusión, es decir la fórmula siendo deducida, y las otras dos deben ser, o bien premisas, o bien axiomas, o bien deducciones previas. La primera fórmula, (q to (p to q)) , es una instancia del esquema de axioma (phi to (psi to phi)) , (en el sistema de Jan Łukasiewicz), y por lo tanto es un axioma. La segunda fórmula, q ,, no es un axioma, y tampoco puede ser deducida de la fórmula previa, de modo que es una premisa. Para que esta secuencia sea una deducción, entonces, sólo falta que sea posible inferir la última fórmula a partir de las dos anteriores por medio de una regla de inferencia del sistema. Y en efecto, por medio del modus ponens (la única regla de inferencia del sistema de Łukasiewicz) es posible deducir la última fórmula a partir de las otras dos. Esta secuencia constituye, por lo tanto, una deducción.

[editar] Véase también

[editar] Notas y referencias

  1. a b Robert Audi, ed., «Deduction» (en inglés), The Cambridge Dictionary of Philosophy (2nd Edition), Cambridge University Press 
  2. Véase la sección «1.4 An Axiom System for the Propositional Calculus» en Mendelson, Eliott (1997). Introduction to Mathematical Logic (4ª edición). Chapman & Hall. pp. 34-35. 
¿Y esta publicidad? Puedes eliminarla si quieres
¿Y esta publicidad? Puedes eliminarla si quieres

8 comentarios

petalofucsia -

¿Qué es la "Verdad"?

petalofucsia -

Considero que esto es muy bueno, está saliendo a la luz "la verdad":

Diccionario de sinónimos y antónimos © 2005 Espasa-Calpe:
verdad
•evidencia, sinceridad, exactitud, veracidad, confirmación, certeza, efectividad, franqueza, perogrullada, afirmación, realidad, justificación, autenticidad, aseveración
◦Antónimos: falsedad, mentira, engaño, hipocresía, embuste, trola, bola, fábula, error, equivocación



'verdad' también aparece en estas entradas
artificio - axioma - calumnia - certeza - certidumbre - efectividad - infundio - pretexto - realidad

petalofucsia -

- ¿Y la gente?

- La gente como si se muere de hambre.

petalofucsia -

Y ¿la gente? -a Sefirot-

- La gente no me importa nada.

¿Por qué en el Gobierno?

Sefirot:

- Por sí hay algún problema.

petalofucsia -

¿Qué iba a hacer en el gobierno?

A Sefirot:

- Todo para nosotros.

petalofucsia -

Diccionario de sinónimos y antónimos © 2005 Espasa-Calpe:
mejor
•superior, preferible, deseable, especial, distinto, destacado, sobresaliente
◦Antónimos: peor, inferior



'mejor' también aparece en estas entradas
morir - morirse - súmmum

petalofucsia -

Diccionario de la lengua española © 2005 Espasa-Calpe:
mejor
1.adj. comp. de bueno. Superior a otra cosa en bondad y que la excede en una cualidad natural o moral:
en ese restaurante sirven mejor comida que en aquel;
es mi mejor amigo.
2.sup. rel. de bueno, precedido del art. det.:
es el mejor corredor.
3.adv. m. comp. de bien. Más bien:
mejor nos vamos.
4.Antes o más,denotando idea de preferencia:
mejor quiero salir que quedarme en casa.
5.a lo mejor loc. adv. Expresa la incertidumbre o posibilidad de algo:
a lo mejor me voy de madrugada.
6.mejor que mejor loc. Mucho mejor:
y si hoy terminamos todo el papeleo,mejor que mejor.


Preguntas en los foros con la(s) palabra(s) 'mejor' en el título:

a lo mejor
A lo mejor + ?
a lo mejor + (subj. / ind.)
A lo mejor o alomejor
a lo mejor, seguramente, igual + me quede en casa
al igual en lugar de a lo mejor
ayudarte mejor
buenas las tengas y mejor las pases
Carlos se siente el mejor de la clase
Comiendo menos es como lo conseguirás mejor
Cómo puede "ser" mejor algo que "está" bien ?
con mejor o peor fortuna
considerarse mejor / superior a alguien
Creyó/pensó que era su mejor amigo
Cuanto más grande es el lío, mejor se lo______
De ahora en adelante me voy a hablar y escribir mejor
de la mejor calidad/ de primera clase
de mejor forma/en mejor forma
desde que lo tomé, me siento mejor
el mejor escribano echa un borrón
El mejor español del mundo?
el mejor que he visto jamás/nunca
el/la mejor agua
Es mejor el ser feliz
es mejor que + ?
Hubiera/Habría sido mejor
Igual = A lo mejor ?
incluso del mejor/de incluso el mejor
la / a la mejor madre
la mejor manera de suicidarse es *** de un edificio muy alto
more...
•Pregunta tú mismo.
•Visita el foro.
•Discussions in the 'Solo español' forum

'mejor' también aparece en estas entradas
affaire - aguzamiento - aguzar - ahora - aliviar - alquilar - aquel - ariete - arma - arriba - atender - atributo - audífono - aupar - bicarbonato - buten (de) - defender - modulación - modular - biografía - boquear - bracear - calidad - callar - callejear - calmante - canchar - capear - casco - cera - cerrar - chuta - cliente - color - conceptista - condimento - consejero - constituir - convencer - cooperativismo - cordada - coyotear - cruce - cuanto - cubierto - culebrón - darwinismo - decir - depósito - descalabro

petalofucsia -

¿Es capaz de ponerse topes?

- Quiero lo máximo, contesta el Sefirot.

Yo, ¿quiero lo máximo, que preguntas más complicadas. Claro que me parece muy deseable, pero si lo quiero, más bien, quiero lo "mejor" para mi y para la sociedad.

¿Y esta publicidad? Puedes eliminarla si quieres