CLASE # 2

Demostraciones

UNIDAD 2. Lógica de argumentos

Resultado de Aprendizaje: Aplicar las propiedades de la lógica de argumentos de manera crítica

Dr. Omar Cedeño Loor

Francisco.cedeno@utm.edu.ec
Ejemplo.
Utilizando las siguientes premisas, elaborar simbólicamente una expresión, con razonamiento lógico

Si compramos una parcela, entonces construimos una casa o esperamos para vender la parcela a un precio
mayor. Si construimos una casa o compramos un apartamento, entonces compramos muebles. Si
compramos muebles, entonces compramos un televisor. Si nos esperamos para vender la parcela,
tendremos dinero suficiente para comprar un apartamento. Por lo tanto, si compramos una parcela,
entonces compraremos un televisor.

(p) Compramos una parcela (q) Construimos una casa (r) Compramos muebles

(s) Compramos un televisor (t) Esperamos para vender la parcela más adelante a mejor precio

(u) Compramos un apartamento

RESPUESTA. [(p → (q ∨ t)) ∧ ((q ∨ u) → r) ∧ (r → s) ∧ (t → u)] → (p → s)

Dada la siguiente expresión, por medio de la tabla de verdad concluya su resultado.

(p → q) ∧ (￢q → ￢p)

p q ￢p ￢q p→q ￢q → ￢p (p → q) ∧ (￢q → ￢p)

V V F F V V V

V F F V F F F

F V V F V V V

F F V V V V V

RESULTADO. CONTINGENCIA.
 Dada la Proposición [(p q) ˄ ~ q] (p ˄ ~q) construya la tabla de la verdad

p q ~q p q (p q) ˄ ~q p ˄ ~q [ (p q) ˄ ~q ] (p ˄ ~q)

V V F V F F V

V F V F F V V

F V F F F F V

F F V V V F F

RESULTADO. CONTINGENCIA.
Dada la siguiente proposición. (p ˄ q) ˅ r construya la tabla de la verdad

p q r p∧q (p∧q)∨r

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

RESULTADO. CONTINGENCIA.
Ejemplo. Determine mediante una tabla de verdad el valor de:
[(p → q) Λ (q → r)] → (p → r)

RPTA: Todos los valores son verdaderos, Tautología por lo tanto es una Tautología.
GRACIAS POR SU ATENCIÓN!!