Matematicas Discretas

Matemáticas Discretas
TC1003
Módulo I: Argumentos Válidos
Departamento de Matemáticas

ITESM

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 1/50

Introducción
En matemáticas y en lógica un argumento no es
una disputa. Más bien, es una secuencia
estructurada de afirmaciones que terminan en una
conclusión. En esta sección veremos cómo
determinar si un argumento es válido;es decir,
cuándo la conclusión se deduce de los hechos
que la preceden.

Módulo I: Argumentos Válidos

´
Introduccion
Argumento
´
Argumento Valido
´
Ejemplos Validez
´
Deduccion Natural
Reglas de
Inferencia
Conceptos
´
Ejemplos deducion
Comentarios
´
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Matemáticas Discretas - p. 2/50

Argumento
´
Definicion

Un argumento esuna secuencia de afirmaciones.

Módulo I: Argumentos Válidos

´
Introduccion
Argumento
´
Argumento Valido
´
Ejemplos Validez
´
Deduccion Natural
Reglas de
Inferencia
Conceptos
´
Ejemplos deducion
Comentarios
´
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Matemáticas Discretas - p. 3/50

Argumento
´
Definicion

Un argumento es una secuencia de afirmaciones.
Todas lasafirmaciones excepto la última se
llamarán premisas, o suposiciones o hipótesis.

Módulo I: Argumentos Válidos

´
Introduccion
Argumento
´
Argumento Valido
´
Ejemplos Validez
´
Deduccion Natural
Reglas de
Inferencia
Conceptos
´
Ejemplos deducion
Comentarios
´
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Matemáticas Discretas - p. 3/50

Argumento
´
Definicion

Un argumento esuna secuencia de afirmaciones.
Todas las afirmaciones excepto la última se
llamarán premisas, o suposiciones o hipótesis. La
declaración final se llamará conclusión.

Módulo I: Argumentos Válidos

´
Introduccion
Argumento
´
Argumento Valido
´
Ejemplos Validez
´
Deduccion Natural
Reglas de
Inferencia
Conceptos
´
Ejemplos deducion
Comentarios
´
Introduccion
Ejemplo 1
Ejemplo 2Sumario

Matemáticas Discretas - p. 3/50

Ejemplo

Lo siguiente representa a un argumento:
1. Si Juan estudia adecuadamente, entonces Juan
pasa el curso de Discretas.
2. Juan está estudiando adecuadamente.
3. Juan pasará el curso de Discretas.

Módulo I: Argumentos Válidos

´
Introduccion
Argumento
´
Argumento Valido
´
Ejemplos Validez
´
Deduccion Natural
Reglas deInferencia
Conceptos
´
Ejemplos deducion
Comentarios
´
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Matemáticas Discretas - p. 4/50

Argumentos Válidos e Inválidos
´
Definicion

Diremos que un argumento es argumento válido si

Módulo I: Argumentos Válidos

´
Introduccion
Argumento
´
Argumento Valido
´
Ejemplos Validez
´
Deduccion Natural
Reglas de
Inferencia
Conceptos
´Ejemplos deducion
Comentarios
´
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Matemáticas Discretas - p. 5/50

Argumentos Válidos e Inválidos
´
Definicion

Diremos que un argumento es argumento válido si
para cualquier valor de las variables
proposicionales involucradas en las fórmulas que
hacen verdaderas las premisas,

Módulo I: Argumentos Válidos

´
Introduccion
Argumento
´Argumento Valido
´
Ejemplos Validez
´
Deduccion Natural
Reglas de
Inferencia
Conceptos
´
Ejemplos deducion
Comentarios
´
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Matemáticas Discretas - p. 5/50

Argumentos Válidos e Inválidos
´
Definicion

Diremos que un argumento es argumento válido si
para cualquier valor de las variables
proposicionales involucradas en las fórmulas quehacen verdaderas las premisas, también la
conclusión es verdadera.

Módulo I: Argumentos Válidos

´
Introduccion
Argumento
´
Argumento Valido
´
Ejemplos Validez
´
Deduccion Natural
Reglas de
Inferencia
Conceptos
´
Ejemplos deducion
Comentarios
´
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Matemáticas Discretas - p. 5/50

De la propia definición de argumento válido se...