INTRODUCCIÓN A LA LÓGICA

Lógica es una ciencia formal que estudia la estructura o formas del pensamiento humano (como proposiciones,
conceptos y razonamientos) para establecer leyes y principios válidos para obtener criterios de verdad.
Como adjetivo, 'lógico' o 'lógica' significa que algo sigue las reglas de la lógica y de la razón. Indica también una
consecuencia esperable natural o normal.
Lógica formal y lógica informal
La lógica formal es aquella cuyo objeto de estudio son las inferencias de forma técnica mediante la utilización de
sistemas deductivos y lenguajes y semánticas formales. La lógica informal, por su parte, estudia sistemas de
razonamiento y argumentación naturales a través del lenguaje y el pensamiento cotidiano.
Lógica aristotélica
Es la lógica que se basa en los estudios de Aristóteles, filósofo griego del siglo IV a.C. La lógica aristotélica
utiliza los llamados silogismos, que se trata de una deducción o forma de razonamiento en el que se establecen
unas premisas de las que se infiere una conclusión.
Se trata, por lo tanto, de un concepto semejante a argumentos deductivamente válidos. Un ejemplo clásico de la
lógica aristotélica es: 'Todos los hombres son mortales. Todos los griegos son hombres. Por lo tanto, todos los
griegos son mortales'. Las dos primeras frases serían las premisas y la tercera la conclusión
Lógica difusa
El concepto de lógica difusa procede del inglés ('fuzzy logic'). Es un tipo de lógica que utiliza valores aleatorios
pero contextualizados y relacionados entre sí estableciendo lo relativo de lo observado como posición diferencial.
La lógica difusa se aplica en diversas áreas como la informática y la industria.

LÓGICA SIMBÓLICA O PROPOSICIONAL 1

La lógica simbólica o proposicional es la rama de la lógica que estudia las variables proposicionales, las
conectivas lógicas ( ). Algunos autores también la identifican con la lógica matemática o la lógica
simbólica, ya que utiliza una serie de símbolos especiales que la acercan al lenguaje matemático. Las
proposiciones pueden ser verdaderas o falsas.

PROPOSICIÓN
Una proposición, en términos generales, es algo que se propone. Es decir, es una expresión equivalente de
una oración simple aseverativa, una oración en la que se afirma que algo es, que algo existe o que posee
determinada característica. Por lo tanto, puede ser juzgada como cierta (si concuerda con la realidad) o falsa
(si no lo hace).
A un enunciado que brinda información que puede ser verdadera o falsa, pero no ambas al mismo tiempo
se le llama proposición.

Verdadero o falso, son llamados valores de verdad de una proposición. Si una proposición es verdadera,
entonces su valor de verdad el verdadero. Si una proposición es falsa, entonces su valor de verdad es falso.
Determine el valor de verdad de las siguientes proposiciones:
a. 10+153=6
b. Los números pares son divisibles entre 2.
c. Guatemala tiene 220 departamentos.
d. 3 es un numero impar.
e. 32=9
f. Guatemala es un país centroamericano.
A una letra que representa una cantidad desconocida en el sujeto de una proposición se le llama variable.
A una proposición que tiene como una variable como sujeto, se le llama proposición abierta
La proposición abierta no puede calificarse como verdadera o falsa
Al asumir el valor o valores de la variable en la proposición abierta se puede determinar su valor de verdad.
De las siguientes proposiciones, determine cuales son proposiciones abiertas y cuáles no.

1
Fuente: https://www.ejemplos.co/40-ejemplos-de-proposiciones-simples-y-compuestas/#ixzz7hmx2tto7
 a. X es un número par de un digito
b. 9 es un numero impar de un dígito
c. 5+3=10
d. Z-2=8
e. Lunes es un día de la semana.
f. El rombo es un cuadrilátero
g. Y es múltiplo de 20.
Proposiciones simples
Las proposiciones simples son aquellas que expresan un estado de situación en su forma más sencilla, es decir,
uniendo un sujeto con un verbo y un predicado. Por ejemplo: El perro ladra todo el día.
Este tipo de proposiciones se caracterizan por no tener ningún término que las condicione ni presentar operadores
lógicos, que son partículas que permiten unir dos o más proposiciones. Por ejemplo: La pared es azul.
Proposiciones compuestas
Las proposiciones compuestas son aquellas que están formadas por más de una proposición simple, las cuales se
relacionan a través de algún tipo de conectiva lógica, que puede ser de oposición, de adición o de condición.
También se consideran compuestas las proposiciones negativas y los bicondicionales. Por ejemplo: Si tienes
ganas, ven a mi casa.
De este modo, las proposiciones compuestas, al estar formadas por proposiciones simples unidas con algún tipo
de vínculo lógico condicionante, tienen más de un término.
Por ejemplo: El hombre ama su profesión o le gusta mucho trabajar.
Esto implica que en las proposiciones compuestas la relación entre el sujeto y el predicado no se produce de
forma general, sino que está sometida a la presencia del conector: podrá cumplirse solo cuando otra cosa suceda,
podrá cumplirse tanto para ese como para otros, o podrá cumplirse solo para uno de todos. Por ejemplo: El
concierto se realizará si y solo si no llueve. 2
Lenguaje natural
En la gramática de los lenguajes naturales, dos frases pueden unirse mediante una conjunción gramatical para
formar una oración gramaticalmente compuesta. Algunas de estas conjunciones gramaticales, pero no todas, son
funciones de verdad. Por ejemplo, considere las siguientes frases:
A: Juan subió la montaña.
B: Eduardo subió la montaña.
C: Juan subió la montaña y Eduardo subió la montaña.
D: Juan subió la montaña, por lo tanto Eduardo subió la montaña.
Las expresiones «y» y «por lo tanto» son conjunciones gramaticales que unen las oraciones (A) y (B) para formar
las oraciones compuestas (C) y (D). La y de (C) es un conector lógico, ya que da el valor de verdad de (C) que
está completamente determinado por el valor de (A) y (B), tiene sentido para el estado (A) y (B) con el resultado
(C). Del mismo modo, por lo tanto en (D) es conector lógico, ya que para (A) y (B) con el resultado (D).
Lenguajes formales
En los lenguajes formales, las funciones de verdad son representadas por símbolos inequívocos. Estos símbolos
se llaman "conectivos lógicos", "operadores lógicos", "operadores proposicionales", o, en la lógica clásica, la "de
funciones conectivos de verdad." Véase fórmulas bien formadas para saber las reglas que permiten las nuevas
fórmulas bien formadas sean construidas al juntar otras fórmulas bien formadas utilizando conectivos de
funciones de verdad.

Los conectivos lógicos pueden ser utilizados para conectar más de dos afirmaciones, entonces es común hablar
de "conector lógico n-ario".
Lista de conectivos lógicos comunes
Conectivos lógicos comúnmente usados:
• Negación (no): ¬, ~
• Conjunción lógica (y): ∧, y, ∙
• Disyunción lógica (o): ∨

2
: https://concepto.de/proposicion/#ixzz7hmxCNGAs
 En el caso de la disyunción 'o', tiene dos significados diferentes: "Inclusivo" y "Exclusivo".
Inclusivo: En este caso, para que la proposición sea cierta, tiene que ser verdadero uno o todos los
elementos de la premisa.
Exclusivo: El 'o' exclusivo o Xor. En una premisa, p o q es verdadero, pero no ambos pueden serlo.
• Condicional material (Si... entonces): →, ⇒, ⊃
• Bicondicional (si y solo si): ↔, ≡, =
Nombres alternativos para bicondicional son "sii", "xnor" y "bi-implicación."
Por ejemplo, el significado de los estados está lloviendo y estoy en el interior se transforma
cuando los dos se combinan con conectivos lógicos:
• No está lloviendo
• Está lloviendo y estoy dentro de casa (P ∧ Q)
• Está lloviendo o estoy dentro de casa (P ∨ Q)
• Si está lloviendo, entonces estoy en casa. (P → Q)
• Si estoy en casa, entonces está lloviendo. (P ← Q)
• Estoy dentro si y solo si está lloviendo (P ↔ Q)
• No está lloviendo (¬ P)
Por declaración P = Está lloviendo; Q = Estoy dentro de casa.
También es común considerar la fórmula siempre verdadera y la fórmula siempre falsa como
conectivos
• Verdadero (⊤, 1 o T)
• Falso (⊥, 0 o F)
Recíproca, contrarrecíproca e inversa
La contrarrecíproca ¬q→¬p de una implicación p→q tiene la misma tabla de verdad que p→q. La
contrarrecíproca es falsa solo cuando ¬p es falsa y ¬q es verdadera, esto es, solo cuando p es verdadera y q es
falsa. Por otra parte, ni la recíproca, q→p , ni la inversa, ¬p→¬q, tienen los mismos valores de verdad que p→q
para todos los posibles valores de p y q. Cuando dos fórmulas tienen siempre los mismo valores de verdad, las
llamamos equivalentes, de tal forma que una implicación y su contrarrecíproca son equivalentes.La recíproca y
la inversa de una implicación también son equivalentes.
• q→p es la recíproca de p→q
 TABLAS DE VERDAD
Una tabla de verdad es una tabla que muestra el valor de verdad de una proposición compuesta
Un nexo es unA partícula cuya función es unir palabras y oraciones.
Las tablas de verdad son, por una parte, uno de los métodos más sencillos y conocidos de la lógica formal, pero
al mismo tiempo también uno de los más poderosos y claros. Entender bien las tablas de verdad es, en gran
medida, entender bien a la lógica formal misma.

Estas tablas pueden construirse haciendo una interpretación de los signos lógicos como: no, o, y, si…entonces,
sí y sólo sí. La interpretación corresponde al sentido que estas operaciones tienen dentro del razonamiento. Puede
establecerse una correspondencia entre los resultados de estas tablas y la deducción lógico matemática. En
consecuencia, las tablas de verdad constituyen un método de decisión para chequear si una proposición es
o no un teorema. Para la construcción de la tabla se asignará el valor 1(uno) a una proposición cierta y 0 (cero)
a una proposición falsa.

LOS CONECTIVOS LOGICOS Y VALORES DE VERDAD

✓ Negación: El valor de verdad de la negación es el contrario de la proposición negada.

✓
Para negar una proposición simple, se le antepone la expresión “No es verdad”, No es cierto que “, o se
incluye la palabra no al enunciado.

Escriba la negación de las siguientes proposiciones:

proposición Negada Negación Símbolo de la negación ~

a. Hoy no es miércoles = ~q
p=Hoy es miércoles b. No es verdad que hoy es miércoles ~q
c. No es cierto que hoy es miércoles ~q

Una proposición simpe se representa simbólicamente con una letra. Generalmente se utilizan las
letras p, q, r, o s.

A la transformación de una proposición en otra con valor de verdad contrario se le llama negación.

Dadas las proposiciones

p: 15 es múltiplo de 3.
q: 18 es múltiplo de 4.

La preposición p: 15 es múltiplo de 3 es verdadera y su negación es 15 no es múltiplo de 3, es falsa.

La preposición q: 18 es múltiplo de 4 es falsa, y su negación es 18 no es múltiplo de 4 es verdadera.

Si la proporción es verdadera entonces su negación es falsa

Si la proposición es falsa, entonces su negación es verdadera.

p ~𝑞
V F
F V
 ✓ La conjunción sirve para indicar que se cumplen dos condiciones simultáneamente, por ejemplo:
La función es creciente y está definida para los números positivos, utilizamos Para que la conjunción p^q
sea verdadera las dos expresiones que intervienen deben ser verdaderas y sólo en ese caso como se indica
por su tabla de verdad.
A la unión de dos proposiciones simples con el conectivo ¡y” o ∧ se le llama conjunción.

Una las dos proposiciones de cada inciso con el conectivo” y” Símbolo de la conjunción: ∧

1. p: 5 es un numero par.
q: el triángulo tiene tres lados

2. r: Sonia es el nombre de una mujer.

s: Javier es el nombre de un hombre.

Estas dos proposiciones simples se pueden combinar por medio del conectivo “y” para formar una proposición
compuesta.
1. 5 es número pary el triángulo tiene 3 lados. p∧q
2. Sonia es el nombre de una mujer y Javier es el nombre de un hombre. p∧q

Los valores de verdad de una conjunción de dos proposiciones simples se muestran en la presente tabla.
A la tabla que muestra el valor de verdad de una proposición compuesta con base a cada combinación de valores
de verdad de las proposiciones simples quela forman se le llama tabla de verdad
La conjunción es verdadera cunado las dos proposiciones son verdaderas h es falsa en los otros casos.

EJMEPLO:
5 es número impar y 8 es número par
5 es número impar y 5 es número impar
6 es número impar y 8 es número par
6 es número impar y 3 es número par

Operación
p q p∧q
V V V
V F F
F V F
F F F

✓ Disyunción:
A la unión de dos proposiciones simples con el conectivo “o” / ∨ se le llama disyunción.
La disyunción de las posiciones p y q se representan como p ∨ 𝒒 y se lee como “p o q”
Ejemplo:
p: Viajo en avión
q; viajo en bus

Disyunción Representación simbólica

Viajo en avión o viajo en bus p∨𝒒
 La disyunción es verdadera cuando las dos proposiciones simples son verdaderas y es falsa cuando las
dos promociones son falsas.

a. Guatemala es un país centroamericano o el futbol es un deporte

b. Guatemala es un país centroamericano o el volcán de Pacaya está en Sololá.
c. Un año tiene 10 meses o el futbol es un deporte.
d. El volcán de pacaya está en Sololá o un año tiene 10 meses.

TABLA DE VERDAD DISYUNTIVA

p q p∨𝒒
V V V
V F V
F V V
F F F

Implicación: Escriba aquí la ecuación.

A la unión de dos proposiciones simples con el conectivo “Si.., entonces” se le llama implicación o
condicional. Signo de la ampliación o condicional ⇒

A la parte de la proposición que sigue de “Si” se le llama antecedente o hipótesis, Ala parte que sigue de entonces
se e llama consecuente o conclusión.

Proposiciones simples Implicación Representación

simbólica
p: Tengo dinero. Si tengo dinero entonces voy a un restaurante p⇒q
q: Voy a un restaurante
p: La temperatura baja a 00C Si la temperatura baja a 00C, entonces el agua se p⇒q
q: El agua se congela congela

La implicación o Condicional es falsa cuando el antecedente es verdadero y el consecuente es falso y es

verdadera en los otros casos. De la verdad no se puede seguir la falsedad.

TABLA DE VERDAD DE UNA IMPLICACION O CONDICIONAL

PROPOSICIONES:
p: Hay buen clima.
q: Vamos al zoológico
Combinaciones:
a. Si Hay buen clima entonces vamos al zoológico
b. Si hay buen clima entonces no vamos al zoológico
c. No hay buen clima entonces vamos al zoológico
d. No hay buen clima entonces no vamos al zoológico

p q p⇒q
V V V
V F F
F V V
F F V
Bicondicional: A la unión de dos proposiciones simples con el conectivo “si y sólo sí” se le llama doble
implicación o bicondicional.
El signo de la doble implicación o bicondicional es: ⇔
La doble ampliación de las proposiciones p y q se representan p⇔q y se lee como p si o solo si q

Una doble implicación p⇔q es una combinación de dos enunciados condicionales p⇔q y p⇔q.

Ejemplo:
P: Este mes es octubre.
q: El mes anterior fue septiembre.

Doble Implicación Representación simbólica

Este mes es octubre si y solo si el mes anterior fue septiembre p⇔q

La doble implicación de dos proposiciones es verdadera cuando ambas proposiciones sean verdaderas
o cuando ambas sean falsas y en los otros casos.

TABLA DE VERDAD
Dadas las proposiciones simples:

P: Un polígono es un triangulo
q: Un polígono tiene exactamente tres lados

COMBINACIONES:

a. Si un polígono es un triángulo, entonces tiene exactamente tres lados.

b. Si un polígono es un triángulo, entonces no tiene exactamente tres lados
c. Si un polígono tiene exactamente tres lados entonces es un triangulo
d. Si un polígono tiene exactamente tres lados entonces no es un triángulo

p q p⇔q
V V V
V F F
F V F
F F V

Nueva Concepción 15 de octubre de 2022