Вы находитесь на странице: 1из 7

FACULTA DE CIENCIAS MEDICAS

CARRERA DE MECICINA

COMPUTACION II-TIC PARA LA TOMA


DE DECISIONES
Docente:

Ing. Alfredo J. Veloz Velez


Estudiante:

Dayana Majency Silva Garcia


Tarea:

Tablas de Verdad

Curso: 2-1

Fecha:

7-junio-2021

Ciclo I: 2021-2022
1. (p v q) Ʌ ¬ q -> p

p q ¬q (p v q) ¬ q -> p (p v q) Ʌ ¬ q -> p

V V F V V V
V F V V V V Contingencia
F V F V V V
F F V F F F

2 q →p) Ʌ (r v ¬p)) Ʌ (¬q v ¬r) → ¬q

p q r ¬p ¬q ¬r ((q →p) (r v ¬p)) ((q →p) Ʌ (r v ¬p)) (¬q v ¬r) (¬q v ¬r) → ¬q ((q →p) Ʌ (r v ¬p)) Ʌ (¬q v ¬r) → ¬q
V V V F F F V V V F V V
V V F F F V V F F V F F
V F V F V F V V V V V V
V F F F V V V F F V V F
F V V V F F F V F F V F
F V F V F V F V F V F F
F F V V V F V V V V V V
F F F V V V V V V V V V

Contingencia
3. (p → q) Ʌ (q → r) → (p -> r)

p q r (p → q) (q → r) (p → q) Ʌ (q → r) (p -> r) (p → q) Ʌ (q → r) → (p -> r)
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V Tautología
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V

4.p → ¬q) ∨ (q → ¬r)


p q r ¬q ¬r (p → ¬q) (q → ¬r) (p → ¬q) ∨ (q → ¬r)
V V V F F F F F
V V F F V F V V
V F V V F V V V Contingencia
V F F V V V V V
F V V F F V F V
F V F F V V V V
F F V V F V V V
F F F V V V V V
5.p → ¬q) ∨ (q → ¬r)

p q r ¬q ¬r (p → ¬q) (q → ¬r) (p → ¬q) ∨ (q → ¬r)


V V V F F F F F
V V F F V F V V
V F V V F V V V
Contingencia
V F F V V V V V
F V V F F V F V
F V F F V V V V
F F V V F V V V
F F F V V V V V
6. (p → q) ∧ (r → s) ∧ (p ∨ r) → q ∨ ¬s

p q r s ¬s (p → q) (r → s) (p → q) ∧ (r → s) (p ∨ r) q ∨ ¬s (p ∨ r) → q ∨ ¬s (p → q) ∧ (r → s) ∧ (p ∨ r) → q ∨ ¬s

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

Contingencia
7.(p → q) ^ (q → r) → (p → r)
p q r (p → q) (q → r) (p → q) ^ (q → r) (p → r)
(p → q) ^ (q → r) → (p → r)
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V Tautología
F V F V F F V V
F F V V V V V V
F F F V V V V V

8.((p & ¬q) v (p Ʌ r)) Ʌ (¬q -> ¬p) ->r


p q r ¬p ¬q ((p & ¬q) (p Ʌ r)) ((p & ¬q) v (p Ʌ r)) (¬q -> ¬p) (¬q -> ¬p) ->r ((p & ¬q) v (p Ʌ r)) Ʌ (¬q -> ¬p) ->r

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

Contingencia
9.((p → q) Ʌ (¬ p → r)) Ʌ (¬ q → ¬ r) -> q

Contingencia
p q r ¬p ¬q ¬r (p → q) (¬ p → r) ((p → q) Ʌ (¬ p → r)) (¬ q → ¬ r) (¬ q → ¬ r) -> q ((p → q) Ʌ (¬ p → r)) Ʌ (¬ q → ¬ r) -> q
V V V F F F V V V V V V
V V F F F V V V V V V V
V F V F V F F V F F V F
V F F F V V F V F V F F
F V V V F F V V V V V V
F V F V F V V F F V V F
F F V V V F V V V F V V
F F F V V V V F F V F F

10.(¬p →q) Ʌ (q →r)) Ʌ ¬r →p

p q r ¬p ¬r (¬p →q) (q →r) (¬p →q) Ʌ (q →r) ¬r →p (¬p →q) Ʌ (q →r)) Ʌ ¬r →p


V V V F F V V V V V
V V F F V V F F V F
V F V F F V V V V V
V F F F V V V V V V
F V V V F V V V V V
F V F V V V F F F F Contingencia
F F V V F F V F V F
F F F V V F V F F F