MÓDULO DE LÓGICA PROPOSICIONAL

4° SECUNDARIA – Doc. Alfredo Vásquez

RAZONAMIENTO LÓGICO
Desarrollo Temático (PARTE I)

1
 ¿QUÉ ES LA LÓGICA? que tiene una función las letras
LÓGICA de tipo informativa, son mayúsculas
PROPOSICIONAL Se define al frases que se pueden  Para
término lógica, como la categorizar, quedando representar los
ciencia que estudia el entonces fuera todas conectivos:
INTRODUCCIÓN
pensamiento, de tal aquellas frases que símbolos tales
Existen en la manera que con este cumplen una función de como(
realidad un número estudio se puede transmitir una orden o � , � , �, �, �
considerable de producir razonamientos directriz y las que se )
problemas con los que correctos, es decir, utilizan con una función
una persona se válido. expresiva. Cuando un
enfrenta y de los cuales enunciado del lenguaje
Si se analiza natural se representa
se deben deducir ¿A QUÉ NOS
gramaticalmente una por medio de la
ciertos datos para poder REFERIMOS CON
frase o expresión del simbología asociada, lo
resolverlos. PENSAMIENTO?
lenguaje cotidiano, que queda bosquejado
Generalmente la forma
veremos que éstas es la estructura o
en que las personas El Pensamiento está
pueden clasificarse esqueleto lógico del
aplican el poder conformado por tres
como frases simples o mismo; es decir, la
deductivo es muy elementos, es decir, son
compuestas. “forma” que tiene
personal, sin embargo tres las formas
Las frases dicho enunciado o
éste podría ser mediante las cuales el
simples constan de un conjunto de
encausado o guiado a ser humano puede
sujeto y un predicado. enunciados. Dicha
través del uso de expresar lo que piensa.
Las frases forma es la que nos va
reglas de deducción. A Estas son: Conceptos,
compuestas se a permitir realizar
su vez, será necesario Juicios y
conforman a partir de nuestras deducciones
que dichas reglas sean Razonamientos o
las frases simples sin tener en cuenta el
establecidas y usadas Raciocinios.
unidas por elementos significado asociado.
con una cierta
gramaticales especiales
precisión de modo que ENUNCIADOS Y
que las asocian EVALUACIÓN DE LOS
puedan ser reutilizadas CONECTIVAS
(conjunciones). ENUNCIADOS
toda vez que un mismo
problema o problemas Nuestro lenguaje
Toda frase simple En la Lógica
de características cotidiano se conforma
puede evaluarse como Formal se estudian los
similares sean de frases o
verdadera o falsa. principios y métodos a
planteados. expresiones. Si se
desea deducir Como primera través de los cuales
La manera podemos determinar la
información a partir de medida tendiente a
cotidiana de expresar validez de argumentos,
una frase es necesario lograr un lenguaje aún
los problemas es por desde el punto de vista
poder evaluarla como más preciso, se
medio de nuestro solamente de su
verdadera o falsa. No acuerda adoptar una
lenguaje natural. Sin estructura, sin tomar en
obstante no toda frase nueva terminología y
embargo éste es en cuenta el contenido
puede ser evaluada, representación o
esencia ambiguo por lo semántico de las
existen frases las simbología asociada.
cual es necesario expresiones de los
cuales no se pueden Esto es, llamar:
transformarlo, acotarlo argumentos. De esta
categorizar.  A las frases:
o restringirlo de modo manera si se argumenta
que se convierta en un enunciados o
Frases que se pueden proposicione que:
lenguaje inequívoco.
categorizar s (ya sea  Todos los
Particularmente los
El líder ha muerto simples o majadíes son
lenguajes simbólicos
Juan compró dulces compuestos de Majadistán
proveen esa clase de
con dinero según  Rudistein es
precisión. Y, si además
El barómetro ayuda a corresponda) Majadí
esos símbolos son
determinar el clima  En
símbolos matemáticos,
Si Juan no tiene dinero  A los consecuencia,
lo que tendremos es
entonces no compra elementos Rudistein es
una precisión
dulces gramaticales de Majadistán.
matemática en la acción
Si el barómetro que unen a las
de deducir.
desciende, entonces frases simples: En este argumento,
Esta es lloverá o nevará conectivos no se toma en cuenta si
precisamente la los majadíes son
finalidad de la lógica Y establecer como humanos, perros,
matemática: expresar Frases NO símbolos: pericos o un concepto
problemas por medio de categorizables  Para abstracto de cualquier
un lenguaje inequívoco Qué frío!! representar los área.
que habilite el uso de ¿Cuánto pesas? enunciados
reglas de deducción Alcánzame el libro (frases simples Tampoco importa si
para la solución de los o Rudinstein es un
mismos. Generalizando, compuestas): ciudadano de alguna
diremos que toda frase ciudad del mundo o si

2
es el nombre de un estructura el sujeto PROPOSICIONE
perro. gramatical debe implícito. S POR SU
De esta manera desde tener Sujeto (S) y 4. Atribuir un solo COMPLEJIDAD
el punto de vista de su Predicado (P). valor veritativo: V ó
estructura este  Algunas F en: La Lógica
argumento es válido. oraciones a) “La Proposicional clasifica a
aseverativas llevan materia no se las proposiciones según
Se hace hincapié el sujeto implícito, crea ni se tengan o no operador
que la Lógica no se sin por ello dejar de destruye” lógico.
hace responsable de su contener efectivas b) “Dios
aplicación a nivel proposiciones. no creó el
semántico.  Al afirmar Operadores Lógicos: Llamados también “constantes lógicas”,
universo”
Se puede decir que o negar algo de c) “conectivas”,
“El “funcktores”, “términos de enlace”; etc. Son todos
la Lógica es una algo, a toda la buenaquellos términos que sirven de enlace entre proposiciones o le
profesor
herramienta para el proposición puede es aquel elque
cambian sentido de verdad.
análisis de la veracidad atribuirse un sólo sabe enseñar”
de argumentos en base valor veritativo: V ó d) “Arist
sólo a la estructura de F. óteles creó la Según nuestro criterio
éstos, donde el  No es lógica formal” adoptaremos el estudio
significado de los condición e) “Los de 9 operadores, que
elementos que necesaria saber millonarios denotamos a
intervienen no es con exactitud el tienen dinero” continuación:
tomado en cuenta. valor de verdad de 5. Proposición en
una proposición donde no se sabe 1) El negador: “…
LA PROPOSICIÓN cuando es con exactitud dicho no …” (operador
anunciada, lo valor:
PROPOSICIONES importante es que a) “El monádico) � ( )
se le asuma con un hombre llegará 2) El conjuntor:
valor de verdad a otra galaxia
cuando se le en el 2 020” “…y …” � ( )
NO SI anuncia. 3) El disyuntor
SIMPLES COMPUESTAS
TIENE Las proposiciones incluyente: “ … o
Ejemplos: se clasifican, teniendo …” (en sentido
CONECTORES
LÓGICOS 1. NOMBRE DE
Las oraciones
en cuenta
criterios, como:
ciertos
incluyente) ( �)
ACUERDO AL
siguientes A) 4) El disyuntor
CONECTOR
contienen la misma Según su cantidad: excluyente: “ o …
Proposición es el
proposición:
a) “Julia
-
Universales.
o ….” ( �)
significado de toda
n es amigo de 5) El implicador:
oración declarativa con
Alfredo” - “Si … entonces
sentido a la que puede Particulares
atribuirse un valor
b) “Alfre
do es amigo - …” ( �; �)
veritativo (verdadero o
de Julian” Singulares. 6) El replicador: “
falso para la lógica
c) “Julia B) …. si ….” ; “….
Bivalente). Es la
n y Alfredo son Según su calidad (o porque ….”
explicitación del juicio.
amigos” cualidad)
Las características
a tomar en cuenta
2. La siguiente - ( �)
proposición Afirmativas. 7) El biimplicador:
cuando trabajemos con
presenta estructura “… si y sólo si
proposiciones son las
gramatical: -
siguientes:
a) “Ricar Negativas. ….” ( �; � )
do trabaja C)
 Es el 8) El inalternador:
duramente” Según su modalidad:
significado o “ni … ni ….”
-
contenido de una
oración declarativa
3. Oración
sujeto implícito:
con
Asertóricas ( �)
En el enunciado: (Empíricas; 9) El
porque distintas
“Si llueve entonces Sintéticas; incompatibilizado
oraciones pueden
no iré a la playa” Contingentes). r: “no … o no ….”
contener una
contiene dos -

misma proposición.
La oración
proposiciones a Apodícticas
( /)
saber: (Necesarias; Las proposiciones
que la expresa
a) “lluev Forzosas) simples o atómicas, son
debe tener sentido,
e”, donde el aquellas que no tienen
comprendida por
sujeto implícito -
una comunidad de Problemáticas operador alguno.
es “hoy” Ejemplo:
hablantes. (Plausibles o
b) “iré a (1) “Cada
 Al ser una Probables)
la playa”, gobernante es
oración declarativa,
donde “yo” es político”
la proposición, su

3
 (2) “La lógica en el (alternador o consecuente. Al -
RNC es disyuntor) antecedente Biimplicativas. Si tiene
interesante” (1) también se le el operador diádico:
“Las ciencias conoce como “ …. si y sólo si
Las proposiciones formales son condición …..”
compuestas o abstractas suficiente. Al (Equivalorativas)
moleculares, tienen uno salvo que la consecuente (1)
o más operadores. De lógica sea una también se le “Existe la injusticia
acuerdo al operador ciencia ” conoce como si y sólo si
principal se clasifican (2) condición hay abuso
en: “La filosofía o la necesaria. social”
- biología son (1) (2)
Negativas (Simple: ciencias “Si hay inflación “Para ser poeta es
cuando la negación exactas” entonces hay suficiente y
va en el verbo; (3) desempleo” necesario
Compleja: la “Los virus son (2) tener
negación va al causantes de “Para ser científico sensibilidad
inicio y por Prefijo: enfermedades es necesario social”
Si al término del o ayudan al tener
organismo” formación -
predicado es Inalternativas. Si tiene
antecedido por un (4) epistemológica
Los peruanos o los ” el operador diádico:
prefijo) Ejemplos: “ni …. ni…..”
(1) ecuatorianos (3)
son belicistas “Es suficiente (1)
“Los quelonios no “En China ni hay
son batracios” o son abogado para
patriotas” ser juez” democracia ni
(2) hay justicia”
“Es falso que (5) (4)
CEPUNT sea “Montesquieu fue “Condición
un colegio” escritor, necesaria -
(3) revolucionario para ser juez Incompatibles. Si tiene
“Montesinos es o periodista” es ser el operador diádico:
considerado - abogado” “no …. o no …..”
un amoral” Disyuntivas - (1)
Excluyentes. Si Replicativas. Si tienen “Los pulpos no
- respiran por
Conjuntivas. Si tienen tienen el operador el operador diádico:
diádico: “…. o ….” “… si ….” branquias o no
el operador diádico: son terrestres”
“…. y ….” (exclusor) en (condicional
(conjuntor). Se sentido excluyente, indirecta). Presenta
presentan los es decir que ambas las siguientes
siguientes casos: proposiciones que características:
la componen no Tiene dos TRADUCCIONES
(1) VERBALES DE LOS
“EEUU invadió Irak pueden ser proposiciones. A la
verdaderas al primera se le llama OPERADORES.
e Israel atacó
Palestina” mismo tiempo. consecuente y a la
(1) segunda Son los términos
(2) sinónimos de los
“Boecio e incluso “o la astrología es antecedente. Es lo
una ciencia o contrario de las operadores lógicos.
Boole fueron
lógicos” es una farsa” implicativas.
(3) (2) (1) : ;� �; . ;
“Alfredo es “Democracia es
NEGADOR CONJUNTOR I
“Los tigres son “es falso“Aque
carnívoros y magíster o libertad peroA”B”
sólo porque hay “es absurdo
“A sinque A” B”
embargo
mamíferos” “es mentira que A”
(4) licenciado” libre “A tanto como B”
(3) pensamiento” “es inconcebible
“A tambiénqueB” A”
“Los felinos y los “es negable que A”que B”
carnívoros son “Francia se ubica (2) “A al igual
en América o “Para ser candidato “no ocurre
“no que
soloA”A también B”
mamíferos” “es refutable
(5) Europa” es suficiente “A no A”; etc. B”; etc.
obstante
“Che Guevara fue - ser ciudadano”
escritor, Implicativas. Si tienen (3)
político y el operador diádico: “Es necesario ser IIMPLICADOR � ; �
DISYUNTOR
revolucionario” “si …. candidato para INCLUYENTE
“A implica a B”�U ;
entonces……” ser ciudadano” “A o “A por lo B”
también tanto B”
(condicional). Se (4) “A a “A
noluego B” B”
ser que
- “Condición
caracteriza por “AB”
“A y/o consecuentemente B”
Disyuntivas suficiente
Incluyentes. Si tener dos “A o “ya
bienque
B” A entonces B”
proposiciones. A la para ser “A ya“Abien
es condición
B” suficiente para B”
tienen el operador profesional es
primera se le llama “para Aque
“A excepto es condición
B” necesaria B”
diádico: “ …. o ….” estudiar una
antecedente y a la “A a “A solo si
menos queB”;B”etc.
segunda carrera” “A salvo que B”
“O A o B” ; etc.

4
 Se utiliza para el cálculo de
REPLICADOR � ; �a la
Esta referido determinar el tipo de verdad del
determinación de la esquema molecular esquema molecular
“A es implicado
DISYUNTOR función porde B”verdad de además para siguiendo las
“A si B”un
EXCLUYENTE �; � esquema determinar el orden en reglas de operación
“A ya que B”
molecular cualquiera. que se desarrollará el para cada conector
“A o sólo B” “A puesto que B” ello
Para es cálculo matricial. presente y
“A o solamente B” “A dado que B” conocer:
necesario respetando la
“A o únicamente B” “A con tal de que B”
- que B” jerarquía de
“A excepto que B” “A cada vez Jerarquía de conectores y de
“A a menos que B” “A con la Las
condiciónreglas
de que B” de Conectores: signos de
“A o B”; etc. “A es condiciónoperación
necesaria para B” agrupación. El
“para A es- suficiente B”; etc.
La jerarquía de los Menor ; �; ( ��‫ڮ‬
: ;ī � ó� ) ; cálculo de
;función de verdad la
jerarquía
BIIMPLICADOR ۫ ; ۫ conectores y se hace en el
de los signos cuadrante inferior
“A siempre y cuando B” de agrupación.
“A es condición suficiente y necesaria para B” derecho.
Jerarquía de los signos
“A porque y solamente si B” de Agrupación:
“A es suficiente y B también”  Combinacion
REGLAS DE es: Para
“Sólo si A entonces B” OPERACIÓN
“A o B”; etc. Menor jerarquía
( ) ;[ ] ;{ } determinar el

Nota: los demás INCOMPATIBILIZADOR

operadores se formalizan de acuerdo a su significado, en los casos tal y como se presentó en temas
INALTERNADOR �
anteriores.
/
“No A y no B” “No A excepto que no B”
“Ni Ani B”; etc. “AMencionaremos
es incompatible conloB”;más
etc. número de
resaltante de las reglas combinaciones,
de operación. Veamos: contamos el
Ejemplos:
número de
1. De los El Negador: Si es V , variables presentes
LA TABLA DE (n) seguidamente
siguientes luego : V = F VERDAD efectuamos la
proposiciones:
n
1) El Conjuntor: Sólo Para determinar la operación: 2 , el
Martha irá a la V �V = V , en los función de verdad de un resultado de esta
fiesta de esquema molecular, operación será la
promoción
demás casos es F cantidad de
debemos usar la Tabla
pero en de verdad: combinaciones que
El Disyuntor Incluyente:
diciembre. debemos realizar.
Sólo F �F = F , en
2) Las combinaciones
El Perú es los demás casos es V Esquema Molecular
6 4 7Variables
48 se escriben de
democrático o El Inalternador: Sólo } derecha a
de lo contrario F �F = V , en los p q ( : p � q) izquierda. Primero
oprimido. de uno en uno,
demás casos es F
3)
El Incompatibilizador:
�V V F V V� luego de 2 en 2,
Es mentira que
Sólo V / V = F , en los
� � seguidamente de 4
nunca los �V F F V F� en 4 y así
�Combinaciones � Cálculo de verdad
militares demás casos es V sucesivamente.
abusaron del El Implicador: Sólo �F V V V V �
pueblo. V � F = F , en los �
�F F V F F � � TIPOS DE ESQUEMAS
4) MOLECULARES
Si es cierto que demás casos es V
Manuel resultó El Biimplicador: Sólo
 Variables: Son A) De acuerdo a
campeón del F � F =V ó aquellas letras que la Matriz Final.
torneo de V �V =V en los están presentes en -
karate. el esquema
5)
demás casos es F molecular.
Tautológico.
Cuando todos
Si el viento sopla,
El Disyuntor Excluyente: los valores de
me abrigaré  Esquema
para no Sólo V �F = V ó las
molecular: Es la combinaciones
contraer F �V = V fórmula que presentes son
enfermedades. representa a una verdaderos en
Son simples: proposición la matriz final.
(a) 1; 3 y 5 molecular
(b) 2; 3 y 4 JERARQUÍA DE
cualquiera. Debe
-
(c) Sólo 1 CONECTORES Y Contradictorio.
ser una fórmula
(d) Sólo 1 y 4 SIGNOS DE Cuando todos
bien formada (fbf).
(e) Sólo 4 AGRUPACIÓN los valores de
las
 Cálculo de
VERDAD FORMAL combinaciones
verdad: Se efectúa

5
 presentes son (d) FFFV r:
falsos en la (e) VFVF
matriz final. 2)
9 + 16 = 9 + 16
Si la proposición s:
-
( 2 + 3)
2
Contingente. compuesta 5) = 22 + 32
Cuando hay ( p �‫ٮ‬
: q) (p r) Si
(p)=V y (q) Determinar el valor
por lo menos
es falsa, ¿cuál es = F; Hallar el valor de verdad de:
un valor
verdadero y el valor de verdad de verdad de:  [
por lo menos de
proposiciones
las
q(pq)  ( : p � s ) � ( q �r ) �
�
� ��( :
un valor falso (pq)]
en las
p, q , r ,
(a) Verdadero
combinaciones respectivamente? (b) Falso (a) Verdadero
presentes de (a) VFF (b) Falso
la matriz final. (b) FFV
(c) VVV (c) No se puede
determinar (c) No se puede
B) De acuerdo al (d) FFF
determinar
operador principal. (e) FVV
-
Negativo. Cuando 6) 10)
3) Determinar el valor de
el operador ¿Cuál de los
Sean las proposiciones: verdad de la
principal es el razonamientos no
p: Moyabamba es proposición p y q
negador. es una fórmula
la capital del Si:  p   q  F; (
- proposicional
departamento de
Conjuntivo. pq) tautológica?
San Martín
Cuando el q: Juliaca es una (p (a) si
operador ciudad cuzqueña  q)  : p �q y : p
principal es el r: La pampilla se V , luego q
conjuntor. encuentra en el (a) Verdadero (b) si
- departamento de (b) Falso p�q y q ,
Implicativo. Piura.
Y, dadas las luego p
Cuando el (c) No se puede
siguientes
operadoral operador principal, existen (c) si
De acuerdo tantos determinar
principal
tipos de es el
esquemas fórmulas:
como operadores.
: p �: q y p
implicador. I. , luego q
( p ‫�گ‬
: q) : ( r : p) 7) (d) si
Demuestre que la : p�: q y : q
II. siguiente
, luego p
( : q � r ) �: p �
p �: �
� �
implicación es una
tautología: [ (  p (e) si
III. q)q] : p�: q y : q
PROBLEMAS DE q �( : r / p ) �
: p ��
� � p luego p
APLICACIÓN
¿Cuáles de ellas 8)
son verdaderas? 11)
1) Si la proposición formal La función de verdad
(a) Sólo I p �q es
Sabiendo que: falsa principal de la
(b) Sólo II
v ( p) = V ; v ( q) = F ( )
; v r = (c)F Sólo III lógicamente, luego fórmula
(d) I y II la proposición proposicional:
, entonces los siempre verdadera
valores de verdad (e) I; II y III
de:
no es:
(a) : p �q
( : p / : q ) �: p �
: �
� �
I)
(b) : p �: q , es:
(: q)
p �‫ڮ‬ (r : r) 4)
Si el siguiente esquema (c) : p�q
1) 1111 2) 0000
II) molecular es falso:
(d) : q �p
( p � q ) � ( q �r ) 3) 1000 4)

( : r s) 1100 5)
III) ( p�‫ڬ‬
: q) (e) : q �: p 1001
( r �: p ) D : ( p �q ) ; La función de
verdad de cada 9)
Son ciertas:

, son una de las Si: (a) Sólo 1

respectivamente variables, es p: 1 es un número (b) Sólo 2
(a) FFF respectivamente: primo. (c) Sólo 3
(b) VFF (a) VFFV q: 2 es un (d) Sólo 4
(c) VVV (b) FVVF número primo. (e) Sólo 5
(d) VFV (c) VVVF
(e) VVF 12)
Sean las proposiciones:

6
 p: Helsinki es la III.
II. : ( p�: q ) o no se edita
capital del país de
Findalandia. ( p ‫��ڮ‬
: q) �
r
� (s : r) �
� III.
todos los días.

q: El peso es la Tienen como : ( : p � q)

moneda de México. valores de verdad: (4)
r: La Pampilla se ¿Cuáles son Juan estudia 4
encuentra en el (a) VVV (b) FVF equivalentes? horas diarias o
departamento de (c) FFF (d) VFV no estudia 4
Piura. (e) VVF 19) horas diarias.
Y dadas las Sean p, q
siguientes 15) proposiciones:
fórmulas: De los siguientes 21)
I. esquemas (1) Dado el siguiente
: ( r : p)
Muestra que
( p ‫�گ‬
: q) formales: esquema formal
I. ( p �q ) �: p �: q falso:
II.
( p ‫�ګ‬
: q) : (p : q) , : �
�( p � q ) �: ( : q �r ) �
�
( : q � r ) �: p �
p �: �
� � II.
es una
contradicción. . Los valores de p,
III. ( p �: q ) �: p �
: q/�
� � q y r son
q �( : r / p ) �
: p ��
� � III. (2)
respectivamente:

¿Cuál de ellas son

verdaderas?
( p ��Į
: q) �
q
� (p : q) �
�
A partir de la
contradicción
(a) 110
(c) 101
(b) 000
(d)
anterior
¿Cuáles de ellos construye una
001 (e) 010
(a) Sólo 1 tienen matriz principal
(b) Sólo 2 proposición
tautológica?
(c) II y III tautológica.
(d) I y II (a) Sólo 1 y 2 22)
(e) Todas. (b) Sólo 1 y 3 Cuál de los siguientes
(3) esquemas son
(c) Sólo 2 y
13) Crea otra formales
3
Si el siguiente esquema contradicción a inconsistentes:
(d) Todos (e)
partir del
molecular Ninguno I. ( A‫ ٮ‬B ) A
( : r s)
esquema del
( p�‫ڬ‬
: q) item (1), II.
realizando
es falso; la función
de verdad de cada
16)
sustituciones A � ( B �A ) �
: �
� �
Si la proposición:
una de las de las III.
‫ٮ‬ ( m n)
‫ٮٮٮٮٮٮٮٮٮٮٮٮٮٮٮٮٮٮٮ‬ ( : p q)
�
� r�
� proposiciones
variables
respectivamente:
es
es falsa, el valor de
p y q. : AĮ (B : A)
verdad de: Son ciertas:
(a) 1001 (b) (4)
0001 (c) 0110 ( m � p) � ( q � r ) �
�
� ��n Muestra que (a) Sólo I
(d) 1110 (e) (a) Verdadero : ( p � q ) � ( p �: q ) (b) Sólo II
1010 (c) I, II y III
(b) Falso , es una (d) Sólo III
14) tautología. (e) I y III
Sean las variables: (c) No se puede
p: La lógica no determinar 20)
es una ciencia factual. Sean p, q
q: La lógica proposiciones.
formal estudia DEMOSTRACI Justifica por qué
la validez de ONES las siguientes
los proposiciones son
razonamientos. 17) tautologías (sin
r: La Demostrar que : tabla de verdad)
: [ : p � q] � ( p � q )
matemática es una
ciencia factual. (1)
s: Capital de es una tautología. : p �: : p
Beirut el Líbano.
Luego los
esquemas 18) (2)
siguientes:
I.
Dadas
proposiciones
las ( p ‫�ڮ‬
q) : (p q)
( p �īq ) : (p : r) compuestas:
I. (3)
El diario se edita
II.
( p � q ) �: ( : p �q )
�p �: ( q �: r ) �
todos los días
q/ : � �