• Author / Uploaded
• L Jerónimo Rojas

• Categories
• Proposición
• Verdad
• Semiótica
• Semántica
• Física y matemáticas

Citation preview

Inicio



Mezclas y Soluciones

Administración de Empresas

Biología

Electroquímica

 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.

Filo

 

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 VVV F V

~q^r F

r→q V

(p → q) ∨ (~ q ^ r) V

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

V V V F F F F

V F F V V F F

F V F V F V F

F V V F F V V

V F F V V V V

F V F F F V F

V F V V V F V

V V F V V V V

V F F V V F 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

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

p  

q

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

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

q ~p V F F F V V F V

~q F V F V

p∨q V V V F

~(p ∨ q) F F F V

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

[~(p ∨ q)] ↔ [(~ p) ^ (~q)] 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 ~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

V

V

F

F

V



F F



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 Verdad (Proposiciones Lógicas)

¿Qué es y qué no es la Lógica Proposicional? (Con Ejemplos)

 17 septiembre, 2018  0 Conectores lógicos con sus símbolos Conectivos lógicos Símbolos Nombre y ^, …

 11 septiembre, 2018  0 Qué es y qué no es la lógica proposicional Las oraciones …

Simbolización de Proposiciones Simples y Compuestas

Proposiciones Lógicas Ejercicio Resueltos con Tablas de Verdad

 15 septiembre, 2018  0 Simbolización de Proposiciones ejemplos resueltos Proposición n° 1 Eres listo o eres …

 7 octubre, 2018  3 Ejercicio proposición n° 1 con tabla de verdad 1.- Decir …

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