Scribd
Cargar
99 vistas4 páginas

Lógica Proposicional: Ejercicios y Tablas

Este documento presenta ejercicios de lógica proposicional como parte de un producto acreditable para la asignatura de Pensamiento Lógico Matemático. El documento contiene tres partes: la primera identifica proposiciones y no proposiciones, la segunda formaliza proposiciones dadas en lenguaje natural, y la tercera construye tablas de verdad y determina si fórmulas son tautologías, contradictorias o contingentes.

Cargado por

JESUS LUIS ROJAS CHAVEZ
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 DOCX, PDF, TXT o lee en línea desde Scribd
99 vistas4 páginas

Lógica Proposicional: Ejercicios y Tablas

Este documento presenta ejercicios de lógica proposicional como parte de un producto acreditable para la asignatura de Pensamiento Lógico Matemático. El documento contiene tres partes: la primera identifica proposiciones y no proposiciones, la segunda formaliza proposiciones dadas en lenguaje natural, y la tercera construye tablas de verdad y determina si fórmulas son tautologías, contradictorias o contingentes.

Cargado por

JESUS LUIS ROJAS CHAVEZ
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 DOCX, PDF, TXT o lee en línea desde Scribd

FACULTAD DE INGENIERIA, ARQUITECTURA Y URBANISMO.

ESCUELA PROFESIONAL DE INGENIERIA CIVIL


PRODUCTO ACREDITABLE N°1

“Ejercicios y actividades programadas sobre


lógica proposicional”

Integrantes:

Jesús Luis Rojas Chávez

Asignatura:

Pensamiento Lógico Matemático

Docente:

Cristian Augusto Jurado Fernández

mayo de 2020

Pimentel – Chiclayo
Actividades de lógica proposicional: Resolver los siguientes ejercicios.

PARTE I: De los siguientes enunciados cuales son de proposiciones y no proposiciones:

1. Todos los planetas giran alrededor del sol (P)


2. Si un número es divisible por 4 también lo es por 2 (P)
3. a + b + 10 = 20 (NP)
4. a + b + 10 = 20; donde a = 4, b= 7 (P)
5. Batman es el hombre murciélago (NP)
6. ¡Socorro! (NP)
7. Todo organismo viviente se adapta a su medio físico (P)
8. ¿Habrá juicio final? (NP)
9. Romeo y Julieta murieron por amor. (P)
10. Omate es nombre de una ciudad andina. (P)

PARTE II: Formaliza las siguientes proposiciones

1. Estás seguro y lo que dices es cierto o mientes como un bellaco.

p∧(q∨r)

2. Cuando uno no tiene imaginación, la muerte es poca cosa; y cuando uno la tiene, la muerte es
demasiado.
(¬p→q) ∧ (p→q)

3. Los planetas reflejan luz si y sólo si las estrellas la emiten y los planetas giran alrededor de
ellas
(p ↔q)∧r

4. Las brujas se peinan únicamente si llueve y hace sol.

pΔ(q∧r)

5. Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una regadera y
dejaría que me internaran en un psiquiátrico.

(pvq) →(r∧s)

6. Si el aumento de la inflación implica la disminución de la balanza de pagos, entonces, si no


disminuye la balanza de pagos no aumenta la inflación.

(p→q) →(¬q→¬p)
7. Federico se irá a las islas Fiji o a las islas Seychelles si y sólo si se gana la lotería y no pierde
en la ruleta.

(pvq) ↔(r∧¬s)

8. Si no sabes inglés ni francés, te contrato en mi empresa, si y sólo si, sabes informática o


contabilidad.

(¬ p→q) ↔(r v s)

9. Aumentará la inflación y disminuirá el paro, sólo si se fabrica moneda o hay guerra.

(p∧q) ↔(r v s)

10. El Hombre Lobo es un invento y si lo mismo ocurre con Papá Noel, entonces los niños son
engañados.

(p∧q) →q

PARTE III: Construye la tabla de verdad, completa de la siguiente fórmula y determina si es


tautológica, contradictoria o contingente:

1. {[( p ∨ q ) → ¬ r] ∧ ( p ∧ q)} → ¬ r TAUTOLOGÍA

F F F F V V F F V
F F V F F V F F V
F V F V V V F F V
F V V V F F F F V
V F F V V V F F V
V F V V F F F F V
V V F V V V V V V

2. {[( p ∧ q ) → r ] ∧ ( p ∧ ¬ r )} → ¬ q TAUTOLOGÍA

F F F F V V F F V V
F F V F V F F F V V
F V F F V V F F F V
F V V F V F F F F V
V F F F V V V V V V
V F V F V F F F V V
V V F V F V V F F V
V V V V V F F F F V
3. [ p ∨ ( q ↔ r ) ] ↔ {¬ [ p → ( r ∧ q ) ] ∨ [ ( q ∧ ¬ r ) → p ] } CONTINGENCIA

F F F V V F V F V F V V V
F F V F F F V F F F V V F
F V F F F F V F V V F F V
F V V V V V V F F F V V V
V F F V V F F V V F V V V
V F V F V F F V F F V V V
V V F F V F F V V V V V V
V V V V V V V F F F V V V

4. ( p ∨ q ) → [ ¬ ( ¬p ∧ ¬q ) ] TAUTOLOGÍA

F F F V V V F V
F V V V F F V V
V F V F V F V V
V V V F F F V V

5. ( p ∧ q ) → [ ¬( ¬p ∨ ¬q ) ] TAUTOLOGÍA

F F F V V V F V
F V F V F V F V
V F F F V V F V
V V V F F F V V

También podría gustarte