Tablas de Verdad Ejercicios Resueltos (Verdadero o Falso)

Tabla de la verdad de la proposición: (p → q)  ↔ (~ p ∨ q)

p q ~ p p → q ~ p ∨ q (p → q)  ↔ (~ p ∨ q)
V V F V V V
V F F F F V
F V V V V V
F F V V V V

La expresión (p → q)  ↔ (~ p ∨ q) es una Tautología.

Tabla de la verdad de la proposición: ~ (p ∨ q)  ↔ (~ p ^ ~ q)

p q ~ p ~ q p ∨ q ~ (p ∨ q) ~ p ^ ~ q ~ (p ∨ q)  ↔ (~ p ^ ~ q)
V V F F V F F V
V F F V V F F V
F V V F V F F V
F F V V F V V V

La expresión ~ (p ∨ q)  ↔ (~ p ^ ~ q) es una Tautología.

Tabla de la verdad de la proposición: [(p ∨ q) → (~ r ^ q)] → (q ↔ r)

p q r ~ r p ∨ q ~ r ^ q q ↔ r (p ∨ q) → (~ r ^ q) [(p ∨ q) → (~ r ^ q)] → (q ↔ r)
V V V F V F V F V
V V F V V V F V F
V F V F V F F F V
V F F V V F V F V
F V V F V F V F V
F V F V V V F V F
F F V F F F F V F
F F F V F F V V V

La expresión [(p ∨ q) → (~ r ^ q)] → (q ↔ r) es una Contingencia.

Tabla de la verdad de la proposición: [(p → q) ∨ (~ q ^ r)] ↔ (r → q)

p q r ~ q p → q ~ q ^ r r → q (p → q) ∨ (~ q ^ r) [(p → q) ∨ (~ q ^ r)] ↔ (r → q)
V V V F V F V V V
V V F F V F V V V
V F V V F V F V F
V F F V F F V F F
F V V F V F V V V
F V F F V F V V V
F F V V V V F V F
F F F V V F V V V

La expresión [(p → q) ∨ (~ q ^ r)] ↔ (r → q) es una Contingencia.

Tabla de la verdad de la proposición: (p → q) ↔ [(~ p ) ∨ q]

p q ~ p p → q (~ p ) ∨ q (p → q) ↔ [(~ p ) ∨ q]
V V F V V V
V F F F F V
F V V V V V
F F V V V V

La expresión (p → q) ↔ [(~ p ) ∨ q] es una Tautología.

Tabla de la verdad de la proposición: [~(p ∨ q)] ↔ [(~ p ) ^ (~q)]

p q ~ p ~q p ∨ q ~(p ∨ q) (~ p) ^ (~q) [~(p ∨ q)] ↔ [(~ p) ^ (~q)]
V V F F V F F V
V F F V V F F V
F V V F V F F V
F F V V F V V V

La expresión [~(p ∨ q)] ↔ [(~ p) ^ (~q)] es una Tautología.

Tabla de la verdad de la proposición: [~(p ↔ q)] ↔  [ p ↔ (~q)]

p q ~q p ↔ q ~(p ↔ q) p ↔ (~q) [~(p ↔ q)] ↔  [p ↔ (~q)]
V V F V F F V
V F V F V V V
F V F F V V V
F F V V F F V

La expresión [~(p ↔ q)] ↔  [p ↔ (~q)] es una Tautología.

Tabla de la verdad de la proposición: [~(~p)] ↔  p

p ~p ~(~p) [~(~p)] ↔  p
V F V V
F V F V

La expresión [~(~p)] ↔  p es una Tautología.

Tabla de la verdad de la proposición: [(p → q) ∨ (~ q ^ r)] ↔ (r ↓ q)

p q r ~ q p → q ~ q ^ r r ↓ q (p → q) ∨ (~ q ^ r) [(p → q) ∨ (~ q ^ r)] ↔ (r ↓ q)
V V V F V F F V F
V V F F V F F V F
V F V V F V F V F
V F F V F F V F F
F V V F V F F V F
F V F F V F F V F
F F V V V V F V F
F F F V V F V V V

La expresión [(p → q) ∨ (~ q ^ r)] ↔ (r ↓ q) es una Contingencia.

Tabla de la verdad de la proposición: (p ⊻ q) → r

p q r p ⊻ q (p ⊻ q) → r
V V V F V
V V F F V
V F V V V
V F F V F
F V V V V
F V F V F
F F V F V
F F F F V

La expresión (p ⊻ q) → r es una Contingencia.

Tabla de la verdad de la proposición: [(p → q)  ^ (p → r)] → (p → r)

p q r p → q p → r (p → q) ^ (p → r) [(p → q)  ^ (p → r)] → (p → r)
V V V V V V V
V V F V F F V
V F V F V V V
V F F F F F V
F V V V V V V
F V F V V V V
F F V V V V V
F F F V V V V

La expresión [(p → q)  ^ (p → r)] → (p → r) es una Tautología.

ZZ

Tabla de la verdad de la proposición: (p ↔ q) ↔ ~ [(p → q) ^ (q → p)]

p q p ↔ q q → p (p → q) ^ (q → p) ~ [(p → q) ^ (q → p)] (p ↔ q) ↔ ~ [(p → q) ^ (q → p)]
V V V V V F F
V F F V F V F
F V F F F V F
F F V V V F F

La expresión (p ↔ q) ↔ ~ [(p → q) ^ (q → p)] es una Contradicción.

Deja un comentario