LÓGICA

LÓGICA PROPOSICIONAL

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA

Objetivos

 Elaborar proposiciones simples y compuestas.

 Determina el valor de verdad de una proposición.
 Formaliza proposiciones.
 Determina la columna resultante de la tabla de verdad de una proposición
compuesta

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA

Contenidos

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA

PROPOSICIÓN
Es una expresión lingüística que posee una función
informativa, que afirma o niega algo, y tiene sentido
decir de ellas que son verdaderas o falsas
CLASES DE PROPOSICIONES
Simples o atómicas. Son aquellas que no contienen dentro
de sí ninguna otra proposición. Son las proposiciones de la
forma más simple ( o más básicas)

Compuestas o moleculares. Son aquellas que contienen

dentro de sí otras proposiciones ( por lo menos una

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
CONECTIVAS
Las conectivas o términos de enlace tienen la función de
relacionar las proposiciones que forman un enunciado
compuesto
Conectiva monádica. No enlaza dos proposiciones atómicas,
afecta a una sola proposición. La expresión “no” es una
conectiva monádica
Conectiva diádica o binaria. Enlazan dos proposiciones
atómicas. Las expresiones “y”, “o”, “o.......o”, “si, entonces”, “si
y solo si” son conectivas diádicas

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA

EJEMPLOS DE PROPOSICIONES

PROPOSICIÓN VALOR DE VERDAD

La lima es una fruta V
La yuca es mineral F
El agua no es ser vivo V
El león es carnívoro V
La mujer no es inmortal V
La planta no es vegetal F
Cristo es el salvador V

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA

EJEMPLOS DE PROPOSICIONES SIMPLES Y

COMPUESTAS

PROPOSICIÓN CLASE
La lima y la naranja son frutas Compuesta
La papa o la yuca son alimentos Compuesta
Si el hombre es ser vivo entonces es mortal Compuesta
Bety es soltera o casada Compuesta
El bautismo es un sacramento Simple
Miguel es sacerdote Simple
El número dos no es impar Compuesta
No es cierto que Chiclayo es un país Compuesta

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA

SIMBOLIZACIÓN DE PROPOSICIONES

Para denotar a cada una de las proposiciones atómicas (en

afirmativo) adoptaremos las letras p, q, r, s, t, etc
Para representar a las expresiones (o sus equivalentes)
de enlace o conectivas utilizaremos
˄, •, para “y”
v, +, para “o”, también se puede usar Δ
→, ‫כ‬, para “si, entonces”

↔, para “si y solo si”

~, para “no”

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
EJEMPLOS DE SIMBOLIZACIÓN DE
PROPOSICIONES
PROPOSICIÓN FORM. SIM.
La lima y la naranja son frutas p˄q
La papa o la yuca son alimentos pvq
Si el hombre es ser vivo entonces es mortal p→q
Bety es soltera o casada pΔq
El bautismo es una sacramento p
Miguel es sacerdote p
El número dos no es impar ~p
No es cierto que Chiclayo es un país ~p
3 es número impar si y solo si 2 es par p↔q
Si amo a Dios y al prójimo, entonces soy feliz (p ˄ q) → r

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA

OPERACIONES ENTRE
PROPOSICIONES
CONJUNCIÓN. La palabra “y” es la conectiva
que cumple la función conjuntiva, que
consiste en unir dos proposiciones.
Simbolización o formalización: “p ٨ q” o “p •
q”. Se lee “p y q”
A las proposiciones que componen una
conjunción se las denomina conjuntivos
Tabla de verdad: V ˄ V≡ V

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
EJEMPLOS DE PROPOSICIONES CONJUNTIVAS

PROPOSICIÓN SIMBOLIZACIÓN VV
La lima y la naranja son frutas p˄q V ˄ V≡V
La papa es tubérculo, pero la yuca es alimento p˄q V ˄ V≡V
El perro es bípedo, sin embargo el gato es mamífero p˄q F ˄ V≡F
El bautismo y la confirmación no son ~p˄~q F ˄ F≡F
sacramentos
Los hombres son seres vivos y los vegetales no p˄~q V ˄ F≡F
2 no es un número primo y 3 es impar ~p˄q F ˄ V≡F
El Perú no es un país y Jaén no es continente ~p˄~q F ˄ V≡F

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
OPERACIONES ENTRE PROPOSICIONES
DISYUNCIÓN INCLUSIVA. La palabra “o” es la
conectiva que relaciona las dos proposiciones
atómicas, y es la expresión que cumple la función
disyuntiva en forma típica. Las proposiciones que
forman una disyunción se denominan disyuntivos

La proposición es una disyunción inclusiva cuando el

sujeto tiene la posibilidad de que se den ambas cosas
(predicados) o ambas alternativas
Simbolización o formalización: “p ٧ q” se lee “p o q”
Tabla de verdad: F v F≡ F

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
OPERACIONES ENTRE PROPOSICIONES
DISYUNCIÓN EXCLUSIVA. La palabra “o….o” es la conectiva
que relaciona las dos proposiciones atómicas, y es la
expresión que cumple la función disyuntiva en forma típica.
Las proposiciones que forman una disyunción se denominan
disyuntivos
La proposición es una disyunción exclusiva cuando el sujeto
tiene la posibilidad de que se cumpla una sola cosa
(predicado) o una sola alternativa

Simbolización o formalización: “p Δ q” se lee “p o q”

Tabla de verdad: V Δ V≡ F, F Δ F≡ F

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
EJEMPLOS DE PROPOSICIONES DISYUNTIVAS
INCLUSIVAS
PROPOSICIÓN SIMBOLIZACIÓN VV
La lima es una fruta o es dulce pvq V v V≡V
La papa es tubérculo o alimento pvq V v V≡V
El perro es cuadrúpedo o mamífero pvq V v V≡V
El bautismo es sacramento o ley estatal pΔq V Δ F≡V
Los hombres son mortales o inmortales pΔq V Δ F≡V
2 es un número par o impar pΔq V Δ F≡V
El Perú es una provincia o continente pΔq F Δ F≡F

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
OPERACIONES ENTRE PROPOSICIONES
CONDICIONAL. La expresión “si......, entonces” es la conectiva
que relaciona las proposiciones simples para formar la
proposición compuesta condicional, llamada también
implicación material o condicional material
La proposición que sigue a la palabra “si” recibe el nombre de
antecedente, y la proposición que sigue a la palabra “entonces”
recibe el nombre de consecuente
Simbolización o formalización: “p → q” se lee “ si p, entonces q”

Tabla de verdad: V → F≡ F

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
EJEMPLOS DE PROPOSICIONES CONDICIONALES

PROPOSICIÓN SIMBOLIZACIÓN VV
Si 3 es impar, entonces 4 es divisible por 2 p→q V → V≡V
Si Perú es un país, entonces 2<0 p→q V → F≡F
El perro es carnívoro, si come carne p→q V → V≡V
El médico es analfabeto si tiene título p→q V → F≡F
profesional
El hombre es ser vivo puesto que es inmortal p→q F → V≡V
Las papas son frutas puesto que son ácidas p→q F → F≡V

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA

OPERACIONES ENTRE PROPOSICIONES

BICONDICIONAL. La expresión “si y sólo si” es la que relaciona
dos proposiciones atómicas para formar la proposición
compuesta bicondicional, llamada también bicondicional
material
Los componentes del bicondicional reciben el nombre de
componente izquierdo y componente derecho
Simbolización o formalización: “p ↔ q” se lee “p si y solo si q”

Tabla de verdad: V ↔ V≡ V, F ↔ F≡ V

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
EJEMPLOS DE PROPOSICIONES BICONDICIONALES

PROPOSICIÓN SIMBOLIZACIÓN VV
6 es par si y sólo si es divisible por 2 p↔q V ↔ V≡V
Perú es un país si y sólo si Bolivia es distrito p↔q V ↔ F≡F
El perro es carnívoro si y sólo si come carne p↔q V ↔ V≡V
El médico es analfabeto cuando y sólo cuando p↔q F ↔ F≡V
es inmortal
El hombre es ser vivo si y sólo si es inmortal p↔q V ↔ F≡ 𝐅
Las plantas son vegetales cuando y sólo cuando p↔q V ↔ V≡V
son seres vivos

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
OPERACIONES ENTRE PROPOSICIONES
NEGACIÓN. La palabra “no” es la conectiva que en nuestro
idioma cumple mejor la función de negar la proposición
atómica
Existen otras expresiones en nuestro lenguaje que corresponden
a la negación, tales como: “es falso que”, “no es cierto que”, “no
ocurre que”, “no es el caso que”, “nunca”
Simbolización o formalización: “̴ p” se lee “ no p”

Tabla de verdad: ̴ V ≡ F, ̴ F ≡ V

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
EJEMPLOS DE PROPOSICIONES NEGATIVAS

PROPOSICIÓN SIMBOLIZACIÓN VV
5 no es un número par ~p V
No es cierto que Perú es un país europeo ~p V
No sucede que el perro es carnívoro ~p F
El médico no es analfabeto ~p V
Es falso que los hombre son mortales ~p F
Las plantas no son vegetales ~p F

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA

Trabajo
Dar dos ejemplos para cada operación lógica y determine su
valor de verdad de toda la proposición

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
LÓGICA PROPOSICIONAL
• JERARQUÍA DE LAS CONECTIVAS
La jerarquía de las conectivas, desde la más fuerte a la
más débil es
“si y sólo si”, “↔”
“si ..., entonces”, “→”

“y”, “٨ ”,“o”, “ ٧ ”, “o....o ”, “▲ ”

“no”, “~”
En las proposiciones formalizadas o simbolizadas que
hacen uso de los signos de agrupación (paréntesis,
corchetes y llaves) la jerarquía de las conectivas es
determinada por dichos signos de agrupación

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
• TABLA DE VERDAD
Mediante las tablas de verdad se determina de un modo
mecánico la verdad o falsedad de una forma proposicional (o
molecular) cualquiera dados los valores de verdad de las
fórmulas componentes
La fórmula para obtener los valores de verdad de las columnas
de la izquierda o columnas de referencia es 2𝑛 , n es el número
de proposiciones
Tautologías. Son aquellas cuya columna resultante está formada
solamente por uves (V)
Contradicciones. La columna resultante de la tabla de verdad
está conformada solamente por efes (F)
Contingencias. La columna resultante de la tabla de verdad de la
forma proposicional contiene uves (V) y efes (F)

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA

EJERCICIOS

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
LÓGICA PROPOSICIONAL
• RELACIONES LÓGICAS
Implicación. Decimos que una proposición P implica una
proposición Q si la tabla de verdad de la proposición P → Q es una
tautología, es decir, jamás ocurrirá que P sea verdadera y Q falsa

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
LÓGICA PROPOSICIONAL
• RELACIONES LÓGICAS
Deducibilidad. Decimos que la proposición P se deduce de la
proposición Q si la tabla de verdad de la proposición Q → P es una
tautología, esto es, no puede ocurrir que Q sea verdadera y P falsa

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA
LÓGICA PROPOSICIONAL
• RELACIONES LÓGICAS
Equivalencia. Dos proposiciones P y Q son equivalentes cuando P
implica Q y Q implica P.
P y Q son equivalentes si P ↔ Q es una tautología
La equivalencia de dos proposiciones la denotaremos por: “P≡Q”

JORGE CARLOS CHIRINOS SALAZAR

 LÓGICA

EJERCICIOS

JORGE CARLOS CHIRINOS SALAZAR