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ÓNDada 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