Lógica Matemática

Tarea 1 Métodos Para Probar la Validez de Argumentos

Estudiante:

Diego Giraldo Pinchao Taquez

Código De Grupo 323

Tutor:

Luis Enrique Leiva

Universidad Nacional Abierta Y A Distancia UNAD

Escuela De Ciencias Agrícolas, Pecuarias Y Medio Ambiente ECAPMA

Programa De Agronomía

Orito - Putumayo

Octubre - 2020
  DESARROLLO EJERCICIO 4

A. Expresión simbólica: {(p→¬r) ∧ (¬q→p) ∧ (p ∧ ¬q)} → (p ∧ ¬r)

Premisas:

P1: p → ¬r

P2: ¬q → p

P3: p ∧ ¬ q

Conclusión: p ∧ ¬r

 PROPOSICIONES SIMPLES
P= Diego estudia agronomía
Q= Diego brinda asistencia agrícola
R= Diego le gusta cultivar el campo
 LENGUAJE NATURAL
Si Diego estudia agronomía entonces Diego no le gusta cultivar el campo, y si no brinda
asistencia técnica agrícola entonces Diego estudia agronomía, y Diego estudia agronomía y no
brinda asistencia técnica agrícola, entonces Diego estudia agronomía y no le gusta cultivar el
campo
 TABLA SIMULADOR UNAD
 TABLA DE VERDAD MANUAL

p q r ¬r ¬ 𝑞 p→¬r ¬q→p p∧¬q p∧¬r (𝑝→¬r)∧( ¬q→p) (𝑝→¬r)∧(¬q→p) {(𝑝→¬r)∧(¬q→p)

∧(p∧¬q)
∧(p∧¬q)}⇾ p∧¬r

V V V F F F V F F F F V

V V F V F V V F V V F V

V F V F V F V V F F F V

V F F V V V V V V V V V

F V V F F V V F F V F V

F V F V F V V F F V F V

F F V F V V F F F F F V

F F F V V V F F F F F V
  LEYES DE INFERENCIA LOGICA
Para este ejercicio yo he determinado que aplica la ley de inferencia Modus Tollendo Tollens; la
tabla de verdad se clasifica en Tautología ya que el resultado es todas verdaderas