You are on page 1of 7

Inicio Mezclas y Soluciones Administración de Empresas Biología Electroquímica Filo

 Home  Ciencias Formales  Tablas de Verdad Ejercicios Resueltos (Verdadero o Falso)



TABLAS DE VERDAD EJERCICIOS RESUELTOS (VERDADERO

O FALSO)

Ciencias Formales  Avi  17 septiembre, 2018  0

 Lógica Proposicional

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)
VVV F V F V F V
VV 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 VV 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)
VVV 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)
VVV F V F F V F
VV 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 VV 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)]


pq p↔q q→p (p → q) ^ (q → p) ~ [(p → q) ^ (q → p)] (p ↔ q) ↔ ~ [(p → q) ^ (q → p)]

VV V V V F F

VF F V F V F

FV F F F V F

FF V V V F F

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


 0
SHARES  Facebook 0  Twitter  Google+  Pinterest 0

Artículos Relacionados


Simbolización de Proposiciones Proposiciones Lógicas ¿Qué es y qué no es la Lógica
Simples y Compuestas Ejercicios Resueltos con Tablas Proposicional? (Con Ejemplos)
de Verdad

Conectores Lógicos y Tablas de


Verdad (Proposiciones Lógicas)

Related Posts
Conectores Lógicos y Tablas de ¿Qué es y qué no es la Lógica
Verdad (Proposiciones Lógicas) Proposicional? (Con Ejemplos)
 17 septiembre, 2018  0  11 septiembre, 2018  0
Conectores lógicos con sus símbolos Qué es y qué no es la lógica
Conectivos lógicos Símbolos Nombre y proposicional Las oraciones …
^, …

Simbolización de Proposiciones Proposiciones Lógicas Ejercicio


Simples y Compuestas Resueltos con Tablas de Verdad
 15 septiembre, 2018  0  7 octubre, 2018  3
Simbolización de Ejercicio proposición n° 1 con tabla de
Proposiciones ejemplos resueltos verdad 1.- Decir …
Proposición n° 1 Eres listo o eres …
Add a Comment
Tu dirección de correo electrónico no será publicada.

Name

Email

Website

Guardar mi nombre, correo electrónico y sitio web en este navegador para la próxima vez que haga un
comentario.

ADD COMMENT

Todos los derechos reservados Visual Avi

You might also like