Scribd
Cargar
29 vistas2 páginas

Simulacro 1

El documento es un simulacro de examen de lógica que incluye diversas instrucciones y problemas relacionados con proposiciones lógicas, tablas de verdad y conectivos lógicos. Se solicita a los estudiantes identificar proposiciones, escribir conversas, inversas y contraposiciones, así como demostrar equivalencias y evaluar la validez de argumentos. Además, se presentan ejercicios sobre el trazo de Sheffer y se requiere la construcción de tablas de verdad para diferentes operaciones lógicas.

Cargado por

tzikto2005
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
29 vistas2 páginas

Simulacro 1

El documento es un simulacro de examen de lógica que incluye diversas instrucciones y problemas relacionados con proposiciones lógicas, tablas de verdad y conectivos lógicos. Se solicita a los estudiantes identificar proposiciones, escribir conversas, inversas y contraposiciones, así como demostrar equivalencias y evaluar la validez de argumentos. Además, se presentan ejercicios sobre el trazo de Sheffer y se requiere la construcción de tablas de verdad para diferentes operaciones lógicas.

Cargado por

tzikto2005
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

Simulacro de Examen 1: Lógica

MADI 2025–1
Eduardo Acuña Yeomans
2025-02-10

Instrucciones: Escribe tu nombre a continuación y resuelve los siguientes problemas.

1. Subraya los enunciados que son proposiciones lógicas.


¡Qué día tan lindo! 3 × 7 = 22 Abre la puerta, por favor

Todos los gatos maúllan Estoy mintiendo ahorita x es un número real

2. Escribe la conversa del enunciado: “Si estudio mucho, entonces apruebo el examen”.

3. Escribe la inversa del enunciado: “Si estudio poco, entonces apruebo el examen”.

4. Escribe la contrapositiva del enunciado: “Si estudio, entonces repruebo el examen”.

5. Demuestra que (∃x.P (x) ∧ ∃x.Q(x)) y ∃x.(P (x) ∧ Q(x)) no son equivalentes presentando un
dominio del discurso D junto con predicado P y Q. Justifica tu respuesta.

D=

P (x) =

Q(x) =

6. Determina si el siguiente argumento es válido y justifica tu respuesta.


Si llueve en la noche, entonces amanecerá el suelo mojado.
Amaneció el suelo mojado.
∴ Llovió anoche.
Simulacro de Examen 1: Lógica MADI 2025–1

Sean p y q dos proposiciones cualesquiera, el trazo de Sheffer es un conectivo lógico binario, denotado
p ↑ q, que definimos con la siguiente tabla de verdad.

p q p↑q
⊥ ⊥ ⊤
⊥ ⊤ ⊤
⊤ ⊥ ⊤
⊤ ⊤ ⊥

7. Escribe la tabla de verdad de p ∧ q y una equivalencia lógica para esta expresión en la columna
marcada con ∗ pero utilizando únicamente el trazo de Sheffer, la negación, p y q.

p q p∧q ∗
⊥ ⊥
⊥ ⊤
⊤ ⊥
⊤ ⊤

8. Escribe la tabla de verdad de p ∨ q y una equivalencia lógica para esta expresión en la columna
marcada con ∗ pero utilizando únicamente el trazo de Sheffer, la negación, p y q.

p q p∨q ∗
⊥ ⊥
⊥ ⊤
⊤ ⊥
⊤ ⊤

9. Escribe la tabla de verdad de p → q y una equivalencia lógica para esta expresión en la columna
marcada con ∗ pero utilizando únicamente el trazo de Sheffer, la negación, p y q.

p q p→q ∗
⊥ ⊥
⊥ ⊤
⊤ ⊥
⊤ ⊤

10. Escribe la tabla de verdad de ¬p y una equivalencia lógica para esta expresión en la columna
marcada con ∗ pero utilizando únicamente el trazo de Sheffer y p.

p ¬p ∗
⊥
⊤

También podría gustarte