LOGICA

MATEMATICA

LOGICA LEYES DE LA RAZONAMIENTOS

MATEMATICA INFERENCIA LOGICOS

CLASIFICACION
TABLAS DE VERDAD CUANTIFICADORES INDUCTIVO DEDUCTIVO
DEARGUMNENTOS

se ha razonamiento o
PREMISAS Y
TAUTOLOGIA CONTRADICCION
VARIABLE caracterizado el argumento llamado
CONCLUSIONES INDIVIDUAL
razonamiento inductivo se
deductivo como caracteriza por iniciar
SIMPLE COMPUESTA CONTINGENCIA
CONTANTES aquel que parte de su proceso discursivo a
INDIVIDUALES
enunciados más partir de enunciados
generales para de menor generalidad
UNA SOLA
AFIRMACION
2 O MAS
AFIRMACIONES
METODOS DE
DEMOSTRACION
REGLAS DE
INFERENCIA
MODUS PONENS
(( p Ÿ q ) ∧ p ) Ÿ q ≡
V:
MODUS TOLLENST
(( p Ÿ q ) ∧ ¬ q ) Ÿ ¬
p ≡ V:
SILOGISMO
DIYUNTIVO
ADICCION SIMPLIFICACION concluir con que fungen como
enunciados menos premisas, hacia
generales enunciados de mayor
PRUEBA FORMAL DE
VALIDEZ
ARGUMENTOS generalidad que
funcionan como
REGLAS DE
conclusión.
INFERENCIA Si todas las premisas son
REGLAS DE verdaderas, la conclusión tiene ARGUMENTOS
REEMPLAZO O que ser verdadera para que el
EQUIVALÑENCIA argumento sea válido

Si todas las premisas

El contenido o tema de la son verdaderas, la
conclusión está implícito conclusión no
en las premisas de manera necesariamente es
necesaria verdadera, aunque
hay probabilidad de
que lo sea

La conclusión
contiene información
que no siempre está
necesariamente
implícita en toda su
extensión respecto
de las premisas