LÓGICA

Introducción:

En sentido ordinario de la palabra “Lógica” se refiere a lo que es congruente, ordenado, bien estructurado.
Lo ilógico es lo contrario. La lógica se puede considerar en dos niveles diferentes: La lógica natural, como la
aptitud que todos poseen para pensar con orden, ilación y coherencia; y la Lógica científica, como una teoría
y una técnica que posibilita el perfeccionamiento de la lógica natural. La definición real de la Lógica es la
siguiente:

La Lógica es la ciencia que estudia los pensamientos en cuanto a sus formas

mentales para facilitar el raciocinio correcto y verdadero.

Su objeto de estudio lo constituyen las formas, estructuras o esquemas de pensamiento.

El lenguaje es un medio, un instrumento mediante el cual se trasmite información y lo que se persigue al
simbolizar un lenguaje es básicamente la sencillez, claridad y exactitud. Por ello, la simbolización del lenguaje
lógico nos permite examinar más fácilmente las formas de pensamiento y sus leyes, las cuales es preciso
seguir si queremos que nuestro pensamiento sea correcto.

En Matemática construimos enunciados que son oraciones declarativas que afirman o niegan algo.
Algunos de estos enunciados se aceptan sin una demostración formal, son “evidentes” por sí mismos o
simplemente se les acepta por convención como ciertos y los llamados axiomas.
Para otros habrá que demostrar su veracidad, les llamamos proposiciones, es decir, toda oración respecto de
la cual puede decirse si es verdadero o falsa. Empleamos las letras p, q, r y s para representar proposiciones
no especificadas.

Recuerda:

Las proposiciones pueden ser simples (o atómicas) o compuestas (o moleculares)

Ejemplos:
 “Matías practica futbol” es una proposición atómica, (no se puede descomponer)
 “Hoy es miércoles y Sol brilla” es una proposición molecular (se puede descomponer en 2
partes separada por la conjunción “y”). Las compuestas se forman a partir de combinar
proposiciones por medio de términos de enlace o conectivos lógicos. Los términos de enlace, son de gran
importancia y desempeñan la función que su nombre indica, enlazan proposiciones.

Conectivos Lógicos

Términos de enlace. Símbolos.

“y” cuyo símbolo matemático es: ¿

“o” cuyo símbolo matemático es: V

“no” que simbolizaremos así: ~

“Si…., entonces.” Cuyo símbolo es: ⇒

“si y sólo si “ cuyo símbolo es: ⇔

La proposición tiene como valor de verdad V o F. Con esto podemos formar un tipo de arreglo que
llamamos tabla de verdad, que incluye todas las posibilidades para cada conectivo.

Equivalencia lógica

En Lógica no existe el concepto de igualdad de proposiciones, si el concepto de equivalencia.

Definición: Decimos que dos proposiciones p y q son lógicamente equivalente lo que denotamos
por p≡ q o por p ⇔q , cuando cada una de ellas implica a la otra.

Ejemplo: Construir la tabla de verdad para la proposición p ∧ ∼q ≡∼ (p ∨ q)

Las tablas de verdad pueden ser TAUTOLOGIAS, CONTRADICCIÓN y CONTINGENCIA

Ejercicios

I. Construir la tabla de verdad para las siguientes proposiciones:

a) ~(~p Ú q)
b) (p Ù q) Ú (p Ù ~q)
c) (~ (p Ú q) Ù (p Ù q) )
d) ( r Ù (p Ú ~q) ) Ù ~(~r Ú (p Ù q))
e) (p Ù~q) Û ((p Ú q) Ù r)
f) ((p Þ q) Ù (r Þ q)) Û ((p Ú r) Þ q)

II. Verifique si son equivalentes las siguientes proposiciones :

a) p Ú (q Ù r) º (p Ú q) Ù (p Ú r)
b) (p Þ q) º (~p Ú r)
c) (p Þ (q Ù r)) º (p Þ q) Ù (p Þ r)
d) [(p Ù q) Ú (p Ù r)] º [p Ù (q Ú r)]
e) ~(p Ú q) º (~p Ù ~q)
f) ~(p Ù q) º (~p Ú ~q)

III. Determinar el valor de verdad de las siguientes proposiciones :

a) Si -2 < 5 entonces 3 < 8.
b) Si 2 < -1 y -3 < 3, entonces -1 < 2 ó 3 > 5.
c) No es cierto que, si Santiago está en Chile entonces Lima está en Bolivia.
d) No es cierto que 4 + 3 = 10 si y sólo si 6 + 7 = 11.
e) No es verdad que, 2 + 2 = 4 ó 1 - 2 = 0.
f) Si 3 - 2 = 1 entonces 7 + 5 = 2.