¬( p → ¬q) No es cierto que Juan está especializado en economía y no tomo un curso de mercadeo. k. (¬p ∨ ¬q ) Juan no está especializado en economía o no tomo un curso de mercadeo.
j.
3. Hallar la tabla final de las siguientes proposiciones compuestas y decir si son indeterminadas, tautologías o contradicciones a. [¬( p ∧ q )] ↔ p Respuesta: indeterminada b. [( p ∧ q ) ∧ ¬( p ∧ q )] Respuesta: contradicción c. [( p ∨ r ) ∧ q ] → p Respuesta: indeterminada d. (¬p ∨ ¬q) ↔ ¬q
Respuesta: indeterminada
e. ¬(q ∨ p ) ∨ ¬( p ∨ q ) Respuesta: indeterminada f.
[( p → q) ∧ ¬q ] → ¬p) Respuesta: tautología
Sección 1.4: Argumentos lógicos y formas clásicas MPP y MTT. Convierta cada una de las formas clásicas de argumentos en una proposición compuesta. Utilice tablas de verdad para verificar que la tabla final de estos argumentos da una tautología. Respuesta: MTT: [( p → q ) ∧ ¬q ] → ¬p ) MPP: [( p → q ) ∧ p ] → q )
1. En cada caso indicar si el argumento dado es o no válido. a. 1. Si este es un lobo, entonces es feroz. 2. Este es un lobo. Luego 3. Es feroz. Respuesta: Valido forma MPP b. 1. Si tiene luz propia, entonces el astro es una estrella. 2. El astro no es una estrella. Luego 3. El astro no tiene luz propia. Respuesta: Valido forma MTT c. 1. Si el delfín es un pez, entonces es ovíparo y tiene branquias. 2. No es cierto que: el delfín es ovíparo y que tiene branquias. Luego 3. No es cierto que el delfín es un pez. Respuesta: Valido forma MTT
95