LÓGICA

Comprende el estudio de los métodos que aplican definiciones y leyes, con el propósito de determinar la validez o invalidez
del razonamiento. La lógica es la ciencia que permite aprender a razonar de manera correcta.

LÓGICA MATEMÁTICA: Es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona
reglas y técnicas para determinar si es o no válido un argumento dado. El razonamiento lógico; se emplea en matemáticas
para demostrar teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las ciencias
físicas y naturales, para sacar conclusiones de experimentos y en las ciencias sociales y en la vida cotidiana, para resolver
una multitud de problemas.

LÓGICA PROPOSICIONAL: Estudia las proposiciones y símbolos utilizados en la formación de nuevas proposiciones que
podrán ser verdaderas o falsas, señaladas por reglas formales.

Enunciado: Son oraciones que no se puede decir si son verdaderas o falsas.

Ejemplos:

El Perú es un país de gran diversidad ecológica.

En el Perú no se puede encontrar orquídeas.

Discúlpame, pero no estoy de acuerdo.

¡Silencio!

Para viajar a Europa podemos ir por vía terrestre.

Proposición: Es un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Las proposiciones se
indican por medio de una letra minúscula (p, q, r, s, t, …).

Ejemplos:

F V

p: Tarapoto es una ciudad de Chile ( ) ( )

q: El gato es un pez ( ) ( )

r: El día martes es antes que el día lunes ( ) ( )

s: Londres es la capital de Inglaterra ( ) ( )

Conclusión: Toda proposición es un enunciado, pero no todo enunciado es una proposición.

Clases de Proposiciones

Proposición Simple o Atómica: Aquella que consta de una sola proposición, y no se le puede descomponer.

p: Tarapoto es la capital de la Provincia de San Martín.

q: El mazato es una bebida tradicional de la Selva Peruana.

Proposición Compuesta o Molecular: Aquella que está compuesta por dos o más proposiciones simples, relacionadas entre
sí, por conectivos lógicos.
 Conectivos Lógicos.

Operación Símbolo Se lee

Negación ¬ ̴ - “no”, “no es cierto que …”
Conjunción ∧ “y”, “pero”; “aunque”
Disyunción ∨ “o”
Disyunción exclusiva △ “o … o … “
Condicional → “si … entonces …” ; “ … luego …” ; “ … implica que …” ; “ … de manera que …”
Bicondicional ↔ “ … si y sólo si …” ; “ … es condición necesaria y suficiente …”; “ … es equivalente a …”

Así, por ejemplo:

a) Dadas las proposiciones simples:

p : Pedro viaja a Moyobamba.
q : Roberto viaja a Lamas.

Enunciado Simbolización
Pedro viaja a Moyobamba y Roberto a Lamas
Pedro viaja a Moyobamba o Roberto a Lamas
Pedro no viaja a Moyobamba y Roberto viaja a Lamas
Pedro viaja a Moyobamba sí y sólo si Roberto viaja a Lamas

Tablas de Valores de Verdad de las Proposiciones Compuestas: 2n

Proposiciones Conjunción Disyunción Disyunción Condicional Bicondicional

Exclusiva
p q p ∧q p ∨q p∆q p →q p ↔q
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

Conclusión: Si todas las respuestas, son verdaderas, entonces es Tautología.

Si todas las respuestas son falsas, entonces es una contradicción.

Si las respuestas no coinciden, entonces es una contingencia.

Ejercicios

1. Resolver utilizando tablas de verdad.

a) ( p →q ) → ( p ∆ q )
b) ( p ∨ q ) ∧ ( p → q )
c) [ ( p →q ) ∧ ( q → r ) ] → ( p → s )
2. Formalizar las siguientes proposiciones y resolver en tablas de verdad.
a) Ni Vilma, ni Silvia ingresaron a la Universidad, pero Angélica tampoco ingresó.
b) Pedro no llegó a Tarapoto, pero si a Moyobamba, porque Moyobamba está más cerca de Rioja.
c) Nunca digas que jamás estuviste divirtiéndote en la discoteca, porque no es verdad pues todos saben que ahí
estuviste.
3. Si la proposición: ( p →q ) ∨ ( r → s ) es falsa; determine el valor de verdad de las siguientes proposiciones:
a) ( p ∧ q ) ∨ q b) ( r ∨q ) ↔ [ ( q ∨r ) ∧ s ] c) ( p →q ) → [ ( p∨ q ) ∧ q ]
4. Dada la proposición: [ ( r ∨q ) → ( r → p ) ] es falsa; donde se sabe que “q” es falsa. Hallar el valor de verdad de las
siguientes proposiciones:
a) r → ( p ∨ q ) b) [ r ↔ ( p ∧q ) ] ↔ ( q ∧ p ) c) ( r ∨ p ) ∧ ( q ∨ p )
 Resolver

1. (− p ∧q ) → [ − p→ ( q ∆ r ) ]
2. {− p → (−p ∧ q ) ∨ [ ( r ∧−s ) ] } →− p
3. ( p−q ) △ {[ ( r −s ) → p ] ↔ (− p ∆−t ) }
4. (− p−q ) △ {[ ( r −s ) → p ] ↔ (− p ∆−t ) }
5. ( p−q ) △ {[ ( r −s ) →−p ] ↔ (− p ∆ t ) }
6. (− p ∧−q ) → [ −p → ( q ∆−r ) ]
7. ( p ∧q ) → [ p → ( q ∆ r ) ]