MATEMÁTICA DISCRETA

Ponente

HEBETH GABRIEL CUEVA VALLADOLID

OBJETIVO DE LA SESIÓN
Al finalizar la sesión el estudiante identifica un circuito lógico ,además a una inferencia
lógica e indica su validez.
EL PERRO RECOGE LA PELOTA PORQUE…..

SE LA ENCONTRÓ

SE LE HA DADO UN NIÑO

LE LANZÓ SU DUEÑA
Recordemos que en nuestra última
sesión vimos simplificación de
proposiciones lógicas
Simplificación
 Simplificación
𝑝 → (𝑞 ∧∼ 𝑟) ∧ 𝑝 ∧ (𝑞 → 𝑟) ∨ 𝑝 ∧ 𝑞 ∧ (𝑝 ∨ 𝑞 ) ∨ 𝑟 ∧ ∼ 𝑟 ∨ 𝑞 ∧ 𝑝
Circuitos
 Circuitos
Simplifica el circuito lógico y dibuja su correspondiente equivalente
 Circuitos
¿Cuál sería su circuito lógico?

 p  r   q   p  q    r   p  q   q
 Circuitos
Determine el circuito lógico equivalente
 Circuitos
La disyunción exclusiva a cual circuito es equivalente
INFERENCIAS LÓGICAS
Se denomina INFERENCIA LÓGICA o ARGUMENTO LÓGICO a toda condicional de la forma:

𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ ⋯ … … . .∧ 𝑝𝑛 → 𝑞

Donde las proposiciones 𝑝𝑖 se les llama PREMISAS y a 𝑞 se le llama CONCLUSION.

Una inferencia puede ser una tautología, contingencia o contradicción.

i) Si la implicación es una tautología, entonces se le denomina INFERENCIA VÁLIDA.

ii) Si la implicación es contingencia o contradicción, entonces es una FALACIA.
REGLAS DE LA INFERENCIA
Se denomina INFERENCIA LÓGICA o ARGUMENTO LÓGICO a toda condicional de la forma:

𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ ⋯ … … . .∧ 𝑝𝑛 → 𝑞

Donde las proposiciones 𝑝𝑖 se les llama PREMISAS y a 𝑞 se le llama CONCLUSION.

Una inferencia puede ser una tautología, contingencia o contradicción.

i) Si la implicación es una tautología, entonces se le denomina INFERENCIA VÁLIDA.

ii) Si la implicación es contingencia o contradicción, entonces es una FALACIA.
REGLAS DE LA INFERENCIA
Regla de la Inferencia: Diremos que la proposición 𝑞 se infiere de las proposiciones
𝑝1 , 𝑝2 , 𝑝3 , … … … . . , 𝑝𝑛 ; 𝑛 ∈ ℕ si 𝑞 es verdad, cuando todas las 𝑝𝑖 , 𝑖 = 1, … , 𝑛 lo sean: es decir cuando:
𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ ⋯ … … . .∧ 𝑝𝑛 ≡ 𝑞

Es decir que el razonamiento

𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ ⋯ … … . .∧ 𝑝𝑛 → 𝑞

Sea una tautología.

REGLAS DE LA INFERENCIA
Para probar la validez o invalidez de los argumentos, utilizamos las tablas de verdad o el método abreviado.

i) TABLA DE VERDAD

Simbolizamos el texto dado utilizando los conectivos estudiados. Luego realizamos la tabla de verdad
correspondiente, si obtenemos una tautología podemos afirmar que la inferencia es VÁLIDA.
EJERCICIOS
Si Mariana es peruana entonces le gusta el ceviche. Pero a Mariana no le gusta el
ceviche. Por lo tanto, Mariana no es peruana.

𝑝 𝑞 𝑝→𝑞 ∧ ∼𝑞  ~𝑝

V V

V F

F V

F F
EJERCICIOS
Si es hora de clases, entonces en el aula hay profesores. Además, si en el aula hay profesores,
entonces hay alumnos. Dado que es hora de clases. Podemos deducir que en el aula hay
alumnos y profesores.
P Q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
 MÉTODO ABREVIADO
Para algunos casos realizar la tabla de valores puede ser tedioso y complicado. Por ello podemos aplicar el método
abreviado para evaluar la validez de la inferencia.

Este método se basa en analizar el único caso donde la condicional es falsa, el cual es cuando el antecedente es V y el
consecuente es F. Este análisis se puede dividir en los siguientes pasos:

1) Asignar el valor de verdad a cada una de las premisas del antecedente y de falsedad a la conclusión.

2) Deducir el valor de verdad de cada una de las variables proposicionales.

3) Si cada una de las variables tiene un solo valor, entonces la inferencia no es válida. Puesto que se cumpliría que el antecedente
es V y el consecuente es F.

4) Si una variable proposicional llega a tener dos valores de verdad, entonces se habrá demostrado que no es posible que la
conjunción de premisas sea V y la conclusión F. Por lo tanto, la inferencia es válida.
EJERCICIOS
Demostrar si el siguiente argumento es válido:
~𝑝 ∧ (𝑝 ∨ 𝑞) → 𝑞
EJERCICIOS
Demostrar si el siguiente argumento es válido:
q  p   q  s   s  p
EJERCICIOS
Si Ítala participa en el comité electoral de la universidad entonces los estudiantes se enojarán
con ella, y si no participa en el comité electoral de la universidad entonces las autoridades
universitarias se enojarán con ella. Pero Ítala participará en el comité electoral de la universidad
o no participará. Por lo tanto, concluimos que los estudiantes o las autoridades universitarias se
enojarán con ella.
MÉTODO DIRECTO
Este método consiste en demostrar usando equivalencias lógicas que el argumento es V para de esta forma ser válido

Demostrar si el siguiente argumento es válido:

q  p   q  s   s  p
EJERCICIOS
Demostrar si el siguiente argumento es válido:
 p  q    p  r   q  r
EJERCICIOS
Demostrar si el siguiente argumento es válido:
 p   q   r    p   q   r
EJERCICIOS
Demostrar si el siguiente argumento es válido:
Si llueve, Julia se resfriará. No llovió. Por lo tanto Julia no se resfrió
BIBLIOGRAFÍA

• R. Figueroa, MATEMÁTICA BÁSICA 1, Ed. Americana,

Lima 2004

• Grimaldi Ralph (1998) - Matemáticas Discreta y

combinatoria.

• Katayama Omura, Roberto, INTRODUCCIÓN ALA

LÓGICA, 2003
CONCLUSIONES
-Un Circuito Lógico es aquel que maneja la información en forma de "1"
y "0", dos niveles lógicos de voltaje fijos. "1" nivel alto o "high" y "0"
nivel bajo o "low".
-Existen dos tipos de circuitos : En serie y en paralelo.
-La inferencia es el proceso por el cual se derivan conclusiones a partir
de premisas.
-Hay tres métodos para validar inferencias ,por tablas por el método
abreviado y por el método directo.