Visual Avi

Ciencias Formales

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.

[anuncio_b30 id=3]

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.

[anuncio_b30 id=4]

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.

[anuncio_b30 id=5]

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.

[anuncio_b30 id=6]

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.