Tablas de verdad ejercicios resueltos

Tabla de verdad a expresión booleana en línea

Los alumnos utilizarán tablas de verdad de dos, tres o cuatro entradas para resolver problemas lógicos.    Esta lección asume que los estudiantes saben cómo implementar soluciones lógicas en puertas lógicas digitales (ingeniería) o en software (informática).

Los estudiantes tendrán una comprensión básica de las puertas lógicas digitales (ANDs, ORs, e Inversores).    Las soluciones a problemas sencillos pueden implementarse utilizando littleBits (littlebits.com) o Snap Circuit Kits (www.elenco.com/brand/snap-circuits/).    Las soluciones más complicadas pueden implementarse utilizando semiconductores, tableros y cables.

Los estudiantes tendrán un conocimiento básico de un programa informático.    Las soluciones a problemas sencillos pueden implementarse utilizando lenguajes basados en bloques como Scratch (scratch.mit.edu/) o AppInventor (ai2.appinventor.mit.edu).    También se pueden implementar soluciones utilizando littleBits Code Kit (littlebits.com/pages/code-kit-download) que se utilizaría con littleBits.    Soluciones más complicadas pueden ser implementadas usando lenguajes basados en texto como Python o Java.    Las soluciones basadas en texto deben ser implementadas en un Entorno de Desarrollo Integrado como jGRASP (www.jgrasp.org/) para Python, Java u otros lenguajes y BlueJ (www.bluej.org/) para Java.

Ejercicios de lógica proposicional con soluciones

Utiliza las leyes de De Morgan y cualquier otro hecho de equivalencia lógica que conozcas para simplificar los siguientes enunciados. Muestre todos sus pasos. Sus declaraciones finales deben tener negaciones sólo aparecen directamente al lado de las variables de la oración o predicados (\ (P\text{,}) \ (Q\text{,}) \ (E(x)\text{,}) etc.), y no hay negaciones dobles. Sería conveniente utilizar sólo conjunciones, disyunciones y negaciones.

Tommy Flanagan te cuenta lo que comió ayer por la tarde. Te dice: «Comí palomitas o pasas. Además, si comí sándwiches de pepino, entonces tomé refresco. Pero no tomé ni refrescos ni té». Por supuesto, usted sabe que Tommy es el peor mentiroso del mundo y que todo lo que dice es falso. ¿Qué comió Tommy?

La regla de la deducción es válida. Para ver esto, haz una tabla de verdad que contenga \(P \vee Q\) y \(\neg P\) (y \(P\) y \(Q\) por supuesto). Mira el valor de verdad de \ Q\ en cada una de las filas que tienen \ P \ Q\ y \ P\ negativo verdadero.

También podemos simplificar los enunciados en lógica de predicados utilizando nuestras reglas para pasar las negaciones por encima de los cuantificadores, y aplicando luego la equivalencia lógica proposicional a la parte proposicional «interior». Simplifique los enunciados siguientes (para que la negación aparezca sólo directamente junto a los predicados).

Ejercicios de lógica proposicional con respuestas pdf

Fuente: Como se indicó en el post original, este problema es del libro How to Prove It de Daniel J. Velleman. El ejercicio se puede encontrar como problema 7 (a) en la página 54 (segunda edición). Tengo una copia de este libro, y vi que algunos ejercicios tienen soluciones en el libro. El ejercicio que precede directamente a éste tenía la solución, «O bien hacer una tabla de verdad o razonar de la siguiente manera: «. Esto me hace pensar que el autor tenía en mente una solución de tabla de verdad para este ejercicio, ya que una demostración puramente directa utilizando una cadena de equivalencias lógicas ha demostrado ser excesivamente difícil. Estoy muy interesado en obtener una solución que utilice una cadena de equivalencias lógicas similar a mi respuesta a este problema. He pasado varias horas trabajando en este problema, pero no lo he conseguido en absoluto; parece que no puedo «sacar el lado derecho del lado izquierdo», como parece el enfoque más natural. Para cualquier persona interesada, he presentado una tabla de verdad sin la pelusa a continuación.

Prueba de la cadena de equivalencias: Parece que el problema principal es «sacar» el lado derecho del lado izquierdo. Por ejemplo, mediante el uso de la distributividad, puedo ver que de alguna manera $(P\a Q)\a(Q\a R)$ es equivalente a

Generador de tablas de verdad en línea

Saltar al contenidoEn este artículo, verás un vídeo que explica la lógica de predicados y los cuantificadores. Después, mostraré la solución a los cinco primeros ejercicios del libro de texto que los profesores están utilizando para enseñar Matemática Discreta en la mayoría de las universidades.Encuentra a continuación la solución a los cinco primeros ejercicios del libro de texto: Matemática Discreta y Aplicación de Rosen.Predicados y Cuantificadores1- Sea P(x) la afirmación «x ≤ 4». ¿Cuáles son estos valores de verdad?a) P(0) b) P(4) c) P(6)Respuestasa) P(0) = «0≤ 4». Por lo tanto, el valor de verdad es verdadero.

c) P(6) = «6≤4». Por tanto, el valor de verdad es falso.2- Sea P(x) la afirmación «la palabra x contiene la letra a». ¿Cuáles son estos valores de verdad?a) P(naranja) b) P(limón)c) P(verdadero) d) P(falso)Respuestasa) P(naranja) = «la palabra naranja contiene la letra a». Por lo tanto, el valor de verdad es verdadero.

d) P(falso) = «la palabra falso contiene la letra a». Por lo tanto, el valor de verdad es verdadero.3- Sea Q(x, y) el enunciado «x es la capital de y». ¿Cuáles son estos valores de verdad?a) Q(Denver,Colorado)b) Q(Detroit, Michigan)c) Q(Massachusetts,Boston)d) Q(NuevaYork,NuevaYork)Respuestasa) Q(Denver,Colorado) = «Denver es la capital de Colorado». Verdadero.