Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
LógicaProposicional
Puno, Perú
2018
Lógica Proposicional
PRÓLOGO
El Autor
i
Lógica Proposicional Fidel Vera Obeso
ÍNDICE
PROLÓGO
OBJETIVOS
PRE-TEST
CONTENIDO
POST – TEST-----------------------------------------------------------------------------------------
BIBLIOGRAFÍA---------------------------------------------------------------------------------------48
ii
Lógica Proposicional Fidel Vera Obeso
OBJETIVOS
OBJETIVO TERMINAL:
Identificar, formalizar y simplificar proposiciones.
OBJETIVOS ESPECÍFICOS:
1) Conceptualizar la lógica como ciencia y reconocer su importancia en el
avance científico.
iii
Lógica Proposicional Fidel Vera Obeso
PRE - –
POST TEST
TEST
(03) 1 i i 2 1
(04) El aire contiene oxígeno e hidrógeno
(05) The earth rotates around the sun
No son proposiciones compuestas:
a) 1, 2, 3 y 5 b) 1, 2 y 3 c) 1 y 5 d) Sólo 1 e) 1 y 2
02) Si la proposición:
p q) r (r s) es verdadera
Hallar el valor de verdad de:
I. p q) (r s)
II. p s) r w p)
III. q r w p pq)
Son ciertas:
a) VVV b) FVV c) FFV d) FFF e) VFV
Q = ( p q) r
R = q (p r)
iv
Lógica Proposicional Fidel Vera Obeso
a) q b) q c) p
d) p e) p q
NOMBRE :
FECHA :
TIEMPO : 1 HORA – 30 MINUTOS
v
Lógica Proposicional Fidel Vera Obeso
OBJETIVO N° 01
ACTIVIDAD N° 01
Conceptualizar la lógica como
ciencia y reconocer su
importancia en el avance
científico.
CONCEPTUALIZACIÓN:
Considerando que la lógica estudia tanto la estructura como el
contenido del pensamiento, conceptualmente afirmamos que “La
Lógica (en general) es la ciencia que estudia las leyes dialécticas y
lógico-formales, los métodos, los procedimientos, las propiedades y
las relaciones; sobre la base de las teorías del pensamiento”.
ESQUEMÁTICAMENTE:
LA LÓGICA Y LA CIENCIA:
Cuando el gran físico Albert Einstein inició sus investigaciones
sobre el micromundo, no lo hizo sobre la base de nada, sino que
tuvo que estudiar y someter a crítica las leyes y teorías de la física
clásica del macromundo. Es a partir de estas premisas que fue
estableciendo deducciones, inducciones y analogías que
finalmente significan la creación de una nueva teoría: la teoría de
la relatividad. Sin embargo no fue suficiente que Einstein
conociese para sí, intersubjetivamente, sino que era necesario
que el mundo, la humanidad también lo conociese, de allí que
tuviese el autor que publicar, hacer público sus investigaciones.
Este ejemplo nos muestra que la ciencia, puede ser entendida
como proceso (investigación científica) y también como producto
(publicación o exposición de los resultados de la investigación
científica).
En ambos casos, la ciencia necesita de la lógica, sin ésta no
puede desenvolverse.
a) Como proceso la ciencia necesita de la lógica en tanto leyes,
procedimientos, métodos, propiedades y relaciones sobre la
base de las formas del pensamiento, para que el científico en
confrontación con la realidad, alcance la verdad objetiva.
Aquí el peso mayor recae en la lógica del contenido (condición
suficiente para la ciencia).
ACTIVIDAD N° 02
ACTIVIDAD N° 01 OBJETIVO N° 02
Definir e identificar
proposiciones.
EL TÉRMINO:
Es la expresión, manifestación, explicitación lingüística del
concepto. Es decir, es la palabra o palabras con la cual se expresa
un conjunto. Así:
El concepto estricto “cerebro” se expresa con un solo término
o palabra.
El concepto estricto “ Universidad Nacional del Santa” se
expresa con varios términos o palabras.
EL JUICIO:
Es una relación o conjunto de conceptos que se caracterizan
por construir una afirmación o aseveración de algo. Es una
forma, una estructura del pensamiento que objetivamente es
verdadero o falso.
LA ORACIÓN:
Convencionalmente, es una palabra o conjunto de palabras con
sentido o significado propio.
2) Expresivas o no Aseverativas:
a) Exclamativas (Sentimientos, interjecciones)
Ejm.: ¡Viva el Perú!
b) Imperativas (Órdenes)
Ejm.: Silencio
c) Desiderativas (Deseos, súplicas)
Ejm.: Quiero viajar al Cuzco
d) Interrogativas (Preguntas)
Ejm.: ¿Qué hora es?
LA PROPOSICIÓN:
Es la expresión lingüística del juicio, de cuyo contenido o
significado se puede saber con certeza si es verdadero o falso
empíricamente y que generalmente se expresa como oración
declarativa. A nivel de pensamiento se llama juicio y a nivel de
lenguaje se llama proposición, por eso se dice que las
proposiciones son la envoltura material de los juicios.
SE REFLEJA
JUICIO OBJETO
EJEMPLO 1
Solución:
La característica fundamental de una proposición es verdadera o
falsa empíricamente. De acuerdo a esto:
Son proposiciones:
1, 2, 3, 8 y 10 (oraciones aseverativas)
15 (fórmula matemática)
No son proposiciones:
5y6 (figuras literarias)
4 (interjección)
13 (refrán)
14 (superstición)
CLASES DE PROPOSICIONES:
Simples, atómicas o elementales: Aquellas que carecen de
conectores lógicos.
Compuestas, moleculares o coligativas: Aquellas que tienen uno
o más conectores lógicos.
EJEMPLO 2
05) i2 -1
09) si y sólo si x = h
Solución:
4 y 13 son proposiciones simples pues carecen de conectores
lógicos.
ACTIVIDAD N° 02
(02)
(03)
(04) El aire contiene oxígeno e hidrógeno
(05) The earth rotates around the sun
No son proposiciones compuestas:
a) 1, 2, 3 y 5 b) 1, 2 y 3 c) 1 y 5 d) Sólo 1
e) 1 y 2
ACTIVIDAD N° 01 OBJETIVO N° 03
Formalizar proposiciones
usando variables
proposicionales y los
conectivos lógicos, y
determinar su valor de verdad.
El Operador de Nicond
Símbolo: /
Esquema lógico P/q, ~p ~q, ~ (p q).
Lectura “no p ó no q”
“es falso que no p y no q”
La Conjunción
Símbolo: , ., &
Esquema lógico p q, p.q , p&q
Lectura “p y q” “p también q”
“p pero q” “p del mismo modo q”
“p aunque q” “p de la misma forma q”
“p sin embargo q” “p tal como q”
“p incluso q” “p al igual que q”
“p así como q” “p no obstante q”
etc... “p es compatible con q”
“no sólo p también q”
“siempre ambos p con q”
“tanto p como, cuanto q”
El operador de Sheffer
Símbolo:
Esquema lógico p q, ~p~q, ~(pq)
Lectura “ni p ni q” “es falso que p ó q”
El Condicional
Símbolo: ,
Esquema lógico p q, p q
Lectura “si p entonces q” “ya que p bien se ve que q”
“cuando p así pues q” “siempre que p por consiguiente q”
“con tal de que p es obvio “como quien que p por lo cual q”
que q” “en el caso de que p en tal sentido
“en virtud de que p es q”
evidente q” “toda vez que p en consecuencia q”
“dado p por eso q” “en la medida que p de allí q”
“en cuanto p por tanto q” “en el caso de p en este caso q”
“de p deviene q” “p impone q”
“de p deducimos q” “p es condición suficiente para q”
“p sólo si q” etc...
En la condicional:
p q
e s e s
El Antecedente El consecuente
La Hipótesis La tesis
La causa El efecto
La La Conclusión
Premisa
Después de las siguientes palabras va el antecedente de una
condicional (INDICADORES DE PREMISAS):
puesto que como es indicado por
dado que la razón es que
a causa de por las siguientes razones
porque se puede inferir de
pues se puede derivar de
se sigue de se puede deducir de
como muestra en vista de que
ya que cuando
si cada vez que, siempre que, a
condición de que, es condición
necesaria para, es insuficiente para.
s r
El Bicondicional
Símbolo: ,
Esquema lógico p q, p q
Lectura “p sí y sólo si q” “p es equivalente, equivale a q”
“p se define como q” “p siempre que y sólo cuando q”
“p es lo mismo que q” “p cada vez que y sólo si q”
“p es idéntico a q” “p es equipolente a q”
etc.... “p es de la forma q”
“p es condición necesaria y
suficiente para q”.
EJEMPLO 1
Formalizar o simbolizar las siguientes proposiciones.
4) Una condición necesaria para que Rocío no sea premiada con un libro
p
es que estudie matemáticas y no apruebe el examen.
(q r)
p ( q r)
En el álgebra de Boole, V es 1
F es 0
La parte sombreada es la regla de operación de cada operador
V entonces F
p q es
Si p es V
F entonces V
p q es
V entonces V
p q es
Si p es F
F entonces F
p q es
EJEMPLO 2
Si la proposición q r es falsa, el valor de verdad de las
siguientes proposiciones:
I. r (p r)
II. ~ (q r)
III. (r ~ q) p
IV. p (q r)
Son respectivamente:
(a) FVFV (b) VVFV c) VFVF d) FFFV e) FVVF
Solución:
Sabemos que:
qrF
q V
VF r F
F
Luego:
I. r (p r) F
F V
F
II. (q r) V
F
V
III. ( r q) p V
( F F) p
F p cualquiera sea el valor de verdad de p
V
IV. p (q r) F
P F
F cualquiera sea el valor de verdad de p
Respuesta (e)
EJEMPLO 3
Dadas las proposiciones:
Solución:
Del dato, q F, además
(r q) ( r p) F
V F
(i) r p F (ii) rqV p F
q F
V F VF r V
I. r (p q) V
V (V V)
V V
V
III. ( r p) (q p) F
(V V) (F F)
V F
F
Respuesta (c)
EJEMPLO 4
Si se sabe que:
r s t (p q) r t) s qp)
Solución:
Para que toda la proposición sea verdadera, cada una de las
expresiones entre llaves debe ser verdadera, o sea:
(i) r s) t p q) V
(ii) r t) p q p) V
De (ii)
r t) s q p) F
V F
r t) s V
s V
V V
q p) F (q p) F
q p V
F V
r s) t F t F
V F r V
I. p q r ( t p ) r V
V V ( F p ) V
V V V
F V
V
II. (r s) t (p q) F
(V V) V (V)
(V V F
V F
F
F ( F F)
F V
F
Respuesta (b)
ACTIVIDAD N° 02
C. 10. Si la proposición:
(p q) (p r) es falsa,
Se afirma que:
I. p q es falsa
II. r q es verdadera
III. q p es verdadera
Son ciertas:
a) Sólo I b) sólo II c) Sólo I y III
d) Sólo II y III
11. Si la proposición:
(p q) (q r) es falsa, luego:
I. (p q ) no es falsa
II. (q s) no es falsa
III. (q p) es verdad
Son ciertas:
a) Sólo I b) Sólo II c) Sólo I y III
d) Sólo II y III e) I, II y III
12. Si la proposición:
p q) r (r s) es verdadera
Hallar el valor de verdad de:
I. p q) (r s)
II. p s) r w p)
III. q r w p sq)
Son ciertas:
a) VVV b) FVV c) FFV d) FFF e) VFV
ACTIVIDAD N° 01 OBJETIVO N° 04
Determinar cuándo una
proposición compuesta es
una tautología, contradicción
o contingencia.
EJEMPLO 1
Determinar, previa evaluación; si cada uno de los siguientes
esquemas moleculares es una tautología, contradicción o
contingencia.
1. p q r q p q q r
2. p q r r (p q
3. p q r ) (p r q
1. n° de variables proposicionales: 3
Total de valores por cada variable: 23 = 8
1 2 3 4 5 6 7 8
p q r q p 1 rq 3 2 4 23 6 57
1 1 1 0 1 1 0 0 1 0 1
1 1 0 0 1 0 1 1 0 1 1
1 0 1 1 0 0 1 0 1 0 1
1 0 0 1 0 0 1 0 1 0 1
0 1 1 0 0 1 0 0 1 0 1
0 1 0 0 0 0 1 0 1 0 1
0 0 1 1 1 0 1 1 0 1 1
0 0 0 1 1 0 1 1 0 1 1
1 2 3 4 5 6 7 8 9
p q r p 1q r 23 q pv5 6 r7 48
1 1 1 0 0 1 1 0 1 0 0 0
1 1 0 0 0 1 1 0 1 0 0 0
1 0 1 0 0 1 1 1 1 0 0 0
1 0 0 0 0 1 1 1 1 0 0 0
0 1 1 1 1 0 0 0 0 1 1 0
0 1 0 1 1 1 1 0 0 1 0 0
0 0 1 1 0 1 1 1 1 0 0 0
0 0 0 1 0 1 1 1 1 0 0 0
3.
p q r ) (p r q
1 2 3 4 5 6 7 8
p q r r q1 p2 p 4r q 56 37
1 1 1 0 0 1 0 1 0 0 0
1 1 0 1 1 1 0 0 0 1 1
1 0 1 0 1 1 0 1 1 1 1
1 0 0 1 1 1 0 0 1 0 0
0 1 1 0 0 0 1 1 0 0 0
0 1 0 1 1 1 1 1 0 0 0
0 0 1 0 1 1 1 1 1 1 1
0 0 0 1 1 1 1 1 1 1 1
ACTIVIDAD N° 02
1. p q p p q p q
2. p q q p p q p q
4. p q) r q r p p
5. (p q) (q p) q (p r)
OBJETIVO N° 05
ACTIVIDAD N° 01
Determinar cuándo dos
proposiciones compuestas
son lógicamente esquiva-
lentes y cuando una implica
a la otra.
EJEMPLO 1
Dados los siguientes esquemas moleculares:
A = p q) ( r p
B = p (r q)
C = q ( r p)
Solución:
1 1 1 1 1 1 0 0 1 0 0 0 1 0 1 0
1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0
1 0 1 0 1 1 1 0 0 0 1 1 1 0 1 0
1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0
0 1 1 1 1 0 1 1 0 0 0 0 1 0 1 1
0 1 0 1 1 0 0 1 1 1 1 0 1 1 1 1
0 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1
0 0 0 1 1 0 1 1 0 1 0 1 1 1 1 1
EJEMPLO 2
Dados los siguientes esquemas moleculares:
A=p q
B = (p r)
C=qp
D = (q r)
Determinar:
1) Si A implica a C
2) Si B es implicado por D
3) Si C implica a la disyunción de A, B y D
4) Si A entonces B está implicado por la negación de C.
A C A C
p q (p q) qp p q qp)
1 1 1 0 0 1 1
1 0 0 1 1 1 1
0 1 1 0 0 0 1
0 0 1 0 1 1 1
D B D B
p q r (q r) (p r) qr (pr)
1 1 1 1 0 0 0 1 0
1 1 0 0 1 1 0 1 1
1 0 1 0 1 0 0 1 1
1 0 0 0 1 1 0 1 1
0 1 1 1 0 0 0 1 0
0 1 0 0 1 1 1 0 1
0 0 1 0 1 0 0 1 1
0 0 0 0 1 1 1 0 1
C A B C (A B)
p q r (q p) pqpr) qppq pr)
1 1 1 0 1 1 0 0 0 1
1 1 0 0 1 1 0 0 0 1
1 0 1 0 1 0 1 1 0 1
1 0 0 0 1 0 1 1 0 1
0 1 1 1 0 0 1 1 0 1
0 1 0 1 0 0 1 1 1 1
0 0 1 0 1 1 0 0 0 1
0 0 0 0 1 1 0 1 1 1
ACTIVIDAD N° 02
1. P=p r q)
Q = ( p q) r
R = q (p r)
realidad.
Determinar:
1) Si P implica a Q
2) Si R es implicado por Q
3) Si Q implica a R
4) Si R implica a la disyunción de P y Q
y R.
negación de Q.
ACTIVIDAD N° 01 OBJETIVO N° 06
Enunciar, demostrar y
aplicar las principales leyes
lógicas o tautológicas
notables.
1) Identidad
(a) p p T (b) p p p
2) No Contradicción:
(p p) C T
3) Tercio Excluido:
p p T
4) Idempotencia:
(a) p p p (b) p p p
5) Conmutativa:
(a) p q q p (b) p q q p
6) Asociativa:
(a) p (q r) (p q) (b) p (q r) (p q) r
7) Distributiva:
(a) p ( q r) (p q) (p r)
(b) p ( q r) (p q) (p r)
10) Morgan:
(a) (p q) p q p/q
(b) (p q) p q p q
11) Condicional:
(a) p q p q
(b) (p q) p q
13) Transposición:
(a) p q p q
(b) (p q) q p
14) Transitiva:
(a) (p q) (q r) (p r)
(b) (p q) (q r) (p r)
EJEMPLO 1:
Solución:
Consideramos p = hace frío q = congela
Formalizando:
No es el caso que, p y no q
EJEMPLO 2:
Solución:
Formalizando:
p = pagar 50 soles
q = ser socio
r = ingresar al club.
Hay que p y q para r.
(p q) r por condicional
(p q) r
Luego:
“No es cierto que se pague 50 soles y sea socio, o ingrese al club”.
Respuesta (c)
EJEMPLO 3:
Formalizando:
p = 17 es primo
q = 30 es par
(p q) q p q p Por absorción
Respuesta (c)
EJEMPLO 4:
Solución:
Formalizando:
Sea p = viene a casa
q = se va de viaje
p ó q, pero no p; en consecuencia q
(p q) p q
p (q q) asociativa
Respuesta (a)
EJEMPLO 5:
Solución:
Formalizando:
Sea p = obtengo mi título
q = ingreso a la carrera magisterial
Cuando p entonces q, pero no q; luego no p
(p q) q p
(p q) q p Condicional
p q) p Absorción
p q) p Condicional
(p q) p Morgan
q (p p) Asociativa
q T Tercio excluido
T Elemento neutro para
Respuesta (e)
Solución:
(a) (p q) q p (p q) (q) p Condicional
(p q) q p Involución
(p q) q p Morgan
(p q) q p Absorción
qp Absorción
Si definimos @ como:
p @ q p p (q t r) p
Simplificar:
(p q) @ (q p) @ (p q)
a) p b) p q c) p d) q p e) p q
Solución:
Por dato, tenemos:
p @ q p p (q t r) p
Por absorción
p
Es decir p@qp
Respuesta (e)
ACTIVIDAD N° 02
a) r b) p r c) T d) C e) (p q) r
a) T b) C c) p d) p q e) p q
6. Simplificar el esquema:
p (p q)
a) p q b) q p c) p q
d) q p e) p q
7. Simplificar el esquema:
(p q) (r p) (q p)
a) p q b) p q c) p q
d) p e) q
8. Simplificar:
(p q) (q p) (p q)
a) p q b) p q c) p q
d) p q e) q p
9. Simplificar:
(p q) p (q p) (p q)
a) p q b) (p q) c) p q
d) p q e) (p q)
a) q b) q c) p
d) p e) p q
BIBLIOGRAFÍA
Limusa.
CECSA.