Etiqueta: proposiciones complejas.

Fórmulas lógicas equivalentes usando tablas de verdad – Pregunta de Examen de Fundamentos de Matemática de la Universidad de Lima

Dadas las fórmulas lógicas proposicionales:

$$A:\ \sim r\vee(p\wedge\sim q)$$

$$B:\ \sim\left[(\sim q\wedge r)\rightarrow(p\vee r)\right]$$

¿La fórmula \(\sim(A\wedge B)\) es equivalente a la fórmula \((\sim A\rightarrow B)\)? Justifique su respuesta, haciendo uso de la tabla de verdad.

VER SOLUCIÓN

Simbolizar proposiciones simples y compuestas y hallar tabla de verdad – Pregunta de Examen de Fundamentos de Matemática de la Universidad de Lima

Dada la siguiente proposición compuesta:

Si Percy asistió a su cita odontológica por la mañana, entonces no es cierto que; Percy haya asistido al cine por la tarde, aunque por la mañana haya participado en un campeonato virtual de ajedrezo haya asistido a su cita odontológica por la mañana.

Se pide lo siguiente:

Parte i.

Identifique y simbolice las proposiciones simples.

Parte ii.

Simbolice la proposición compuesta.

Parte iii.

Determine mediante la tabla de verdad, si la fórmula lógica proposicional obtenida en el ítem ii) es una tautología, una contradicción o una contingencia.

VER SOLUCIÓN