Resultado de búsqueda
LÓGICA PROPOSICIONAL - EJERCICIOS RESUELTOS - ¬˄˅→↔. 1. Simboliza las siguientes proposiciones: No vi la película, pero leí la novela: ¬p ˄ q. Ni vi la película ni leí la novela: ¬p ˄ ¬q. No es cierto que viese la película y leyese la novela: ¬(p ˄ q) Vi la película aunque no leí la novela: p ˄ ¬q. No me gusta trasnochar ni madrugar: ¬p ˄ ¬q.
Sintaxis y semántica de la lógica proposicional 1.1. Ejercicios resueltos Ejercicio 1.1 Determinar cuáles de las siguientes expresiones son fórmulas proposicio-nales: 1. p 2. (p) 3. (p_:q) 4. p_:q 5. :(p_p) 6. ((p !q)_(q !p)) 7. (p_^q) Ejercicio 1.2 Definir por recursión sobre fórmulas las siguientes funciones
Trabajo Práctico No 1 Lógica. Elementos de lógica proposicional: conectores, leyes lógicas. Sintaxis y semántica. RESOLUCIÓN DE LOS EJERCICIOS IMPARES. Página 86 de la guía de ejercicios. E-1. -Sean p y q los enunciados: p: Estamos bajo cero q: Nieva Escriba los enunciados siguientes usando p, q y conectores lógicos:
Otorga, ordenadamente, variables proposicionales a las diferentes oraciones de cada caso. 1 Si escoges tus deseos y tus miedos, no existirá para tí ningún tirano. (Epicteto) A p ∧q 2 Quién tiene un porqué para vivir puede soportar cualquiera cómo. (Nietzsche) B ¬p → q 3 El mundo entero es un escenario y todos los humanos somos unos ...
Guía de ejercicios No1: Lógica Matemática. Equivalencia lógica: Las leyes de la lógica (Algebra de proposiciones) Sean p , q , r proposiciones básicas o primitivas cualesquiera, T. 0 una tautológica y. F. 0 una contradicción, entonces se cumple ( o son tautologías) ~ (~ p ) ⇔ p. Ley de la doble negación. 2.
Ejercicios de lógica proposicional. 1. ¿Es el siguiente razonamiento correcto? Traducir a fórmulas bien formadas y aplicar reglas de inferencia para verificar si es correcto. “Si la temperatura y la presión del aire permanecen constantes no llueve. La temperatura permaneció constante.
El documento presenta una serie de ejercicios de lógica proposicional para simbolizar proposiciones y formalizar inferencias. Incluye 10 proposiciones para simbolizar, 5 ejercicios de formalización de inferencias, y 6 ejercicios de aplicación para determinar valores de verdad de proposiciones.
