Argumento

Un argumento se compone de un conjunto de juicios o proposiciones, algunas de estas son

premisas, de las cuales se derivan las conclusiones.

Argumento deductivo:

Son argumento cuya conclusión se deriva de forma necesaria de las premisas, normalmente van
de lo general a lo particular, nunca al revés.

Validez

La validez es una propiedad de la relación que se da entre las premisas y la conclusión en un

argumento deductivo, con el paso que se da de las premisas hacia la conclusión. Únicamente
cuando este paso es necesario, decimos que el argumento tiene una forma válida. La validez sólo
se relaciona con la forma de los argumentos.

Inferencia: Paso necesario de una o varias premisas a una conclusión.

Valor de verdad

Cuando se considera que una proposición o un argumento son verdaderos o falsos se les asigna un
valor de verdad. Un enunciado será verdadero si aquello que expresa se corresponde con los
hechos tal como los conocemos; esto es a lo que podemos llamar realidad. En el caso de que la
idea que manifieste sea distinta de lo que ocurre en los hechos, entonces le asignaremos el valor
de falso. El valor de verdad tiene que ver con el contenido.

Inferencias inmediatas según el cuadro de oposiciones y sus reglas.

Si Todo S es P es verdadero (A-V), entonces se puede concluir que:

Algunos S son P es verdadero (I-V)

Algunos S no son P es falso (O-F)

Ningún S es P es falso (E-F)

Si Ningún S es P es verdadero (E-V), entonces se puede concluir que:

Algunos S son P es falso (I-F)

Algunos S no son P es verdadero (O-V)

Todo S es P es falso (A-F)

Si Algunos S son P es verdadero (I-V), entonces se puede concluir que:

Ningún S es P es falso (E-F)

Si Algunos S no son P es verdadero (O-V), entonces se puede concluir que:

Todo S es P es falso (A-F)

Si Todo S es P es falso (A-F), entonces se puede concluir:

Algunos S no son P es verdadero (O-V)

Si Ningún S es P es falso (E-F), entonces se puede concluir:

Algunos S son P es verdadero (I-V)

Si algunos S son P es falso (I-F), entonces se puede concluir:

Todo S es P es falsa (A-F)

Algunos S no son P es verdadero (O-V)

Ningún S es P es verdadero (E-V)

Si algún S no es P es falso, entonces se puede concluir:

Algunos S son P es verdadero (I-V)

Todo S es P es verdadero (A-V)

Ningún S es P es falsa (E-F)

siendo A verdadera: E es falsa, I es verdadera, O es falsa,

siendo E verdadera: A es falsa, I es falsa, O es verdadera,

siendo I verdadera: E es falsa, A y O son indeterminadas,

siendo O verdadera: A es falsa, E e I son indeterminadas,

siendo A falsa: O es verdadera, E e I son indeterminadas,

siendo E falsa: I es verdadera, A y O son indeterminadas,

siendo I falsa: A es falsa, E es verdadera, O es verdadera,

siendo O falsa: A es verdadera, E es falsa, I es verdadera.

Conversión

Las proposiciones o juicios E e I se puede invertir su sujeto y su predicado y siguen siendo

equivalentes lógicamente.