Ejercicio 1: Conceptualización de las reglas de inferencia.

Lógica matemática

Tablas de
Cuantificadores
verdad

Propósitos y Algebra de
Conectivos Lógicos Inferencia lógica Proposiciones

Reglas de Inferencia

Debe ser una

tautología Conjunto de
premisas

Es una Condicional Conclusión

Proposiciones conectadas
Debe ser vista como Deben ser mediante conjunciones
una regla de verdaderas
sustitución Forma del consecuente
 Ejercicio 2: Aplicación De Las Reglas De La Inferencia Lógica.

c. En agosto hay mucho viento, entonces puedo elevar cometas. En agosto hay mucho viento.
Conclusión: ______En agosto puedo elevar cometas___
Ley de inferencia aplicada: ____modus ponens___
Lenguaje simbólico:
 Premisa 1: 𝑝 → 𝑞
 Premisa 2: 𝑝
 Conclusión: 𝑞

Referencias.

 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba,
AR: El Cid Editor. (pp. 40-49) Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=59&docID=10732485&tm
=1492520387992