𝑃′ → 𝑞 Λ 𝑃 → 𝑟𝑉𝑠 Λ 𝑟Λ𝑠 → 𝑡′ ↔ 𝑤

P q p' P'→q (P'→q)ꓥ(P→(rVs))ꓥ((rꓥs)→t') W

VERDAD VERDAD FALSO VERDAD FALSO VERDA
VERDAD FALSO FALSO VERDAD VERDAD FALSO
FALSO VERDAD VERDAD VERDAD VERDAD VERDAD
FALSO FALSO VERDAD FALSO FALSO FALSO

r s rVs rꓥS P→(rVs) (rVs)→t'

VERDAD VERDAD VERDAD VERDAD VERDAD FALSO
VERDAD FALSO VERDAD FALSO VERDAD VERDAD
FALSO VERDAD VERDAD FALSO VERDAD VERDAD
FALSO FALSO FALSO FALSO VERDAD VERDAD

(P→(rVs))ꓥ((rꓥs)→t') (P'→q)ꓥ(P→(rVs))ꓥ((rꓥs)→t')↔W
FALSO FALSO
VERDAD FALSO
VERDAD VERDAD
VERDAD VERDAD

t t' |
VERDAD FALSO
FALSO VERDA

Equipo 2

Cabrera Orozco Fridha Isabella

Ponce Hau Miguel Angel
Abarca Sanchez Daniel Emilio
Hernandez Quijada Angel Jose
Arriaga Ozorio Juan Carlos
Vazquez Rodriguez Jesus