0% encontró este documento útil (0 votos)
532 vistas3 páginas

Lógica Proposicional y Proposiciones Matemáticas

Este documento contiene las respuestas correctas a 5 preguntas de un examen de matemáticas. La primera pregunta trata sobre la representación lógica de dos proposiciones. La segunda clasifica tres proposiciones como tautología, contradicción o contingencia. La tercera evalúa la validez de un argumento condicional compuesto. La cuarta identifica si ciertos enunciados son proposiciones o no. La quinta determina los valores de verdad de tres proposiciones dadas sus definiciones y una condición. La se

Cargado por

Legion EMFL
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
532 vistas3 páginas

Lógica Proposicional y Proposiciones Matemáticas

Este documento contiene las respuestas correctas a 5 preguntas de un examen de matemáticas. La primera pregunta trata sobre la representación lógica de dos proposiciones. La segunda clasifica tres proposiciones como tautología, contradicción o contingencia. La tercera evalúa la validez de un argumento condicional compuesto. La cuarta identifica si ciertos enunciados son proposiciones o no. La quinta determina los valores de verdad de tres proposiciones dadas sus definiciones y una condición. La se

Cargado por

Legion EMFL
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

CORRECCIÓN: 1° EXAMEN DE MATEMÁTICA

1. Si la proposición “12 es primo” se representa por “p” y “64 es cubo perfecto” se


representa por “q”, expresar la representación: ~ (p v ~ q)
a) No es cierto que, 12 es primo o 64 no es cubo perfecto.
b) 12 no es primo o 64 no es cubo perfecto.
c) 12 no es primo y 64 es cubo perfecto.
d) 12 es cuadrado perfecto y 64 es cubo perfecto.
e) Hay dos respuestas correctas.

p: 12 es primo.

q: 64 es cubo perfecto.

~ (p v ~q) = ~ p ᴧ q

~pᴧq

12 no es primo y 64 es cubo perfecto.

2. Clasifica las siguientes proposiciones como tautología, contradicción o


contingencia:

I. ( p → q ) → ~q
(p → q) → ~ q
V V V F F V
V F F V V F Contingencia
F V V F F V
F V F V V F

II. (~q v p) ∆ [p ∆ (p v q)]


(~ q V p) ∆ [p ∆ (p V q)]
F V V V V V F V V V
V F V V V V F V V F Tautología
F V F F V F V F V V
V F V F V F F F F F

III. (q ∆ ~ p) ↔ (p ∆ q)
(q ∆ ~ p) ↔ (p ∆ q)
V V F V F V F V
F F F V F V V F Contradicción
V F V F F F V V
F V V F F F F F

3. Si viene el tren, llegará antes de las seis. Si viene en coche, llegará antes de
las seis. Luego, tanto si viene en tren como si viene en coche, llegará antes
que las seis.
 Si viene el tren, llegará antes de las seis. Si viene en coche, llegará
antes de las seis. Luego, tanto si viene en tren como si viene en coche,
llegará antes que las seis.

p: viene en tren
q: llegará antes de las seis.
r: viene en coche
→: Si/Luego
V: tanto/como
ᴧ/ [()]: Punto y seguido, punto final y coma.

[(p → q) ᴧ (r → q)] → [(p v r) → q)]

( p → q ): Si viene en tren, llegará antes de las seis.


( r → q ): Si viene en coche, llegará antes de las seis.
( p v q ) → q): Tanto si viene en tren como si viene en coche, llegará
antes que las seis

[( p → q ) ᴧ ( r → q )] → [( p v r ) → q ) ]

Rpta: [( p → q ) ᴧ ( r → q )] → [( p v r ) → q ) ]

4. Indica si son enunciados o proposiciones (V O F) :


 La matemática es divertida. : Enunciado
 X+3>0 : Enunciado Abierto
 Las arañas tienen 8 ojos. : Proposición simple.
 9 > - 12 : Proposición Simple.
 La capital de Japón es Tokio. : Proposición Simple.
 Lleguen temprano. : Enunciado.
 Esta vez voy a estudiar. : Enunciado.
 9 es un número compuesto. : Proposición simple.

5. Se define las proposiciones:

p*q = ~ p ᴧ q

pᴥq=pv~q

Además, la proposición: ~ [( q*p) → (q ᴥ r)] = V

Determinar el valor de verdad de p, q y r


6. Si se sabe que: {[(r v s) → t] ∆ (p v q)} ᴧ {~{[(r ∆ t) ᴧs] → (~q ᴧ ~p)}} es verdadera.

También podría gustarte