Lógica de proposiciones

a) Deducir el valor de verdad de una proposición al compararla con otras

b) Ejercitar el razonamiento deductivo
c) Determinar si las proposiciones son verdaderas o falsas.
d) Eliminar la ambigüedad en el discurso argumentativo
e) Identificar como se da la transferencia de la verdad de las premisas a la
conclusión
La lógica de proposiciones analiza la composición o forma de argumentar a partir
de 2 tipos de proposiciones

A) Las simples o atómicas, qué son enunciados constatativos que

carecen de enlaces o conectivos con excepción de la negación. Su
característica principal es que maneja una sola idea por ejemplo
a) Luis es agradable
b) La felicidad es un sentimiento de bienestar
c) Hace mucho frio
d) El bosque es un lugar muy hermoso
e) Esa muñeca es linda
B) Las compuestas o moleculares, que se componen de 2 o más
proposiciones simples unidas por enlaces o conectivos
Contrariamente a las proposiciones simples, estas se manejan de 2 o
más ideas gracias al uso de las conectivas, por ejemplo:

a) Sócrates fue un gran filósofo griego y Platón fue su discípulo

b) Si la selección de fútbol juega bien, entonces ganará todos sus
partidos
c) Yucatán no es una isla
d) Tu eres mi amigo si y solo si eres sincero conmigo
e) No es cierto que el vino no mata
f) Hace frío o se me bajó la presión
g) O está soleado
h) O está nublado
i) Voy a comer pan y a beber café
j) Comeré pero también estudiaré
k) O voy al cine o voy al trabajo

En la lógica de proposiciones de utilizan los siguientes símbolos:

Letras proposicionales: p q, r, s
Conectivos lógicos –
Signos de agrupación () []
NOTA: Las SEIS conectivas de lógica tienen una función de verdad y mantienen un
significado fijo, su función de verdad es entendida a partir de la información de un
valor de verdad o falsedad de cada uno de los enunciados simples que configuran
la proposición compuesta. La ventaja de la función de las conectivas es que,
sabiendo el valor de cada enunciado constatativo, podemos determinar el valor de
conjunto
Estas relaciones se representan en cuadros simbólicos que ilustran y explica a
continuación y que se llaman tablas de verdad
A) La negación
El símbolo que representa la negación es ~ así la oración ~p representa la negación
de p también se conoce como el contradictorio se le puede identificar como no
ocurre que, no es cierto que, jamás, ningún, falso, no es el caso que no es cierto
que, es incorrecto que, y otros que son similares
Regla: negar una proposición qué es verdadera la convierte en falsa y viceversa
P ~p
México tiene mucha México no tiene mucha
riqueza natural riqueza natural
Todos los hombres No todos los hombres
tienen mal carácter tienen mal carácter

B) CONJUNCION.
El símbolo qué representa la conjunción es ^ que significa y, así por ejemplo “p^ q
“se lee “p y q”.
Cuando 2 enunciados constatativos se combinan mediante palabras y el resultado
es una conjunción y los 2 enunciados qué se combinan son los conjuntivos por
ejemplo el DF es capital de México y la capital de Inglaterra es Londres
Veremos que:
P Q P^q
Verdadero Verdadero Verdadero
Verdadero Falso Falso
Falso Verdadero Falso
Falso Falso Falso
Regla:
P Q P^Q
El amor es un El sentimiento valioso El amor es un
sentimiento valioso produce bienestar sentimiento valioso y el
sentimiento valioso
produce bienestar
Cantinflas fue un cómico Los cómicos mexicanos Cantinflas fue un cómico
mexicano son tristes mexicano y los cómicos
mexicanos son tristes
México es una nación México es una nación México es una nación
del primer mundo multicultural del primer mundo y
México es una nación
multicultural
Todo mexicano es de Los jóvenes mexicanos Todo mexicano es de
clase alta son flojos clase alta y los jóvenes
mexicanos son flojos

C) La disyunción.
Se presenta con el símbolo “v” que significa “o” la reglas dependen del tipo
de disyunción veamos los 2 tipos
Disyunción excluyente: Solo puede darse entre 2 alternativas (recuérdese
el caso de la niña) No pueden elegirse a las 2 se distingue de la incluyente
porque se subraya la conectiva
Ejemplos, o ganas o pierdes
P Q Pvq
Verdadero Verdadero Falso
Verdadero Falso Verdadero
Falso Verdadero Verdadero
Falso Falso Falso

Regla: En una disyunción exclusiva, el conjunto solo será verdadero cuando uno
solo de los enunciados constatativos sea verdadero
P Q Pvq
La guerra es el resultado La guerra es el resultado O la guerra es el
del egoísmo humano de la falta de acuerdos resultado del egoísmo
humano o la guerra es el
resultado de la falta de
acuerdos
Las flores son plantas Los peces león son aves O las flores son plantas
o los peces león son
aves
 El gobernante es una El gobernante cuenta O el gobernante es una
persona fuera de lo con el poder que le da la persona fuera de lo
común. representación de los común o el gobernante
ciudadanos cuenta con el poder que
le da la representación
de los ciudadanos

DISYUNCION INCLUSIVA: Puede darse en el caso de que las alternativas se

puedan dar pero es suficiente con que se de alguna de ellas.
P Q PvQ
verdadera verdadera Verdadera
Verdadera Falsa Verdadera
Falsa Verdadera Verdadera
Falsa Falsa Falsa

REGLA: El conjunto es verdadero con que uno de los enunciados constatativos lo

sea
P Q PvQ
El hijo bueno respeta a El buen padre vela por el El buen hijo respeta a sus
sus padres bienestar de sus hijos padres o el buen padre
vela por el bienestar de
sus hijos
Es feliz quien tiene El dinero es lo único que Es feliz quien tiene
calidad de vida produce felicidad calidad de vida o el dinero
es lo único que produce
felicidad
Todo el que lucha por Todo el que vive bien Todo el que lucha por
mejorar tiene grandes tiene bienestar mejorar tiene grandes
riquezas riquezas o todo el que
vive bien tiene bienestar
El futuro siempre es El pasado siempre se El futuro siempre es
predecible olvida predecible o el pasado
siempre se olvida

La implicación representa con  que se lee ‘’ si entonces’’

En la implicación la primera proposición es el antecedente y la segunda el
consecuente.
P Q pq
verdadero verdadero verdadero
Verdadero Falso Falso
Falso Verdadero Verdadero
 Falso Falso Verdadero

REGLA: El conjunto condicional será siempre verdadero siempre y cuando no

exista un antecedente verdadero y consecuente falso
P Q P Q
Pedro es un ser racional Pedro esta consiente de Si Pedro es un ser
muchos de sus actos racional entonces Pedro
es consciente de muchos
de sus actos
México es una nación rica México es una nación del Si México es una nación
en cultura primer mundo rica en cultura, entonces
México es una nación del
primer mundo
La selección mexicana de La selección mexicana Si la selección favorita
futbol es la favorita para está compuesta por los mexica es la favorita para
ganar el mundial mejores jugadores de ganar el mundial
México entonces la selección
mexicana está
compuesta por los
mejores jugadores de
México
Todo joven sabe lo que Todo joven tiene una Si todo joven sabe lo que
quiere en la vida meta en la vida quiere en la vida,
entonces todo joven tiene
una meta en la vida

En cuanto a su función verdadera veremos que:

P Q P Q
Verdadero Verdadero Verdadero
verdadero Falso Falso
Falso Verdadero falso
falso falso Verdadero