Formulario de Ciencias Lógica Proposicional

1. Concepto c) Informativa
La lógica Proposicional también llamada Busca afirmar algo. El enunciado es:
simbólica o matemática, es aquella  Aseverativo o Declaratorio
parte de la lógica que estudia las Expresa una característica o alguna
proposiciones y símbolos utilizados en relación entre los sujetos que
la formación de nuevas proposiciones intervienen en el enunciado.
que podrán ser verdaderas o falsas; - Nació varón.
señaladas por reglas formales. - El cuaderno es rojo.

2. Enunciado 3. Proposición
Es toda frase u oración que señala Es aquel enunciado aseverativo del cual
alguna idea. Cumple las siguientes se puede señalar si es verdadero o
funciones: falso, pero no ambos a la vez con
respecto a una realidad
a) Función Directiva
Su objeto es dar órdenes o hacer Preposición
pedidos. Los enunciados pueden ser:

 Interrogativos Enunciado Re alidad Verdadera

Su propósito es averiguar algo. aseverativo objetiva Falsa
- ¿Cuántos hermanos tienes?
- ¿Dominas Geometría?

 Imperativos o Exhortativos Observación:

Originan o cumplen una acción.
- ¡Estudia!  El valor de verdad o valor veritativo
- ¡Cállate! de una proposición, se refiere a que
si es verdad o falsa la proposición
b) Función Expresiva mencionada.
Busca comunicar sentimientos, deseos  Existen enunciados declarativos que
o actitudes. Los enunciados pueden ser: son mencionados con determinados
elementos que no pertenecen a
 Exclamativos o admirativos realidad alguna, en este sentido no
Expresan emociones es correcto afirmar que es verdadero
- ¡Qué ricura! o falso, son denominados
 Desiderativos pseudoproposiciones.
Señalan deseos o anhelos.  En la lógica proposicional interesa el
- ¡Qué ricura! significado de una proposición y la
- ¡Que triste! forma en que se presenta, ya que
por el uso del lenguaje se puede
encontrar de distintas maneras.

9
Formulario de Ciencias Lógica proposicional
 Aquellos enunciados que indican Las proposiciones simples pueden ser:
una pregunta, un orden, una  Predicativas
exclamación son expresiones no Cuando se atribuye una
proposicionales. característica a un sujeto.
Ejemplo:
4. Propiedades intrínsecas de las - Pedro estudia en el colegio
proposiciones.  Relacionales
a) Cantidad Cuando expresa una relación
 Universal: Totalidad de entre dos o más sujetos.
elementos. Ejemplo:
 Particular: Una agrupación; una - Estela y Ana son hermanas.
colectividad.  Individual
 Individual: Un solo singular. Referida a una sola persona u
objeto. Ejemplo:
b) Cualidad - Félix enseña álgebra.
 Afirmativas: Aparece en sentido  Particular
positivo. Referida a varias personas u
 Negativas: Es la oposición a lo objetos. Ejemplo:
positivo. - Algunas personas no
trabajan.
Nota: La cualidad no delimita los  Universal
valores “V” o “F” de la proposición. Si relaciona a todas las personas
u objetos de una misma
c) Modalidad naturaleza. Ejemplo:
 Asertótica o Aseverativa: Cumple - Todos los niños son
la función informativa pura son: pequeños.
(hechos establecidos, sobre
entendidas) Conectivos lógicos u operadores
 Apodíctica: Función informativa lógicos
demostrativa (postulados Son palabras o símbolos que enlazan
científicos). proposicionales simples, sin formar
 Problemáticas: Función parte de ellas, sean las proposiciones
informativa condicionativa “p”, “q”, luego las más conocidas son:
(probabilidad - posibilidad)
Símbolo
Operación Esque- Signifi-
Conector
Lógica ma cado
5. Clases de Proposiciones Lógico
a) Proposiciones simples o atómicas ~ Negación ~p no “p”
Son aquellas en la que la aparece � Conjunción p �q “p” y “q”

una afirmación o acción. Se � Disyunción p �q “p” o “q”

caracteriza por ser expresadas Disyunción o “p” o
D exclusiva
pDq
“q”
mediante oraciones que no utilizan si “p”,
conjunciones gramaticales y el � Condicional p�q entonce
adverbio “no”. Ejemplo: s “q”
“p”, si y
- Huancayo es ciudad del Perú. � Bicondicional p�q
sólo si “q”
- Martha tiene ocho años.

10
Formulario de Ciencias Lógica Proposicional
Tipos conectivos lógicos Tabla de verdad

1. Operador Monádico: Aquel que p q p �q

afecta solamente a una proposición V V V
atómica. La negación es el único V F F
operador monádico. F V F
F F F
2. Operador Diádico aquel que afecta
a dos o más proposiciones. Observación:
La conjunción es verdadera sólo si sus
Entre las principales tenemos: componentes son verdaderos.
 La disyunción
 La conjunción b) Disyunción
 La condicional Es aquella que vincula dos
 La bicondicional proposiciones mediante el conectivo “o”.

b) Proposiciones compuestas o  Disyunción débil o inclusiva

molecular La proposición formada es verdadera si
Es la unión de dos o más proposiciones alguna de las proposiciones que los
simples, enlazadas por medio de forman es verdadera o ambas son
conectivos. verdaderas.
Los valores de verdad de una o más Ejemplo:
proposiciones se pueden esquematizar - Maria estudia o juega.
por medio de una tabla de verdad.
Ejemplo: Tabla de verdad
- Félix es ingeniero y Alicia tiene 15
años. p q p �q
V V V
6. Operaciones Lógicas V F V
Son aquellas que utilizan proposiciones F V V
para transformarlas en otras, usando los F F F
conectivos lógicos.
Observación:
Conectivos Pr oposición La disyunción es falsa sólo si sus
Proposiciones + =
Lógi cos Compuesta componentes son falsos.
1 4 4 4 4 4 4 2 4 4 4 4 4 43
Operación Lógica
 Disyunción fuerte o exclusiva
La proposición formada es verdadera si
a) Conjunción
sólo uno de las proposiciones qué la
Es aquella que vincula dos
forma es verdadera.
proposiciones mediante el conectivo “y”,
o alguna expresión equivalente.
Ejemplo:
- O Belinda es limeña o arequipeña.
Ejemplo:
- Mery está trabajando y Robert está
Tabla de verdad
jugando.

11
Formulario de Ciencias Lógica proposicional
p q p �q V F F
V V V F V V
V F V F F v
F V V
F F F Observación:
La condicional o implicación tendrá un
Observación: valor de falso cuando el antecedente es
La disyunción es falsa sólo si sus verdadero y el consecuente falso en los
componentes son falsas. demás casos es verdadero.

 Disyunción fuerte o exclusiva d) Bicondicional

La preposición formada es verdadera si Es aquella que vincula dos
sólo una de las proposiciones que la proposiciones mediante el conectivo “si
forma es verdadera. y sólo si” o expresiones equivalentes.
Ejemplo: Ejemplo:
- O Belinda es limeña o arequipeña. - Alicia es madre de Pedro si y sólo si
Pedro es hijo de Alicia.
Tabla de verdad
Tabla de verdad
p q p Dq
p q p�q
V V V
V F V V V V
F V V V F F
F F F F V F
F F V
Observación:
La disyunción exclusiva es verdadera Observación:
sólo si sus componentes tienen valores Cuando ambas proposiciones tienen el
diferentes. mismo valor veritacional, la proposición
compuesta es verdadera.
c) Condicional
Es aquella que toma dos proposiciones, e) Negación
llamando a la primera antecedente y a Es una operación que afecta a una
la segunda consecuente uniéndolas a proposición cambiándole su valor de
través del conectivo “sí … entonces” o verdad. Utiliza el adverbio “no”.
expresiones equivalentes.
Ejemplo:
Ejemplo: Proposición:
- Si Maria es limeña entonces es - Alvaro viaja a Puno.
peruana. Negación:
- Alvaro no viaja a Puno.
Tabla de verdad Observación:
A la expresión utilizada en la
p�q representación de una proposición se le
p q denomina esquema molecular o
V V V fórmula proposicional.

12
Formulario de Ciencias Lógica Proposicional
1‫ڮ‬
P(q,r): (q r) 4 3q V V V
42
Esquema molecular V F F
F V F
1 4�4q)
2�
T(p,q,r): (p : r)
4(43 F F F
Esquema molecular
3. Según la operación lógica, se asigna
Los valores (“V” o “F”) correspondientes el valor de verdad a las
a un esquema molecular se denominan combinaciones (“V” y/o “F”) de las
funciones veritativas. variables proposicionales.

7. Tablas de verdad p q p �q
Son diagramas que permiten señalar la
verdad o falsedad de una posición V V V
representada a través de un esquema V F F
molecular. F V F
F F F
Las tablas de verdad utilizan cuadros de
doble entrada con la distribución 8. Esquemas moleculares
siguiente: Representa una proposición compuesta
y como tal ésta tiene un valor de verdad.
Hecha la tabla de verdad de un
esquema molecular caben tres
posibilidades.

a) Tautológico
Si es evaluar todas las posibles
ordenaciones de los valores veritativos
de las variables proposicionales que la
Elaboración de las tablas de verdad
componen siempre resulta verdadero.
1. Dado el esquema molecular “ p �q ” Ejemplo:
corresponde a una proposición Sea la proposición:
conjuntiva, se identifica las variables (p � q) �p
proposicionales que lo forman y se
ubican en la parte superior de la tabla. Luego su tabla de verdad
pq p �q P q (p � q) � p
V V V V
2. A continuación se ubican en V F F V
la parte inferior del margen, F V V V
todas las posibles F F V V
combinaciones de los valores b) Contradicción
de verdad de las variables Si es evaluar todas las ordenaciones de
proposicionales. los valores de verdad de las variables
p q p �q proposicionales que la componen
resulta falso.
Ejemplo:
Sea la proposición
13
Formulario de Ciencias Lógica proposicional
[ (p �q) �p ] �: q “P” implica lógicamente “Q”
“P” es condición suficiente para “Q”
Luego
También “Q” es condición necesaria
para “P”.
p q [ (p �q) �p ] �: q
Implicaciones notables
V V V F F
V F F F V
a) Principio de Desligamiento (Modos
F V V F F
Ponens)
F F V F V
(p �‫ٮ‬
(p q) q
c) Contingencia
b) Principio de Contraposición (Modos
Si es evaluar su tabla de verdad
Tollens)
contiene al menos un verdadero y al
( : q �‫ٮ‬
(p q)) : q
menos un falso.

Ejemplo. c) Principio de Simplificación

Sea la proposición: (p �q) � p
(p � q) � p
d) Principio de Inferencia Equivalente
Luego su tabla de verdad (p ٫�
(p q)) q

(p � q) � p e) Principio de Adición
P q
p � (p �q)
V V V V V
V F F V V f) Principio de Silogismo Hipotético
F V V F F ((p ‫ٮ‬
‫�ٮ‬q) (q r)) (p r)
F F V F F
g) Principio de Silogismo Disyuntivo
9. Implicación y equivalencia lógica ( : p �(p �q)) � q

A. Implicancia Lógica
h) Principio de Conjunción
Un esquema condicional que es
(p �q) � (q �p)
tautológico, corresponde a una
implicancia lógica.
i) Principio de Transitividad Simétrica
Sean: ”P” y “Q” dos proposiciones ((p �٫ޫ q) (q r)) (p r)
moleculares y P � Q es un esquema j) Ley del Absurdo
tautológico, entonces: (p � (q �: q)) � : p
“P implica lógicamente a Q”
Se representa: P � Q Leyes de Implicación
� P : Hipótesis Sea: V una tautología, “Q” una
Donde: � contingencia, “F” una contradicción.
�Q: Tesis
1ro. Q � V 2do. V � V
3ro. F � V 4to. F � Q
Se lee:

14
Formulario de Ciencias Lógica Proposicional
5to F � F
f) Ley de Involución (doble negación)
B. Equivalencia Lógica  : ( : p) �p
Un esquema bicondicional que es
tautológico, corresponde a una g) Ley de Absorción
equivalencia lógica.  p ‫�ں‬ (p q) p
 p ‫�ٺ‬ (p q) p
Sean: “P” y “Q” dos proposiciones
moleculares y “ P � Q ” es un esquema  p �‫�ں‬( : p q) p q
tautológico, entonces:  p �‫�ٺ‬( : p q) p q ç

“P es lógicamente equivalente a Q“ h) Leyes Condicionales

Se representa: P � Q o P �Q  p � q �: p �q
Se lee:  : (p � q) �p�: q
“P” es lógicamente equivalente a “Q”
“P” es condición necesaria y suficiente i) Leyes Bicondicionales
para “Q”.  p ‫�ٮ‬ q �(p
� q) (q p)
 p � q �(p �q) �( : p �: q)
Equivalencias Lógicas Notables

a) Ley de Idempotencia j) Leyes de Complemento

 p �q = q �p V: una tautología
F: una contradicción
 p‫ ں‬p p
 p‫ ں‬: p V
b) Ley Commutativa  p‫ ٺ‬: p V
 p �‫ٺ‬q q p  : V �F
 p �‫ں‬q q p  : F �V
 p � q �q � p  : ( : F) ޺ F� : ( : p) p

c) Ley Asociativa k) Disyunción Fuerte

 p ��‫�ٺ‬
(q r) (p q) r
 p � q �(p �q) �: (p �q)
 p ��‫�ں‬
(q r) (p q) r
 p � (q � r) �(p � q) � r l) Expansión
 p �p �(q �: q)
d) Ley Distributiva
 p �p �(q �: q)
 p ���‫�ں‬
(q r) (p q) (p r)
 p ���‫�ٺ‬
(q r) (p q) (p r) m) Transposición
 p ‫�ٮ‬ (q‫�ٺ‬ r) (p q) (p r)  p � q �: q � : p
 p ‫�ں�ڮ‬(q r) (p q) (p r)  p � q �: q � : p

e) Ley de Morgan n) Existencia del Elemento Neutro

 : (p �‫ٺ‬q) : p : q ‫ٺ‬ ‫ٺٺٺٺٺٺٺٺٺٺٺ‬
 V p p V p
 : (p �‫ں‬q) : p : q ‫ٺ‬ ‫ٺٺٺٺٺٺٺٺٺٺٺٺ‬
 F p p F F

15
 Formulario de Ciencias Lógica proposicional
‫ں‬ ‫ٺٺٺٺٺٺٺٺٺٺٺں‬
 F p p F p
‫ں‬ ‫ٺٺٺٺٺٺٺٺٺٺں‬
 V p p V V
 p �‫�ں‬ ( : p q) p q
 Si la proposición es falsa, el
 p �‫�ٺ‬ ( : p q) p q circuito está abierto y no pasa
corriente el circuito no funciona.
ñ) Implicación Material
 p � ޺q : p q
 p � ޺q : (p : q) P

o) Doble Implicación
 p �‫ٺٺٺٺٺ�ٺٺٺٺ‬
q‫ۺ‬�‫(ۺۺ‬p q) (q p) a) Circuito Serie
Es aquel que está constituido por
 p �‫ٺٺٺٺٺ�ٺٺٺٺ‬
q‫ۺ‬�‫ۺۺ‬ ( : p q) ( : q p) interruptores dispuestos uno detrás de
‫ ۺ‬ p D‫ۺۺۺۺۺۺۺۺۺۺۺۺۺۺۺۺۺۺۺ‬
q : (p q) otro.

p) Mutación Observación:
 p ���q ޺ ޺r q p r Para que el circuito funcione, todos los
interruptores deben estar cerrados. El
circuito serie representa la conjunción
10. Circuitos Lógicos de dos o más proposiciones.
Un circuito lógico es la representación
gráfica de una o más proposiciones, p �q se representa:

utilizando los esquemas denominados
p
circuitos eléctricos.
 p �r �q se representa:
Las proposiciones simples serán
presentadas como interruptores en el p q r
circuito, abriendo o cerrando el circuito.
P b) Circuito Paralelo
Es aquel que está constituido por
Proposición
interruptores dispuestos uno a
continuación del otro. Si un circuito
Equivale a: paralelo representa la disyunción débil
de dos o más proposiciones.

Interruptor  p �q se representa:
p

Relacionado el circuito con una q

lámpara.
 p �q �r se representa:
 Si la proposición es verdadera, el p
círculo está cerrado y pasa corriente
el circuito funciona. q
r

P 16
Formulario de Ciencias Lógica Proposicional
El circuito que representa a la 2. En lógica Proposicional se usan los
condicional p � q , será: cuantificadores para convertir una
-p proposición abierta en concreta.

q b) Cuantificador
Es una expresión que indica si el sujeto
Dado que: p � q �: p �q o variable de una función proposición se
toma en todo su dominio o en parte de
El circuito que representa a la él.
bicondicional p � q , será:
-p -q Cuantificador Universal
Señalado como “para todo”, indica que
todos los valores del dominio de la
q p
variable deben hacer que la función
Dado que: Proposicional sea verdadera.
p ‫�ٮ‬q �:�(p q) (q p)
Se representa: “ " ” (para todo,
Observación: cualquiera que sea).
Los esquemas moleculares que pueden
ser representados por circuitos lógicos Importante:
son los conjuntivos o disyuntivos, luego, En general, dada la función
los esquemas condicionales o Proposicional P(x) la proposición
bicondicionales pueden ser concreta será:
transformados a esquemas conjuntivos "x: P(x) o "x/P(x)
o disyuntivos, mediante la aplicación de Se lee: “Para todo “x” tal que P(x) ”
las equivalencias notables.
Cuantificador Existencial
11.Cuantificadores Señalado como “existe algún”,
significa que habrá algún elemento del
a) Proposición abierta dominio de la variable que hace de la
Es una proposición que contiene varias función Proposicional una proposición
variables, su valor de verdad depende verdadera.
de los valores que se asignan a las
variables que contiene: Se representa “ $ ” (existe algún, existe
Ejemplo: por lo menos).
Sea la proposición P(x) : “x” es un
número impar. Es una proposición Importante:
abierta, su verdad depende de los de En general, dada la función
“x”. Proposicional P(x) la proposición
concreta será:
Observaciones: $x : P(x) o $x / P(x)
1. Los posibles valores de las variables Se lee: “Existe algún “x” tal que P(x) ”
de una función Proposicional forman un
conjunto llamado Dominio.
12. Negación de proposiciones que
contienen cuantificadores
17
Formulario de Ciencias Lógica proposicional
Se presentan las siguientes formas: Observación:
�: ("x: P(x) ) �$x: - P(x)
� ...(1) Un argumento es la proposición que se
� forma al unir mediante un condicional, la
�- ( $ x: P(x) ) �" x: - P(x) ...(2)
conjunción de las premisas y la
conclusión.
Al negar una proposición que contiene
cuantificadores, se cambia el Para el ejemplo: El argumento es:
cuantificador respectivo (universal por el P‫ٮ‬
1 P2 C
existencial y viceversa) y se niega la
proposición abierta respectiva. P1
P2
13. Inferencia Lógica
P3 P1 ‫�ٮ‬
P2 P3 ... Pn C
Si de una o más proposiciones llamadas .
premisas, se deriva mediante la .
deducción otra proposición llamada .
conclusión, se ha formado una Pn
inferencia. \C

Importante: 14. Análisis de una inferencia

Una inferencia es válida si las premisas a) Al analizar una inferencia para
implican lógicamente la conclusión. Las determinar su validez, se determina el
inferencias lógicas se rigen por esquema al cual pertenece el
principios lógicos o tautologías. argumento. Si el esquema es
tautológico, la inferencia es válida; si
Inferencia: Premisas � Conclusión resulta contradictorio o consistente, la
inferencia es inválida.
Para formar el esquema de una
inferencia se escriben las premisas b) Para analizar la validez de un
respectivas una debajo de otra, argumento se utiliza también el
terminadas las premisas se traza una siguiente método.
barra y debajo de ella se escriben la
conclusión.  Se asigna el valor de verdad a
cada una de las premisas y de
Ejemplo: falsedad a la conclusión.
Si hoy es martes, no juego �  Se obtiene los valores de verdad
� Premisas
Hoy es martes � de cada variable que forma parte del
\ No juego } Conclusión argumento.
 Si las variables que se repiten
Lo que puede ser representado: dos o más veces tienen sus mismos
valores, la inferencia no es válida.
P1 : Si hoy es martes  Si una misma variable posee
P2 : Hoy es martes valores diferentes, la inferencia es
válida.
\ C : No juego
15. Complementos
a) Principios Lógicos
18
Formulario de Ciencias Lógica Proposicional
Dentro de la lógica formal existen
principios fundamentales o básicos que Las tablas de verdad de estas cuatro
sirven para analizar la estructura de los proposiciones son como sigue:
razonamientos.
Condicional Recíproca
Primer Principio: De Identidad pq p�q q�p
Toda proposición se implica a sí
misma. V V V V
Expresión formal: V F F V
p�q F V V F
F F V V
Ejemplo:
Si estás trabajando, entonces lo estas. Inversa Recíproca
pq : p �: q : q �: p
Segundo Principio: De No V V V V
contradicción V F V F
Una proposición no puede ser F V F V
verdadera o falsa simultáneamente. F F V V

Expresión formal: De las tablas se puede afirmar:

: (p �: q)  Una proposición condicional p � q
y su contrarecíproco : q � : p son
Ejemplo: equivalentes.
No es cierto que 28 es impar y par. p � q �: q � : p

Tercer Principio: Del Tercio Excluido  La recíproca de la condicional

Una proposición es verdadera o p � q señalada como q � p y la
falsa, no existe una tercera inversa de la misma condicional
posibilidad. : p� : q.
p �: q q � p �p � : q
Ejemplo: c) Arreglos de tablas de verdad
Él trabaja o no trabaja. Al utilizar las tablas de verdad para
señalar la equivalencia entre
b) Variaciones de la Condicional proporciones es conveniente reconocer
Conocida una proposición p � q , los arreglos que se obtienen en las
asociada a ella, se forman otras tablas de verdad de proposiciones que
condicionales que contenga a “p” y “q”. utilizan dos variables proposicionales.
 Recíproca: Ejemplo:
p�q
Dada la siguiente tabla:
 Inversa o contraria:
: p �: q
p q p �q q �p

 Contrarecíproca:
: q� : p
19
Formulario de Ciencias Lógica proposicional
V V V V Mucho más perfeccionados aparecen
V F F V los gráficos que Venn quien los propuso
F V F F cien años después de los de Euler.
F F F F Estos diagramas tienen las siguientes
peculiaridades:
Se observa los arreglos de las variables
proposicionales: a) Se representan por círculos
intersectados.
p: VVFF � �4 posibles valores �
�� b) Para indicar la falta de información
q: VFVF � � para cada variable �
� sobre una clase, se dejan en blanco
el área que la representa.
De la conjunción y disyunción: c) Para negar la existencia de una
p �q: VFFF � �4 posibles valores � clase se sombrea el área que la
�� � representa.
p �q: VVVF � � para cada operación �
d) Para afirmar la existencia de una
clase se inserta x en el área que la
Diferentes arreglos que se puede representa.
obtener:
Un ejemplo de esta manera de
Valores Caracterís- representación gráfica es la siguiente:
Esquema
Veritativos ticas Todos los S son P Ningún S es P
p �: p VVVV Tautología S P S P
p �q Disyunción
VVVF débil
q�p VVFV Recíproca
Primera
p VVFF variable
p�q VFVV Condicional
Segunda
q VFVF variable
p�q VFFV Bicondicional
p �q VFFF Conjunción
: (p �q) FVVV N. Conjunción
N.
: (p � q) FVVF Bicondicional
: q FVFV N. 2da. variable
: (p � q) FVFF N. Condicional
: p FFVV N. 1ra. Variable
: (q � p) FFVF N. Recíproca
N. Disyunción
: (p �q) FFFV débil
p �: p FFFF Contradicción

: : Significa negación

Los diagramas de Venn

20