Lógica y tablas de verdad hoja de trabajo 1.2 respuestas
Contenido
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 un conocimiento básico 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.
Comentarios
Utiliza las leyes de De Morgan y cualquier otro hecho de equivalencia lógica que conozcas para simplificar los siguientes enunciados. Muestra todos tus pasos. Sus declaraciones finales deben tener negaciones sólo aparecen directamente junto a 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).
Hoja de trabajo de la tabla de la verdad pdf
Lógica proposicional y métodos de inferencia SEEM 5750 1 Lógica El conocimiento también puede representarse mediante los símbolos de la lógica, que es el estudio de las reglas del razonamiento exacto. La lógica también tiene una importancia primordial
Ejemplo de Lógica de Predicados: Todos los hombres son mortales. Sócrates es un hombre. Sócrates es mortal. Nota: Necesitamos leyes lógicas que funcionen para enunciados que impliquen cantidades como some y all. En inglés, el predicado es
MATH 1130 1 Estructuras Discretas Capítulo I Lógica y Pruebas Proposiciones Una proposición es un enunciado que es verdadero (T) o falso (F), pero no ambos. s Proposiciones: 1. Soy un hombre.. Soy más alto que
CAPÍTULO 3 Métodos de demostración 1. Argumentos lógicos y pruebas formales 1.1. Terminología básica. Un axioma es un enunciado que se da por verdadero. Una regla de inferencia es una regla lógica que se utiliza para deducir
Reglas de inferencia y métodos de prueba Invierno 2010 Introducción Reglas de inferencia y pruebas formales Las pruebas en matemáticas son argumentos válidos que establecen la verdad de los enunciados matemáticos. Un argumento
