Escolar Documentos
Profissional Documentos
Cultura Documentos
Matemtico
Gonzales Caicedo
Walter Orlando
www.goncaiwo.wordpress.com
Pimentel, Febrero de
2010
Contenido
1. Lgica Proposicional
2. Simbolizacin y valoracin de proposiciones
3. Ejercicios aplicativos
Objetivo
Presentar los conceptos bsicos de la
lgica proposicional.
Capacida
d
Lgica Proposicional
La lgica es la rama del conocimiento que trata
los modelos de razonamiento, mediante reglas y
tcnicas, con el fin de determinar si un argumento
dado es vlido. El tema que nos ocupa es el de la
lgica usada en matemticas. Aqu trabajamos con
elementos bsicos llamados Proposiciones.
Enunciado: Es toda expresin lingstica, que
constituye una frase u oracin.
Proposicin: Enunciado que puede ser falso o
verdadero pero no ambas a la vez. La proposicin
es un elemento fundamental de la lgica
matemtica. La verdad o falsedad de una
proposicin es lo que se llama su valor de verdad.
Ejemplos
Son proposiciones lgicas:
Maana llover.
las entidades
Sintate!
F
F
..
..
Conectivos
Se denominan
Lgicos:
conectivos lgicos a aquellas palabras o
trminos funcionales que ligan, juntan, unen o
enlazan las proposiciones simples formando
proposiciones compuestas. Los operadores o
conectores
CONECTIVObsicos
SMBOLOson:
NOMBRE DE LA PROPOSICIN
No
Negacin
Conjuncin
Disyuntiva inclusiva
o. . . o. . .
Disyuntiva exclusiva
Si entonces...
Condicional
si y slo si
Bicondicional
Negacin (~):
Conjuncin:
Dadas las proposiciones p, q. La conjuncin es el
resultado de unir estas proposiciones con el conectivo
lgico y. Se denota con el smbolo: , , se
escribe p q, p q y se lee: p y q. La
proposicin conjuntiva es verdadera. Cuando las dos
proposiciones son verdaderas. En nuestro lenguaje
podemos emplear: Sin embargo An cuando No
obstante Pero, etc.
Ejemplo:
Consideremos las siguientes proposiciones:
p: La camioneta enciende cuando tiene gasolina en el
tanque
q: Tiene corriente la batera
Entonces:
p q: La camioneta enciende cuando tiene gasolina
en el tanque y tiene corriente la batera
Disyuncin:
Es una proposicin compuesta formada por p y por q
relacionadas por el conectivo lgico o. Segn el sentido
del conectivo o, se puede interpretar de dos maneras:
inclusiva o exclusiva.
Disyuncin Inclusiva o Dbil: Se denota por p q,
p + q y se lee: p o q. La disyuncin inclusiva es falsa
slo en el caso que ambas proporciones sean falsas. Se
conoce como la suma lgica. Otras formas de conexin
que nos indican una disyuncin inclusiva son:
A menos que, Excepto que, O en todo caso, A no ser que,
etc.
Ejemplo: Consideremos:
p : La USS es privada
q : La USS es estatal
Entonces:
p q: La USS es privada o en todo caso la USS es
estatal
Condicional:
Proposicin compuesta que resulta de la combinacin de dos
proposiciones simples, a travs del conectivo: Si ...,
entonces ... y su smbolo es : , . La notacin p
q, p q se lee Si p , entonces q ; proposicin p se
llama antecedente o hiptesis y la proposicin q se llama
consecuente o conclusin.
La manera de expresar la condicional en el orden
antecedente-consecuente (p q Implicacin directa),
son las siguientes:
Si p, entonces q
p implica q
p por ende q
Slo cuando p, q
Ejemplo: consideremos:
p : Llueva
q : Mejorarn las cosechas
De tal manera que la representacin del enunciado anterior
usando simbologa lgica queda indicado por:
p q : Siempre que llueva entonces mejoraran las
cosechas
q p : Mejoraran las cosechas siempre que llueva
Bicondicion
Cuando
dos proposiciones estn unidas por el conectivo lgico
al:
Ejemplo: Consideremos:
p : Los bancos dan crdito
q : Mirta labora en el IFB
De tal manera que la representacin del enunciado
anterior usando simbologa lgica queda indicado por:
p q : Los bancos dan crdito siempre y cuando
Mirta labora en el IFB.
RESUMEN DE TABLAS DE VERDAD
~p
pq
pq
p q
p q
pq
VALORACIN DE
PROPOSICIONES
Hasta el momento hemos conocido la simbolizacin
de las proposiciones tanto atmicas como las
proposiciones moleculares. Para determinar los
valores de verdad a las segundas, es necesario
tener en cuenta las tablas de verdad de las
proposiciones atmicas ya que, slo ellas pueden
recibir directamente los valores de verdad.
Considere los siguientes ejemplos:
Si los alumnos aprueban todos los cursos,
entonces obtienen su bachillerato o su titulo.
Tenemos las proposiciones:
p : Los alumnos aprueban todos los
cursos
q : Obtienen su bachillerato
r : Su titulo
Se simboliza:
p (q r)
La tabla de verdad
esta dado por:
(q r)
p : Sale el sol
q : Iremos a la playa
Se simboliza:
(p q) p q
La tabla de verdad para el esquema molecular,
esta dado por:
(p q) p q
FV VF
FF VV
FF VF
VV VV
(p q) p
F V
F V
F
F
Ejercicios Aplicativos
Formaliza
las
proposiciones:
siguientes
Solucin
Solucin (1):
Se simboliza:
Solucin (2):
Se simboliza:
Solucin (3):
Se simboliza:
Solucin (4):
p = Me gusta estudiar
(p)
q = Me gusta bailar
r = Me gusta leer libros de ciencia ficcinse
qr
u = Los gatos de mi hermana sueltan pelo
t = Me gusta acariciar los gatos
u
pq
Solucin (5):
excelencia
Se simboliza:
Solucin (6):
qp
p = Cuando la produccin de una empresa aumenta
q = Aumenta la productividad
r = En algunos casos la demanda
Se simboliza:
Solucin (7):
p (q r)
s = Prefiero ir de vacaciones
t = Sin hacer nada
p = Tener tiempo para ello
q = Ir a trabajar al banco
Se simboliza:
(p q ) (s v t )
THANKS