p q r s t {[p→(qVr)]Λ(s→¬q)Λ(t→¬r)Λ(pΛt)}→q

T T T T T T
T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T

expression is a tautology
Tarea 3: Problemas de aplicación

Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su escogencia en el foro, de tal forma que no coincida con los compañeros
D. {[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}→𝑞

P q r s t ~ q ~ r (𝑞∨𝑟) [𝑝→(𝑞∨𝑟) (𝑠→∼𝑞) [𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞) (𝑡→∼𝑟) (𝑝∧𝑡) (𝑡→∼𝑟)∧(𝑝∧𝑡) [𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡) 𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)→𝑞

V V V V V F F V V F F F F F F V
V V V V F F F V V F F V V V F V
V V V F V F F V V V V F F F F V
V V V F F F F V V V V V V V V V
V V F V V F V V V F F V F F F V
V V F V F F V V V F F V V V F V
V V F F V F V V V V V V F F F V
V V F F F F V V V V V V V V F V
V F V V V V F V V V V F F F F V
V F V V F V F V V V V V V V F V
V F V F V V F V V V V F F F F V
V F V F F V F V V V V V V V F V
V F F V V V V F F V F V F F F V
V F F V F V V F F V F V V V F V
V F F F V V V F F V F V F F F V
V F F F F V V F F V F V V V F V
F V V V V F F V F F F F F F F V
F V V V F F F V V F F V F F F V
F V V F V F F V V V V F F F F V
F V V F F F F V V V V V F F F V
F V F V V F V V V F F V F F F V
F V F V F F V V V F F V F F F V
F V F F V F V V V V V V F F F V
F V F F F F V V V V V V F F F V
F F V V V V F V V V V F F F F V
F F V V F V F V V V V V F F F V
F F V F V V F V V V V F F F F V
F F V F F V F V V V V V F F F V
F F F V V V V F V V V V F F F V
F F F V F V V F V V V V F F F V
F F F F V V V F V V V V F F F V
F f F F f V V F v V V V F F F V
V: TAUTOLOGIA
p: 10 es un numero natural

q: 7 es menor que 10

r: 5 es menor que 7

s: 7 es un número impar

t: 6 es un numero par

10 es un numero natural ENTONCES 7 es menor que 10 O 5 es menor que 7 Y 7 es un número impar ENTONCES NO es cierto que 7 es menor que 10 Y 6 es un numero par
ENTONCES NO es cierto que 5 es menor que 7 Y que 10 es un numero natural Y 6 es un numero par ENTONCES 10 es un numero natural