Logica Proposicional

LGICA PROPOSICIONAL
Miguel Valverde Morales Pgina 1

Lectura motivadora

GEORGE BOOLE
(1815 - 1864)

(2 de noviembre de 1815 - 8 de diciembre de 1864) fue un matemtico y filsofo britnico.

Como inventor del lgebra de Boole, la base de la aritmtica computacional moderna, Boole es considerado como
uno de los fundadores del campo de las Ciencias de la Computacin. En 1854 public "An Investigation of the Laws
of Thought" en l desarrollaba un sistema de reglas que le permita expresar, manipular y simplificar, problemas
lgicos y filosficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemticos.

JUICIO PROPOSICIN

APRENDIZAJES ESPERADOS

- Distingue proposiciones dentro de un grupo de enunciados
- Clasifica proposiciones por su cantidad
- Clasifica proposiciones por su calidad
- Clasifica proposiciones por su modalidad
- Clasifica proposiciones por su complejidad

NOTITA IMPORTANTE

El Tractatus es un texto complejo que se presta a diversas lecturas. A primera vista, se presenta
como un libro
que pretende explicar el funcionamiento de la Lgica (desarrollada previamente por Frege y por Russell entre
otros), tratando de mostrar al mismo tiempo que la Lgica es el andamiaje o la estructura sobre la cual se levanta
nuestro lenguaje descriptivo (nuestra ciencia) y nuestro mundo (que es aquello que nuestro lenguaje o nuestra
ciencia describe). La tesis fundamental del Tractatus es esta estrecha vinculacin estructural (o formal) entre
lenguaje y mundo, hasta tal punto que: los lmites de mi lenguaje son los lmites de mi mundo. En efecto,
aquello que comparten el mundo, el lenguaje y el pensamiento es la forma lgica [logische Form], gracias a la
cual podemos hacer figuras del mundo para describirlo.

LGICA PROPOSICIONAL


FUNDAMENTACION TEORICA

1. CANTIDAD DE LAS PROPOSICIONES

1) Universales. Se refieren a todos los elementos del sujeto. Ejemplos: Todos los flidos son carniceros; Ningn
vegetal es hetertrofo; etc.
2) Particulares. Se refieren a algunos elementos del sujeto. Ejemplos: Muchos mdicos son cirujanos; Varios
ingenieros no desarrollan su profesin; etc.
3) Individuales. Cuando el sujeto se refiere a un solo elemento. Ejemplos: El ro Amazonas desemboca en el
Ocano Atlntico; El Per tiene muchas tipos de microclimas; etc.
2. CALIDAD DE LAS PROPOSICIONES.

1) Afirmativas. Su contenido da por cierto algo. Ejemplos: Es cierto que Saturno tiene 30 satlites conocidos; Rea
es un satlite de Saturno; etc.

2) Negativas. Su contenido da por falso algo. Ejemplos: Es mentira que la Tierra tiene un sistema de anillos; La
Luna no es un satlite de Urano; etc.

3. MODALIDAD DE LAS PROPOSICIONES

1) Asertricas. Llamadas tambin sintticas, empricas o contingentes. Cuando su valor de verdad es contextual.
Ejemplos: Trujillo es una ciudad nortea; El Per integra el Mercosur; etc.

2) Necesarias. Llamadas tambin apodcticas o forzosas. Cuando su valor de verdad es universal. Ejemplos: El
cuantor es un operador lgico; El tringulo equiltero es un polgono regular; etc.

3) Problemticas. Llamadas tambin plausibles o probables. Cuando su valor de verdad es posible. Ejemplos: Es
posible que el hombre llegue a Marte antes del 2015; La seleccin clasificar al mundial 2010; etc.

4. COMPLEJIDAD DE LAS PROPO-SICIONES

Los Operadores Lgicos

1) Definicin.

Son conceptos sin categorema cuya funcin es modificar el valor de verdad o la estructura de una
proposicin.

2) Clasificacin.

Se les clasifica de acuerdo al rea de la Lgica.; por ejemplo existen operadores modales (operador de
necesidad, operador de posibilidad, etc.); operadores difusos (fusificador, defusificador, etc.); operadores
cuantificacionales (universalizador, existencializador, etc.); Operadores proposicionales (negador, conjuntor,
etc.); etc.

LGICA PROPOSICIONAL


Los Operadores Proposicionales

OPERADOR
SMBOLOS
Nombre Estructura lgica
Negador (Inversor) no - ~
Conjuntor (Compatibilizador) ... y ... . . &
Disyuntor Incluyente
(Alternador)
... o ... v +
Disyuntor Excluyente (Exclusor) o ... o .... V >< <-/->
Implicador (Condicionador) si ... entonces ...
Replicador (Contraimplicador) ... porque ... :
Biimplicador (Equivalorador) ... si y slo s ...
Daga de Shefer (Inalternador) ni ... ni .... +
Barra de Nicod
(Incompatibilizador)
no ... o no .... /

Traducciones verbales de los operadores proposicionales.

NEGACIN CONJUNCIN DISYUNCIN INCLUYENTE
Carece de todo sentido que
A
De ninguna forma se da que
A
En absoluto se da que A
En modo alguno se da que A
Es absurdo que A
Es falso que A
Es imposible que A
Es inaceptable que A
Es inadmisible que A
Es incierto que A
Es incorrecto que A
Es inverosmil que A
Es mentira que A
Es imposible que A
Es negable A
Es objetable que A
Jams se da que A
No es cierto que A
No es el caso que A
No es verdad que A
No ocurre que A
Nunca jams A
Nunca se da que A
Se rechaza que A
A adems B
A a la vez B
A al igual que B
A al mismo tiempo B
A a pesar que B
A as como B
A an cuando B
A aunque B
A de la misma forma B
A empero B
A es compatible con B
A incluso B
A no obstante B
A pero B
A simultneamente B
A sin embargo B
A tal como B
A tambin B
A tanto como B
A y B
A y tambin B
Conjuntamente A con B
No slo A tambin B
Tanto A como B
A a menos que B
A a no ser que B
A excepto que B
A o B
A o en todo caso B
A o incluso B
A o tambin B
A salvo que B
A salvo que tambin B
A y bien, o tambin B
A ya bien, o incluso B
A y/o B
DISYUNCIN EXCLUYENTE
A o B (pero no ambos)
A salvo que slo B
A salvo que nicamente B
A o solamente B
A o slo B
A o tan slo B
A o nicamente B
O A o B.
A es diferente que B
O slo A o slo B
Salvo que A o B

LGICA PROPOSICIONAL


IMPLICACIN (DIRECTA)
REPLICACIN
(IMPLICACIN INVERSA)
BIIMPLICACIN

a condicin de que A, B
A de ah que B
A en consecuencia B
A es suficiente para B
A implica B.
A luego B
A por consiguiente B
A por lo tanto B
A slo si B
Cada vez que A, B
Con tal que A es obvio que
B
Cuando A, B
Cuando A as pues B
Dado A por eso B
De A concluimos en B
En cuanto A por tanto B
En el caso que A as pues B
Es suficiente A para B
Para A es necesario B
Porque A, B
Puesto que A, as pues B
Se supone A para B.
Si A, B
Si A entonces B
Siempre que A por tanto B
Ya que A entonces B
Ya que A es evidente que B

A a condicin de que B
A cada vez que B
A dado que B
A esta implicado por B
A es una condicin
necesaria para B
A porque B
A puesto que B
A se concluye de B
A, si B
A, siempre que B
A supone que B
A ya que B
Es una condicin necesaria
A para B
Para A es suficiente B
Para A es una condicin
suficiente B
Solo si A, B
Tan solo si A, B
Una condicin suficiente
para A es B

A cada vez que y slo si B
A cuando y slo cuando B
A entonces y slo entonces
B
A equivale a B
A equivale lgicamente a B
A es necesaria y suficiente
para B
A es suficiente y necesario
para B
A es equipolente a B
A es equivalente a B
A implica y esta implicado
en B
A por lo cual y segn lo cual
B
A se define como B
A se define lgicamente
como B
A segn lo cual y por lo cual
B
A si de la forma B
A siempre y cuando B
A siempre que y slo
cuando B
A s y slo si B

LGICA PROPOSICIONAL


1) Simples o Atmicas. Cuando no tienen operadores
proposicionales. Son indivisibles. Se subdividen
en:
a) Predicativas. Cuando tienen un solo sujeto.
Ejemplos: Carlos estudia medicina; El Per es
un pas considerado tercermundista; etc.
b) Relacionales. Cuando tienen dos o ms sujetos.
Ejemplos: Sissy es mayor que Mnica; Francia
est entre Alemania y Espaa; etc.

2) Compuestas o Moleculares. Cuando tienen
operadores proposicionales. Se les puede
descomponer en proposiciones ms simples. Se
clasifican de acuerdo al operador principal en
negativas, conjuntivas, disyuntivas incluyentes, etc.

EJERCICIOS DESARROLLADOS

01. De los enunciados:
1. Cuidado con el perro!
2. Jos estudia medicina en la UNT
3. Todo peruano es inocente hasta que
se demuestre lo contrario
4. Milagros dijo estar enamorada de
Enrique
5. Romy estuvo de paseo por Cuba

Corresponden a proposiciones:
a) 1, 2 y 5 b) 2, 3, 4 y 5 c) slo2, 4 y 5
d) slo 2 y 5 e) slo 3, 4 y 5

Resolucin
Proposiciones: Tienen sentido completo, valor de
verdad y referente real objetivo.
1. Expresiva X
2. \
3 Precepto constitucional X
4. \ ( dijo se puede comprobar)
5. \
CLAVE C
1. Anoche so que estaba bailando con Jennifer
2. Llama es un trmino polismico
3. Urano es un planeta que tiene sistema
de anillos
4. Zeus fue el rey de los dioses
5. Gok lleg a ser sper sayayn de nivel IV

No corresponden a proposiciones:
a) 1, 4 y 5 b) 2, 3 y 5 c) 1, 2 y 4
d) 1, 3 y 5 e) 2, 3 y 4
Resolucin
Idem 1
1. so X
2. \
3. \
4. Mitologa X
5. Ficcin X CLAVE A
1. Constitucin Poltica del Per
2. Con los aos que tengo an no s si estoy
enamorado
3. Ayer conoc a Rosario, hoy conoc a su
hermana
4. Ninguna de las hermanas de Andrea postula a
Derecho
5. Flor blanca de geranio serrano

Corresponden a proposiciones:
a) 1 y 2 b) 2 y 3 c) 3 y 4
d) 4 y 5 e) 1 y 5

Resolucin
Idem 1
1. Concepto X
2. no s (subjetivo) X
3. \
4. \
5. Concepto X

CLAVE C
<
1. Antonio y Alberto estn casados.
2. Una posible causa de la desnutricin es el
maltrato infantil.
3. Cualquier reptil es vertebrado.
4. Ni lo uno ni lo otro sino todo lo contrario.
5. Juicio aseverativo.

Son proposiciones:
a) 1, 2 y 3 b) 2, 3 y 4 c) 3, 4 y 5
d) 1, 4 y 5 e) 1, 2 y 5

Resolucin
Idem 1
1. \
2. \
3. \
4. Sin sentido X
5. Concepto X
CLAVE A

1. Los polgonos tienen raz cuadrada.
2. Los nmeros tienen rea superficial.
3. Todos los nmeros naturales son mayores que
5.
4. Algunos nmeros naturales son mayores que 5.
5. No hay nmeros naturales mayores que 5.

Son proposiciones:
a) 1, 2 y 3 b) 2, 3 y 4 c) 3, 4 y 5
d) 1, 4 y 5 e) 1, 2 y 5

Resolucin
Idem 1
1. Sin sentido X
2. Sin sentido X
LGICA PROPOSICIONAL


3. Proposicin falsa
4. Proposicin verdadera
5. Proposicin falsa

CLAVE C

PRCTICA

1 a + b = b + a; a, b e R
2. a + b > a; a, b e N
3. a + 5 = 1954
4. a
2
+ b
2
= c
2
; a, b, c e R
5. a + 5 = b + 40

Son proposiciones:
a) 1, 2 y 5 b) 2, 3 y 4 c) 1, 3 y 5
d) 1, 2 y 4 e) 3, 4 y 5

1. a
2
+ b
2
= c
2
; representa a la expresin del
Teorema de Pitgoras
2. x
2
+ 2x + 1
3. x + y > 5, x, y e N
4. Si x>n entonces x > (n 1); x, n e N
5. x > 10 x < 10 x = 10; x e N

Son proposiciones:
a) 1, 2 y 3 b) 2, 3 y 4 c) 3, 4 y 5
d) 1, 4 y 5 e) 1, 2 y 5

1. A Dios rogando y con el mazo dando
2. Luz dijo estar sorprendida por la actitud que
tom su hermano al evadirse de clase
3. La lora de mi vecina est enferma
4. Ricardo abri su pollera llamada El pollo
futbolista
5. El Per es considerado destino turstico
internacional.

Son proposiciones:
a) 2, 4 y 5 b) 2, 3 y 4 c) 3, 4 y 5
d) 1, 2 y 3 e) slo 2 y 4

1. Muchos peces son eurihalinos
2. Muchos reptiles son cidos
3. Muchos herbvoros son rumiantes
4. Muchos carnvoros son polinomiales
5. Muchas sustancias no son puras

Son proposiciones:
a) 1, 2 y 5 b) 2, 3 y 4 c) 1, 3 y 5
d) 1, 2 y 4 e) 3, 4 y 5

05. De los enunciados, son proposiciones:
1. Es la esposa del ex presidente Paniagua.
2. El lenguaje tiene naturaleza dual.
3. 30+20=10 equivale 40+30=10
4. El carbono tiene valencia 4.
5. El Corn es un libro religioso.

Son ciertas, excepto
a) slo 3 y 4 b) 1 y 2 c) 2, 3 y 4
d) 1, 3 y 5 e) 4 y 5

06. Son proposiciones atmicas:
1. Cualquier ingeniero es profesional.
2. Lucila Godoy o Gabriela Mistral escribi el
libro de poemas Tala
3. Ral y Ricardo no son primos.
4. Universalizador equivale a cuantificador
universal.
5. Muchos militares son profesionales.

Son ciertas:
a) slo 1,2y4 b) ninguna c)slo2
d) 1, 2, 4 y 5 e) todas

07. Son proposiciones simples relacionales:
1. El enlace inico es de carcter electrosttico.
2. El Canal de Panam est entre los ocanos
Atlntico y Pacfico.
3. (a*b)
n
= a
n
* b
n

4. Chile no comparte frontera con Ecuador.
5. El ri Amazonas fluye por territorio peruano

Son ciertas:
a) 2, 3 y 5 b) slo 2 y 3 c) slo 3 y 5
d) slo 2 y 5 e) 1, 4 y 5

08. De los siguientes enunciados:
1. Magaly y Gisela se casarn la prxima semana
2. No hay nada mejor que un buen helado
napolitano
3. Otorongo tiene cuatro vocales
4. Es imposible que la materia se destruya por
procesos fsicos
5. El soporte tipo DVD tiene ms capacidad de
almacenamiento que el CD-R

Son proposiciones:
a) 1, 2 y 4 b) 1, 4 y 5 c) 2, 3 y 5
d) 1, 3 y 5 e) 2, 3 y 4

1. p v q
2. Cualquiera que sea S es obviamente P
3. Si x > 5 luego x > 4
4. Si x > y luego x e N; y e N
5. x e N; x > 2004

Son proposiciones:
a) 1 y 3 b) 3 y 5 c) 2 y 4
d) 1 y 4 e) 2 y 5
LGICA PROPOSICIONAL


1. En modo alguno es posible que los flidos sean
rumiantes.
2. Es imposible que el hidrgeno sea slido.
3. Las aves son vivparas.
4. Es inadmisible que las rosas sean hetertrofas.
5. Los seres humanos son intelectuales.

Son proposiciones negativas:
a) 1, 2 y 4 b) 1, 4 y 5 c) 2, 3 y 5
d) 1, 3 y 5 e) 2, 3 y 4

1. No slo el Per compite por un cupo al
mundial 2006 sino tambin Brasil
2. George estudia ingeniera no obstante prctica
ftbol
3. Aunque Mary estudie enfermera, trabaja como
secretaria
4. Ins y Ral son compadres de Lady
5. El cloro es un no metal aunque sea reactivo

Son proposiciones conjuntivas:
a) slo 1, 2 y 3 b) slo 2, 3 y 4 c) slo 3, 4 y 5
d) slo 1, 4 y 5 e) todas

1. Maura comi pescado y se ahogo
2. Ni Teresa ni Carol son trujillanas
3. Lawrence y Silvia no son abogados
4. El que me divierta es igual a que trabaje
5. Me divierto al igual que trabajo

Son proposiciones conjuntivas:
a) 1, 2 y 4 b) 2, 3 y 5 c) 1, 4 y 5
d) 1, 2 y 3 e) 3, 4 y 5

1. Ni Erika ni Karen son mdicos
2. Lilibeth no estudia o no trabaja
3. El calor no equivale a la velocidad
4. El azcar y el aceite no reaccionan
5. Lourdes no deja de estudiar

Son proposiciones negativas:

1. El que Manuel vaya a la universidad no implica
que sea alumno
2. Es imposible que los alcanos y los alquinos
reaccionen
3. Per y Chile no son productores de bano
4. Leslie y Milagros no son hermanas
5. De seguro ocurre que el agua y el aceite si se
mezclan

No son proposiciones negativas:
a) 1 y 3 b) 1 y 4 c) 2 y 5
d) 2 y 4 e) 3 y 5
15. De las siguientes proposiciones:
1. Cuando una PC falla, se debe al software o slo
al hardware.
2. Es falso que el agua o slo el aceite sean
solventes universales.
3. Glenn viajar a Holanda o slo a Francia.
4. El que trabaje es diferente a que vaya a la
discoteca.
5. O se da que Pamela visite Egipto a no ser que
vaya al Tbet.

Son disyuntivas excluyentes:

LGICA PROPOSICIONAL


FORMALIZACIN

- Identifica constantes y variables proposicionales
- Hace uso del lenguaje lgico formal
- Formaliza proposiciones lgicas
- Formaliza reglas y leyes de las ciencias

NOTITA IMPORTANTE

En matemticas, lgica, y ciencias de
la computacin, un lenguaje formal es
un conjunto de palabras
(cadenas de caracteres) de longitud finita en los
casos ms simples o expresiones vlidas
(formuladas por palabras) formadas a partir de un
alfabeto (conjunto de caracteres) finito. El nombre
lenguaje se justifica porque las estructuras que con
este se forman tienen reglas de buena formacin
(gramtica) e interpretacin semntica (significado)
en una forma muy similar a los lenguajes hablados.

FUNDAMENTACIN TERICA

1. CONSTANTES Y VARIABLES
Formalizar es trasladar (traducir) una expresin
escrita con un lenguaje verbal a un lenguaje
formal.

En nuestro caso, debemos traducir una expresin
con lenguaje verbal al lenguaje lgico formal
proposicional.

Constantes: Son los operadores proposicionales.
Ejemplos: conjuntor, implicador, negador, etc.

Variables. Son las letras que representan a
proposiciones. Ejemplos: A, B, C, D, E, etc.; o
tambin, p, q, r, s, t, etc.

2. FORMAS BSICAS.
Formas negativas.
1. Es mentira que el oro sea lquido
2. No ocurre que, el oro y la plata sean gases
3. Es falso que si trabajo luego estudio
4. Denisse no postula a derecho
5. El agua no disuelve al oro
6. Ral es un profesional inexperto
7. El calor es incompatible con la materia

Formas conjuntivas.
1. El oro y la plata son metales
2. El oro y la plata no son halgenos
3. El bromo es un gas adems es halgeno
4. El cloro y el flor son gases y reaccionan con el
sodio
5. Es falso que el dlar se cotice a 3,5 nuevos
soles pero tambin es falso que el euro se
cotice a 4 nuevos soles
6. Aunque el helio sea un gas, se ioniza
7. No slo el oro es un metal sino que tambin es
altamente dctil
8. El agua pura es un compuesto qumico
inorgnico no obstante tiene muchos usos en la
industria

Formas disyuntivas incluyentes.
1. El cobre conduce el calor o la electricidad
2. La plata es un metal noble o tambin acta
como catalizador
3. Trujillo es el nombre de una ciudad peruana
y/o de una ciudad espaola
4. En Trujillo se fabrican zapatos salvo que
tambin casacas de cuero
5. Noelia estudia lgica y bien o tambin
matemtica

Formas disyuntivas incluyentes.
1. La plata tiene nmero atmico 47 54
2. Trujillo es una ciudad peruana o nicamente
ecuatoriana
3. O el petrleo es un energtico o es materia
prima de productos farmacuticos
4. Trujillo exporta zapatos o slo algodn
5. O Noelia postula a medicina o postula a
contabilidad

Formas implicativas.
1. Si el cobre es un metal entonces conduce la
electricidad
2. Si el oro conduce la electricidad, no es aislante
elctrico
3. Porque el otorongo es un flido, es carnvoro
4. El otorongo es flido por lo tanto es gil
5. Los tigres son flidos consecuentemente tienen
cuerpo gil
6. Es suficiente que un cuerpo se caliente para
que se dilate
7. Para que haya recesin en el Per es necesario
que haya inflacin

Formas replicativas.
1. Hay calentamiento de las aguas del mar porque
aument la temperatura global
2. Slo si aument el ingreso de divisas al Per,
aument el ndice de las exportaciones
3. Sube el precio de la mayora de productos
cuando sube el precio del petrleo
4. La capa de ozono est siendo afectada por la
contaminacin en vista que se emiten muchos
gases industriales
LGICA PROPOSICIONAL


5. Para que un alumno ingrese a la universidad es
suficiente que responda poco ms de la mitad
del examen
6. Es necesario que los clavos de hierro se dilaten
para que sean calentados

Formas biimplicativas.
1. Que haya alta temperatura equivale a que haya
humedad ambiental
2. Aumentar el empleo en el Per si y slo si el
gobierno aplica polticas de estabilizacin
econmica
3. La produccin de conservas tiene valor
agregado luego y slo luego su fabricacin
aumenta el ingreso de los peruanos
4. Los rumiantes son herbvoros siempre y cuando
sean mamferos

3. RECOMENDACIONES.

Uso de signos ortogrficos.
1. O Eliana trabaja y estudia o se dedica al
deporte, luego se dedica a la artesana; pero es
imposible que se dedique a la artesana. Luego,
Eliana trabaja y/o se dedica al deporte
2. Si estudio, trabajo; adems, si trabajo, progreso.
Luego, si estudio, progreso; salvo que me
dedique al arte
3. El trigo y el arroz son cereales, salvo que el
maz sea una gramnea; luego, en el Per se
consume trigo y cebada, adems arroz
4. Multiplicidad de variables.
5. Jos, Esteban y Paola estudian en Cepunt,
adems, postulan a derecho

6. Luisa, Anglica y Blanca postulan a la UNT,
pero ninguna estudia biologa
7. Buenaventura, Yanacocha y Southern Per son
empresas mineras que no exportan estao ni
cinc

Distincin Trmino Proposicin.
1. Calor equivale a traba.o.
2. La matemtica es necesaria para la filosofa.
3. Que traba.e es incompatible con que estudie.
4. Que Ysela y Luisa sean hermanas equivale a
que sean parientes en segundo grado.

Orden en las traducciones verbales.
1. No slo es falso que si traba.o, estudio; sino
que si es falso que traba.o, progreso.
2. Es necesario que sea suficiente que via.e a Lima
para llegar al Cuzco, para que sea suficiente
para llegar a Tru.illo que via.e a Lima.
3. O no slo es falso que estudio lgica y
matemtica sino que practico deporte, o es
falso que no slo practico deporte sino que
estudio ingls y francs.

01. O bien el asma afecta a los pulmones o bien al
corazn y a los huesos; pero no es el caso que
afecte al corazn del mismo modo a los
pulmones.

Se formaliza: .

Resolucin
[p v (q . r)] . - (q . p)
02. Existe movimiento material cada vez que y slo
cuando existe movimiento energtico; pero si no
existe movimiento material, existe movimiento; del
mismo modo si existe movimiento material, no hay
movimiento energtico.

Se formaliza: .
Resolucin
(p q) . (- p r) . (p - q)

03. O bien Andrmeda es una constelacin o bien es
una galaxia y est cerca de la tierra; aunque es
absurdo pensar que Andrmeda sea una
constelacin. En consecuencia Andrmeda es una
galaxia as como est cerca de la tierra.

Se formaliza: .

Resolucin
{[p v (q . r)] . - p} (q . r)

04. Estudiar en la universidad, salvo que solamente
postule al instituto e ingrese a la universidad; pero
es absurdo que no postule al instituto o no ingrese
a la Universidad. Por lo tanto no estudiar en la
universidad.

Se formaliza: .
Resolucin
{[p v ((q . r)] . - (- q v - r)]} - p

05. La lgica es general, formal y matemtica. Es la
lgica general porque estudia al intelecto en su
bsqueda de la verdad y es formal porque estudia
la estructura de las inferencias. A la vez es
matemtica porque demuestra la validez de la
inferencia.

Se formaliza: .

Resolucin
(p . q . r) . [(p s) . (q t) .(r u)]

06. Es absurdo pensar que, si suben los precios, habr
bienestar social; pero no es el caso que si hay
bienestar social entonces no suben los precios.

Se formaliza: .
Resolucin
(p q) . - (q - p)
LGICA PROPOSICIONAL


07. Es necesario que haga fro para que llueva,
inclusive es suficiente que sea invierno para que
haga fro. Si llueve entonces es falso que haga fro.
Por tanto estamos en invierno.

Se formaliza: .

Resolucin
{[(p q) . (r p)] . (q - p)} r

08. En Vir se cultiva maz, ciruela, esprrago al igual
que yuca; sin embargo el cultivo de esprrago
produce mayores dividendos que el cultivo
conjunto de los otros tres productos.

Se formaliza: .

Resolucin
(p . q . r . s) . t

09. El cloro y el hidrgeno son gases a temperatura
ambiente, aunque no estn juntos en la tabla
peridica. Adems son los nicos componentes del
cido clorhdrico pero no estn unidos por enlace
metlico.

Se formaliza: .

Resolucin
[(p . q) . - r] . (s . - t)

10. Manuel no tiene la misma edad que Gernimo
pero estudian juntos aunque, no son vecinos no
obstante tienen la misma aficin por el deporte.

Se formaliza: .

Resolucin
(- p . q) . (- r . s)

PRCTICA DE CLASE

01. No es cierto que, Mozart no sepa tocar el piano y
no componga melodas, ya que es egresado de la
Escuela de Msica. Se formaliza como:

a) (pq).(rp) b) (p.q) r
c) (pvq) r d) (p . q) r
e) N.a.
02. Subirn los intereses bancarios porque subir la
cotizacin del dlar, en vista de que, subir la
cotizacin del dlar slo si el gobierno no puede
controlar la inflacin. Es una proposicin cuya
formalizacin correcta es:

a) (pq).(qr) b) (pq)v(qr)
c) (pq)v(qr) d) (pq)(qr)
e) N.a.
03. La proposicin: "No es el caso que, si Csar Vallejo
no estudiaba educacin no habra podido escribir
sus obras. Dado que, Csar Vallejo no pudo
escribir sus obras porque enseaba en el Colegio".
Se formaliza:

a) (q r) (p q)
b) (p q) (q r)
c) (p q) (q r)
d) (p q) (q r)
e) N.a.

04. Chile y Argentina no son productores de hojas de
coca. Se formaliza como en:
1. p v q 2. p + q 3. p|q
4. p . q 5. p . q

Son ciertas:
a) 1 y 4 b) 2 y 5 c) 4 y 5
d) 3 y 4 e) 2 y 4

05. La proposicin: "O bien el guepardo es un felino o
bien es un animal domstico. Sin embargo, el
arenque es acutico salvo que los monotremas
sean mamferos". Se formaliza:

a) (p A q) . (r v s) b) (p v q) . (r s)
c) (p >< q) v (r p) d) (p v r) v s
e) T. a.

06. La proposicin: Porque los gases al igual que los
lquidos, no son dctiles ni maleables, obviamente
que son fluidos. Se formaliza:

a) [(p . q) . (r . q)] (t . u)
b) [(p . q) . (r . s)] t
c) [(p . q) . (r . s)] (t . u)
d) (p . q) r
e) N. a.

07. Slo si un gas es sometido a altas temperaturas,
genera trabajo mecnico; sin embargo, es
suficiente que algunos fluidos reaccionen para que
generen energa. Se formaliza:

a) (p q) . (r s) b) (p q) . (p r)
c) (p q) . (p s) d) (p q) . (r s)
e) (p q) . (r s)

08. La proposicin: Slo si un negocio es
econmicamente rentable entonces los costos que
representa son bajos, o bien y tambin, tiene gran
demanda comercial. Se formaliza como:

a) (p q) v r b) (p q) v r c) (p q) . r
d) (p q) . r e) n. a.

LGICA PROPOSICIONAL


09. La proposicin: "La negacin es formalizada
lgicamente siempre que y slo cuando
corresponda a un operador lgico". Se formaliza
como:

a) p q b) p q c) p q
d) p (q r) e) p v (q v r)

10. La proposicin: "Los hermanos Artidoro, Luis y
Rger Cceres son congresistas y bien o tambin
son socios comerciales de la empresa
Importaciones Juliaca". Se formaliza:

a) p v q b) p >< q c) p q
d) p(qvr) e) (p q) r

11. "Bolivia y Brasil no son los pases de mayor y
menor riqueza mundial, respectivamente". Se
formaliza como:

a) p . q b) p + q c) p v q
d) (p . q) . (r . s) e) p v q

12. La proposicin: De ninguna manera se da que, la
oferta favorezca al productor excepto que la
demanda no favorezca al consumidor. Se
formaliza como:

a) (p v q) b) (p v q) c) (p . q)
d) (p v q) e) (p. q)

13. La proposicin: Porque la luz tiene naturaleza
dual, se transmite en el vaco. Sin embargo, el
sonido no se transmite en el vaco porque tiene
naturaleza ondulatoria Se formaliza como:

a) (A B) . (B C)
b) (A B) . (C D)
c) (A B) . (B C)
d) (A B) . (C D)
e) (A B) . (C D)

14. La proposicin: Que la poltica sea social es una
condicin suficiente y necesaria para que la
poltica no sea econmica Se formaliza como:

a) A v B b) A B c) A B
d) A B e) (A B)

15. La proposicin: Es falso que si canto me alegro o
bien es mentira que siempre que alegro canto Se
formaliza como:

a) A v B b) (A B) . (B A)
c) A B d) (A B) v (B A)
e) A B

VERDAD FORMAL


- Conoce las reglas de los conectores lgicos
- Utiliza la tabla de verdad
- Aplica los criterios de verdad a diferentes modelos
formales
- Distingue esquemas tautolgicos, contradictorios y
contingentes

NOTITA IMPORTANTE

Jan ukasiewicz (21 de diciembre,
1878 - 13 de febrero, 1956)
matemtico polaco que naci en
Lww,
Galicia (ahora Lepolis, Ucrania). Su trabajo
matemtico se centr en la lgica matemtica. l
pens innovar en la tradicional lgica
preposicional, el principio de no contradiccin y el
principio del tercero excluso.
ukasiewicz trabaj en lgica polivalente,
incluyendo su propio clculo de tres valores, la
primera lgica de clculo no clsica.

FUNDAMENTACIN TERICA

1. REGLAS DE LOS CONECTORES LGICOS

Negador.
Si es V, luego V = F

Conjuntor.
V.V = V; otros = F

<
Disyuntor incluyente:
FvF = F; otros = V

Daga de Shefer:
F+F = V; otros = F

Barra de Nicod:
V|V = F; otros = V

Implicador:
VF = F; otros = V

Replicador:
F V = F; otros = V

Biimplicador:
VV=V FF=V; otros=F

Disyuntor excluyente:
VF = V FV = V; otros = F
LGICA PROPOSICIONAL


p q p q p.q pvq pq
V V F F V V V
V F F V F V F
F V V F F V V
F F V V F F V

p q pq pvq pq p+q p|q
V V V F V F F
V F V V F F V
F V F V F F V
F F V F V V V

p q p.q p.q p.p pvp
V V F F F V
V F V F F V
F V F V F V
F F F F F V

2. LA TABLA DE VERDAD
2) Variables 1) Frmula molecular
3) Arreglos 4) Clculo matricial

1) Frmula molecular.
En ese lugar va la frmula a la que se le quiere determinar el valor de verdad

2) Variables.
En este cuadrante va una de cada una de las variables en orden alfabtico.
Por ejemplo: AB
3) Arreglos.
O combinaciones de verdad
Se determina con la frmula: 2
n

Donde n es el nmero de variables

4) Clculo matricial.
Es la determinacin de la matriz principal de una frmula molecular basndose en las reglas de los
operadores

3. TIPOS DE MATRIZ PRINCIPAL
Tautolgica
Slo valores V (1)

Contradictoria
(Cortocircuito, inconsistente)
Slo valores F (0)

Contingente
Al menos un V (1) y al menos un F (0)
LGICA PROPOSICIONAL



01. La matriz principal de: [A + (B + A)] + B Es:

a) 0011 b) 1110 c) 0010 d) 0100 e) 1101

Resolucin

02. La matriz principal de: (A + B) + (A + B) Es:

a) 0111 b) 1100 c) 1010 d) 0000 e) 1111

Resolucin

03. La matriz principal de: A + [B + (A + B) Es:

a) 1100 b) 0010 c) 0001 d) 0111 e) 1001

Resolucin

LGICA PROPOSICIONAL


04. La matriz principal de: [(A B) A] B Es:

a) 1111 b) 1110 c) 0010 d) 0100 e) 0000

05. La matriz principal de: [(A v B) v (A v B)] v A Es:

a) 0011 b) 1110 c) 0010 d) 0100 e) 1101

Resolucin

06. La matriz principal de: [(A B) A] B Es:

a) 0011 b) 1110 c) 0010 d) 0100 e) 1101

Resolucin

LGICA PROPOSICIONAL


PRCTICA DE CLASE

Con la siguiente informacin:
p: F q: V
r: F s: V
t: F u: V

Resuelva los siguientes temes:

01. Los valores de verdad de las frmulas:
1. (q u) + (p v s)
2. [ (u . s) r] p
3. q [t . (p v q)]

Son:
a) 111 b) 110 c) 100
d) 101 e) 011

1. (p) v [(p . t) v r]
2. (p q) + (r / s)
3. { [ (p . q) s] + t} . u

Son:
a) 111 b) 110 c) 100
d) 101 e) 011

1. p . {q . [p . (t u)]}
2. (p v s) | (t u)
3. (p & t) (s q)

Son:
a) 010 b) 001 c) 000
d) 101 e) 011

1. u [p (t s)]
2. [p (q & s)] (t (p + s)]
3. (p A s) . [t + (q A u)]

Son:
a) 111 b) 110 c) 100
d) 101 e) 011

05. Dado el siguiente esquema:
[(A + B) (A v C)] Verdadero

Los valores de las variables son:
a) FVV b) VVF c) FVF
d) VFV e) VVV

(A) / [(B C) . D] Falso

a) VVFF b) FFVV c) VVVV
d) FFFF e) VFVF
(A B) + (A C) Verdadero

a) FFF b) VVV c) VFV
d) FVF e) VVF

(B A) . (C + D) Verdadero

a) VFVF b) FVFV c) FFFV
d) VVVF e) VVFF

1. (p) v [(p . t) v r]
2. (p q) + (r / s)
3. { [ (p . q) s] + t} . u

Son:
a) 111 b) 110 c) 100
d) 101 e) 011

[(A B) (C D)] Verdadero

a) FFFV b) FVFV c) VVFV
d) FVFF e) FFVV

(A v B) . {[(C + E) D] A}
Verdadero

a) 11011 b) 10101 c) 00100
d) 01010 e) 10011

AUTOEVALUACIN N 02

CAPACIDAD: Razonamiento y demostracin.

01. Son proposiciones:
1. El conjuntor es un operador proposicional
2. No es tan fcil aprenderse las traducciones
verbales.
3. Si no estamos atentos a la clase, jams
aprenderemos.
4. La lgica formal estudia la validez del
razonamiento.
5. La lgica proposicional es una rama de la lgica
formal.

Son ciertas:
a) 1, 3 y 4 b) 2, 3 y 5 c) 1, 2 y 5
d) 1, 4 y 5 e) 2, 3 y 4
LGICA PROPOSICIONAL


1. Wittgenstein es considerado uno de los filsofos
ms notables del siglo XX.
2. A Gottlob Frege se le valora despus de muerto.
3. Russell recibi ms galardones que G. Frege.
4. K. Gdel fue compatriota con Wittgenstein
5. G. Frege fue respetado por B. Russell y por K.
Gdel.

Son ciertas:
a) 1, 3 y 4 b) 2, 3 y 5 c) 1, 2 y 5
d) 1, 4 y 5 e) 2, 3 y 4

03. El enunciado: El Rey Carlos III intent gobernar de
manera prctica al igual que eficaz, puesto que no
slo redujo la burocracia noble sino tambin la
sustituy por la ilustrada
Se formaliza:
a) (p v q) (r & s) b) (p & q) (-r & s)
c) (p & q) (r & s) d) (p & q) (r & s)
e) (p & q) (-r & -s)

04. Si se cumple que:
A = Falso B = Verdadero

Las frmulas verdaderas son:
1. B (A A)
2. ~A B
3. (~B A) A
4. (A v B) B
5. ~(~A v B) [~(A . B) v B]

Son ciertas:
a) Slo 1, 2 y 3 b) Slo 3, 4 y 5
c) Slo 1, 3 y 5 d) Slo 2, 3 y 4
e) Todas

05. Sean las proposiciones:
A= El Sol no es una estrella de neutrones
B= Marte tiene anillos planetarios
C= Deimos es un satlite natural de la Tierra

Los valores finales de las formulas:
I. (A B) . ~C
II. [(A B) A] (B v ~B)
III. [(A ~B) . ~C] v (A ~B)

Son respectivamente:
a) 111 b) 000 c)010
d) 011 e) 001

CAPACIDAD: Comunicacin matemtica

1. La Libertad es el departamento que lidera las
exportaciones agroindustriales en el Per.
2. Uno de los principales destinos de las
exportaciones librtelas es Estados Unidos.
3. Tambin Colombia.
4. El crecimiento econmico liberteo permitir
que los trujillanos vivan mejor.
5. La alcachofa, al igual que el esprrago, es uno
de los principales productos de exportacin en
La Libertad.

Son ciertas:
a) 1, 3 y 4 b) 2, 3 y 5 c) 1, 2 y 5
d) 1, 4 y 5 e) 2, 3 y 4

02. La proposicin: No slo es falso que no slo viva
en Francia sino que tambin tengo visa para
EE.UU., sino que, no slo es falso que vivo en
Espaa sino que es veraz que viaj a Italia; se
formaliza:

a) (p . q) . (r . s) b) [(p . q) . (r . s)]
c) [(p . q) . (r . s)] d) (p . q) . (r . s)
e) (p . q) . (r . s)

03. La expresin: Es absurdo que; cada vez que Juan y
Juana visitan a Mayra obviamente le llevan regalos.
No obstante, a ninguno de los tres les visita Mario.
Se formaliza:

a) [(p . q) (r . s)] . (t . u . v)
b) [(p . q) (r . s)] . t
c) [(p . q) (r . s)] . (t . u . v)
d) [(p . q) r] . (s . t . u)
e) [(p . q) r] . s

04. Dadas las proposiciones verdaderas:
p = El evento de Tungska ocurri en 1908
q = El Experimento Filadelfia fue llevado a cabo
en 1943
r = La Materia Extica no se encuentra en el
Sistema Solar

El valor final de las frmulas:
I. p . (q r)
II. p (q + r)
III. p v (r q)

Es, respectivamente:
a) 100 b) 011 c) 111
d) 000 e) 101

05. Si se cumple que:
p = 0 ; q = 0 ; r = 1 ; s = 1

El valor final de las frmulas:
I. (p q) (r s)
II. (r v p) v (q p)
III. (p v s) + (r q)
LGICA PROPOSICIONAL


Es, respectivamente:
a) 100 b) 110 c) 001
d) 010 e) 000

CAPACIDAD: Resolucin de problemas

1. Es mejor ahorrar en euros que en dlares
americanos por la estabilidad de la Unin
Europea
2. El dlar es ms caro que la rupia, de la India, y
que el yuan, de la China.
3. La India tiene ms de mil millones de
habitantes, sin embargo, China es el pas ms
poblado del mundo
4. Si sigue creciendo la poblacin mundial a este
ritmo, pronto ser insostenible la vida en la
Tierra
5. El ingreso per cpita peruano es mayor que el
ingreso per cpita de la Repblica Popular
China

Son ciertas:
a) 1, 3 y 4 b) 2, 3 y 5 c) 1,2 y 5
d) 1, 4 y 5 e) 2, 3 y 4

1. Los Moches fueron una civilizacin ejemplar en
el antiguo Per
2. El hombre de Guitarrero vivi
aproximadamente hace 13000 aos a.C., a
orillas del ro Santa
3. Las culturas Chavn y Cupisnique se
desarrollaron en el perodo conocido como
Horizonte Temprano
4. Se le denomina Sra. de Cao a la momia
perteneciente a una gobernante de la cultura
Mochica
5. La manera como fue conservada la Sra. de Cao
es impresionante

Son ciertas:
a) 1, 3 y 4 b) 2, 3 y 5 c) 1, 2 y 5
d) 1, 4 y 5 e) 2, 3 y 4

03. La proposicin: La lgica es necesaria para la
ciencia porque la ciencia tiene aplicaciones en la
tcnica; todo lo anterior implica y est implicado
por el hecho que la lgica es necesaria para la
tcnica.

Se formaliza:
a) [(pq)r] (ps)
b) (pq)r
c) [(pq)r] (st)
d) (pq)r
e) [(p q) r] (p s)

04. La matriz principal de: Bolivia exporta petrleo y
gas natural a Chile, porque dispone de recursos
naturales Tiene:
1. 3 valores falsos en su matriz principal
2. Todos los valores verdaderos
3. Al menos un valor verdadero
4. Al menos un valor falso
5. 5 valores de verdad en su matriz principal

Son ciertas:
a) 1, 2 y 5 b) 2, 4 y 5 c) 1, 3 y 4
d) 2, 3 y 5 e) 1, 3 y 5

05. Si se cumple: p @ q = q
La matriz final de:(p @ q) @ (p @ q)
Es:

a) 1100 b) 0011 c)0101
d) 1010 e) 1001

SOLUCIONARIO

N ALTERNATIVA
01. D
02. A
03. D
04. E
05. D
06. C
07. E
08. C
09. E
10. E
11. B
12. E
13. B
14. C
15. C

Logica Proposicional

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Logica Proposicional

Caricato da

Copyright:

Formati disponibili

LGICA PROPOSICIONAL

Miguel Valverde Morales Pgina 1

Potrebbero piacerti anche