1 Tema Logica

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 8

Unidad 1

TEMA 1 Lógica proposicional

LOGICA • ¡Qué lindo día!

La lógica es la parte de la filosofía que estudia las • Quizás llueva en dos días.
formas y principios generales que rigen el
Finalmente, toda proposición es una oración
conocimiento y el pensamiento humano,
aseverativa, pero no toda oración aseverativa es una
considerado puramente en sí mismo, sin referencia a
proposición.
los objetos.
Ejemplo:
La etimología permite saber que el término lógica
tiene su origen en el vocablo latín lógica, que a su • El cuadrado es inteligente.
vez deriva del griego logikós (de logos, «razón» o
• Eduardo es un número natural.
«estudio»).
• x + 3 = 54
LÓGICA PROPOSICIONAL

La Lógica proposicional es la parte de la Lógica que Al simbolizar las proposiciones se utilizan variables
proposicionales, que son letras que representan
se encarga del estudio de las proposiciones.
proposiciones. De manera convencional se utilizan
1. Proposiciones las letras: p, q, r, s, t,...

Son oraciones aseverativas, es decir, que tienen 2. Clasificación de las proposiciones


valor de verdad, y es por eso que se pueden calificar
Las proposiciones se clasifican en atómicas y
como verdaderas o falsas en una realidad objetiva.
moleculares.
Ejemplo:
a. Proposiciones atómicas o simples: Son
• Lima no es la capital de Perú. proposiciones que se caracterizan por la ausencia de
conectores lógicos.
• 9 + 7<10 + 1 5 - 8
Ejemplo:
• La melanina es un tipo de proteína.
• Cincuenta es múltiplo de diez.
Todas las proposiciones son oraciones, pero no todas
las oraciones son proposiciones. En efecto, las • La Paz es la capital de Bolivia.
oraciones interrogativas, las exhortativas o
imperativas, las desiderativas y las exclamativas o b. Proposiciones moleculares o compuestas: Son
aquellas proposiciones que están formadas por dos o
admirativas no son proposiciones porque ninguna de
ellas afirma o niega algo y, por lo tanto, no son más proposiciones simples unidas por conectores
lógicos.
verdaderas ni falsas. Asimismo, las oraciones
dubitativas, así como los juicios de valor, a pesar que Ejemplo:
afirman algo, no constituyen ejemplos de V
proposiciones, pues su verdad o falsedad no puede • El número 29 es primo o 5 es impar.
ser establecida. • El mes de febrero tiene 30 días y marzo tiene 31.
Ejemplo:

• ¿Cuántos años tiene Jorge?


3. Clasificación de las proposiciones moleculares equivalentes como 'u', 'ya... ya', 'bien... bien', 'ora...
ora', 'sea... sea', 'y/o', etcétera. En español la
Las proposiciones moleculares, según el tipo de
disyunción 'o' tiene dos sentidos: uno inclusivo o
conector que llevan, se clasifican en conjuntivas,
débil y otro exclusivo o fuerte.
disyuntivas, condicionales y bicondicionales; si llevan
el adverbio de negación 'no' se llaman negativas. • Disyunción débil o inclusiva: La proposición
disyuntiva inclusiva admite que las dos alternativas
a. Proposiciones negativas: Son aquellas que llevan
se den conjuntamente. Se reconocen porque llevan
el adverbio de negación 'no', o sus expresiones
el conector 'o', o sus expresiones equivalentes como
equivalentes como 'nunca', 'jamás', 'tampoco', 'no
'u', '...a menos que...', entre otras.
es verdad que', 'no es cierto que', 'es falso que', 'le
Ejemplo:
falta', 'carece de', 'sin', etcétera.
• Pedro es padre o es hijo.
Ejemplo: • Alberto es profesor o es estudiante.
El símbolo que representa la disyunción débil es «v»
• Jamás he visto al vecino.
y su tabla de verdad es la siguiente:
• Es imposible que el átomo sea molécula.

El símbolo que representa la negación es «~» y su P q PV q


tabla de verdad es la siguiente: V V V
V F V
P - q F V V
V F F F F
F V

• Disyunción fuerte o exclusiva: La proposición


disyuntiva exclusiva no admite que las dos
b. Proposiciones conjuntivas: Son aquellas que alternativas se den conjuntamente. Se reconocen
llevan la conjunción copulativa 'y', o sus expresiones porque llevan la estructura 'o... o', 'ya... ya', 'bien...
equivalentes como 'e', 'pero', 'aunque', 'aun bien', 'ora... ora', 'sea... sea', etcétera. Además
cuando', 'tanto... como...', 'sino', 'ni... ni', 'sin existen casos en los que se es una disyunción fuerte
embargo', 'además', etcétera. porque los conceptos que aparecen son
Ejemplo: mutuamente excluyentes, como estar vivo o muerto, ‘ Kfnói

estar dormido o despierto, entre otros.


• 'La' es un artículo y 'con' es una preposición.
Ejemplo: T
• El número cuatro es par, pero el número cinco es
impar. • Elena está viva o está muerta.

El símbolo que representa la conjunción es «A» y su • O te levantas temprano o llegas tarde a clase.
tabla de verdad es la siguiente: El símbolo que representa la disyunción fuerte es
P PA q «A» y su tabla de verdad es la siguiente:
q
V V V P pA q
q
V F F
V V F
F V F
V F V
F F F
F V V
F F F
c. Proposiciones disyuntivas: Son aquellas que llevan
onector disyuntivo 'o', o sus expresiones
u;
Y! d. Proposiciones condicionales Son aquellas que Ejemplo: El número dos es par.
llevan la conjunción condicional compuesta 'si...
Proposiciones atómicas relaciónales: constan de dos
entonces...', o sus expresiones equivalentes como
o más sujetos vinculados entre sí.
'si', 'siempre que', 'con tal que', 'puesto que', 'ya
que', 'porque', 'cuando', 'de', 'a menos que', 'a no Ejemplo: Silvia es hermana de Angélica.
ser que', 'salvo que', 'solo si', 'solamente si',
etcétera. Pseudoproposiciones conjuntivas:

Se presentan como si fuesen proposiciones


' Ejemplo:
conjuntivas, pero en realidad son proposiciones
Si es joven, entonces es impetuoso. atómicas y relaciónales.

Es carnívoro si se alimenta de plantas. Ejemplo:

El símbolo que representa la condicional es «­ »> y a) Sansón y Dalila son hermanos.


su tabla de verdad es la siguiente:
b) Andrés y Pilar son primos.
P q p— q
c) La abuela y el abuelo obsequian una bicicleta a su
V V V
nieto.
V F F
F V V
F F V
4. Definición tabular de las proposiciones complejas

Las fórmulas moleculares definidas anteriormente a


e. Proposiciones bicondicionales: Son aquellas que
través de la tabla de verdad son elementales en la
llevan la conjunción compuesta '... si y solo si...', o
medida en que contienen un solo operador y dos
sus expresiones equivalentes como 'cuando y solo
variables. En adelante trabajaremos con fórmulas
cuando', 'si..., entonces y solo entonces...', entre
moleculares complejas, es decir, fórmulas que
otras.
contienen dos o más operadores distintos o dos o
Ejemplo: más veces el mismo operador. Para definir
tabularmente fórmulas moleculares complejas se
• Es fundamentalista si y solo si es talibán.
deben observar los siguientes pasos:
• Habrá cosecha cuando y solo cuando llueva.
Paso 1: Dada la fórmula molecular compleja se
El símbolo que representa la bicondicional es «——» y establece la jerarquía entre sus operadores a través
su tabla de verdad es la siguiente: de los signos de agrupación:

P q poq '[(p V q )A ( - q P)]


n V V V
Paso 2: Se construye las matrices secundarias que
V F F
corresponden a las de los operadores de menor
F V F
jerarquía aplicando sus respectivas definiciones:
F F V
p q - [(p V q) A ( - - q -P )]
Proposiciones atómicas V V V V V F V F
V F V V F V F F
Las proposiciones atómicas se clasifican en:
F V F V V F V V
Proposiciones atómicas predicativas: consta de F F F F F V V V
sujeto y predicado.
Paso 3: Se construye, finalmente, la matriz principal 6. Equivalencias lógicas
que corresponde a la del operador de mayor
jerarquía aplicando la definición correspondiente a Dos proposiciones son equivalentes cuando al
las matrices de los operadores que la siguen en operarlas con un bicondicional el resultado es una
jerarquía: tautología, es decir, cuando tienen la misma matriz
p V q - [(p V q ) A ( - q — - p) ] principal.
V V F V V V
Ejemplo:
V F V V F F
F V F V V V Las proposiciones p o q y ~ (pA q) son equivalentes,
F F V F F V puesto que tienen la misma matriz principal, tal y
como se puede ver en la tabla mostrada a
La matriz principal, como podrá observarse, se ha continuación:
obtenido aplicando la definición del operador
p q p o q - ( p A q)
negativo a los valores de la matriz 2. La matriz 2 se
V V V V F
obtuvo aplicando la definición del operador
V F F F V
conjuntivo a los valores de las matrices 3. La matriz 3
del lado izquierdo se ha obtenido aplicando la
F V F F V S
F F V V F
definición del operador disyuntivo inclusivo a los
valores de 'p' y 'q'. La matriz 3 del lado derecho se
Por lo tanto: p o q = ~ (p A q).
ha obtenido aplicando la definición del operador
condicional a los valores de las matrices 4. La matriz
4 del lado izquierdo se ha obtenido aplicando la
definición del operador negativo a los valores de 'q' 7. Leyes lógicas
y la matriz 4 del lado derecho, aplicando la definición Son equivalencias lógicas notables, que sirven para
del operador negativo a los valores de 'p'. simplificar una proposición compleja y expresarla en
forma más sencilla. La demostración de cada una de
5. Clasificación de las fórmulas moleculares por su
ellas consiste en construir la tabla de verdad en cada
matriz principal
caso.
Las tablas de verdad nos permiten clasificar a las
fórmulas moleculares, atendiendo a su matriz a. Ley de idempotencia
principal, en tautológicas, consistentes y pv p=p
contradictorias.
PA P= P
a. Las fórmulas moleculares tautológicas (T):
llamadas también leyes lógicas, son aquellas en que b. Ley conmutativa
los valores de su matriz principal son todos pV q=qV p
I- V
verdaderos.
pAq=qA p
b. Fórmulas moleculares contingencia (C):
c. Ley asociativa
son aquellas en que algunos de los valores de su
matriz principal son verdaderos y algunos son falsos. (p V q) V r = p V (q V r)

c. Fórmulas moleculares contradictorias (C): (p A q) A r = p A (q A r)


denominadas también fórmulas inconsistentes, son
aquellas en que los valores de su matriz principal son
todos falsos.
d. Ley distributiva p — q = (p - q) a (q - p)

p V (q A r) = (p V q) A (q V r) p — q = (p A q) V ( - p A - q)

p A (q V r) = (p A q) V (q A r) p — q = - (p a q)

e. Ley de la doble negación j. Leyes de absorción

- (-P ) = p p V (p V q) = p

f. Leyes de identidad p A (p V q) = p

pVV =V pV V= p p V ( - p A q) = p V q

pV F=p pV F= F p A ( - p V q) = p A q

g. Leyes del complemento k. Leyes de De Morgan

pV - p=V pA q= F - (p V q) = - p A - q

h. Ley del condicional - (p A q) = - p V - q

p — q = -p V q l. Ley de transposición

i. Leyes de equivalencia p = > q =- q - - p

Ejercicios
1.| ¿Cuál de las siguientes expresiones son 2. ¿Cuál de las siguientes expresiones son
proposiciones? proposiciones?
I. Lima, la gris. I. Los chanchos vuelan
II. 27 es un número primo. II. La luna es satélite de Marte
III. x es el triple de 8. III. Prohibido fumar
IV. 12 > 90 IV. El está jugando tenis
VI. ¡Viva el Perú!
V. ¿En qué año se fundó Cusco?
Solución:
Solución:
‘«ni I Tftr

3 Por medio de una tabla de valores, determinar si 4 . Por medio de una tabla de valores, determinar si
el siguiente esquema molecular es contingente, el siguiente esquema molecular es contingente,
tautológico ó contradictorio. tautológico ó contradictorio.
( p A q) V ( p A - q) - ( p A q ) V ( - p A - q)
Solución: Solución:
5 . Sabiendo que: 6 . Sabiendo que:
p — — q es falsa p — ~ q es falsa
q A r es verdadera —r — ~ s es falsa
r A t es verdadera Deduce los valores de p, q, r y s.
Deduce los valores de p, q, r y t. Solución:
Solución:

Formaliza: «Si es falso que Malena sea costurera 8 . Formaliza: "Hoy es lunes pero no martes, entonces
Z.
así como reconocida bailarina, es obvio que es hoy no es feriado"
responsable o no es costurera». Solución:
Solución:

9. ¿Cuál de las proposiciones siguientes no 10. ¿Cuál de las proposiciones siguientes no


corresponde a la formalización de una condicional? corresponde a la formalización de una condicional?
I. Pedro es estudiante o trabajador. I. Pedro es estudiante del colegio, si está matriculado.
II. Estudio mucho, por ello soy exitoso. 11. Leo mucho, por ello sé.
III. Debido a que bailé zamba, me cansé. III. Debido a que bailé huayno, me cansé.
IV. Ganaré, siempre que estudie. IV. Perderé, siempre que no me esfuerze.
V. Eres hombre, entonces debes trabajar. V. Eres Ingeniero y abogado.
Solución: Solución:
11. Halla el resultado de la proposición: 12. Halla el resultado de la proposición:
~ (p A q ) A ( - P ) - ( p V q) >( - P )
Solución: Solución:

13.I Si<la proposición 14. Si la proposición:


[( ~P V q) - (q ~ 0 ] V (q A S) (p A q) - (r - s)
es falsa, siendo «p» una proposición verdadera. es falsa. El valor de verdad de p, q, r, s (en ese orden)
Determina los valores de verdad de q, r, s, en ese es:
orden: Solución:
Solución:

15. Establece la negación de «Juan ingresa a la 16. Establece la negación de «Si Luis obtiene un
UNI o no obtendrá un título». promedio de 15 o más, entonces se le otorgará
Solución: beca».
Solución:
U i Analiza el valor de verdad de las proposiciones: 18. Supón que «Marita tiene un lapicero» es una
I. Si todas las aves vuelan, entonces algunas aves proposición verdadera. Determina los valores de
vuelan. verdad de:
II. Si todas las aves vuelan, entonces la Luna es un I. Marita tiene al menos un lapicero.
planeta. II. Marita tiene exactamente un lapicero.
III. Si llueve entonces 3 < 5. III. Marita tiene a lo más un lapicero.
Solución: IV. Es falso que Marita no tiene un lapicero.
Solución:

19. Evalúa el siguiente esquema molecular e indica si 20. Evalúa el siguiente esquema molecular e indica si
es una tautología, contradicción o contingencia, es una tautología, contradicción o contingencia,
[(p - q) A (p V q)] (p - q) (p A q)
— [ ( - p ) V ( - q)]
Solución: Solución:

21. Al entrar al aula, el profesor de matemática encontró 22. De los enunciados siguientes:
as siguientes afirmaciones escritas en un cuadro: UNAC2012- (1) Hola que tal (2) x2+1 < 10
I (3 ) 2 + 5 > 6 (4) Todos los hombres son inmortales
. Si x es un número real, entonces V x 2 = x. (5 ) Sócrates nació en Atenas (6) x + 5 =£ 8
I. Si a y b son números reales, a =£ 0 y ax = b, entonces x £ R Cuál de las alternativas siguientes es correcta :
a) 3 son enunciados abiertos
II. £ 21=o 3n = 1 + 3 + 32 + ••• + 321 = ^
b) 2 son proposiciones
V. Si p y q son números reales tales que log p2 = log q2, c ) 3 no son proposiciones
entonces p = q d) 4 son proposiciones
La secuencia correcta de valores de verdad de las
afirmaciones es:

FFFF b) VVVV c) FVFV d) FFFV e) VVFF

® ¡t 552B5^

También podría gustarte