Material de Apoyo de LOGICA MATEMATICA. Elaborado por: Prof Aracelis M.

Nez R

INTRODUCCIN
En nuestro quehacer diario constantemente hacemos, deducciones. Esto significa, que cada conclusin
que obtenemos se deduce de algo. Este algo o punto de partida se llama premisa. Por ejemplo si
exponemos un trozo de hielo al calor, se concluye que el hielo se derrite, o cuando un campesino ve
una densa nube en el cielo, deduce que va a llover, o tambin de "todos los mamferos son
vertebrados" se puede concluir en "algunos mamferos son vertebrados". Este proceso de pasar de un
conjunto de premisas a la conclusin se llama inferencia o deduccin.
Cuando la conclusin se deduce correctamente del conjunto de premisas se dice que la inferencia es
vlida, en caso contrario la inferencia no es vlida. Sabemos que la conclusin se deriva correctamente
de sus premisas porque hay un conjunto de leyes lgicas que garantizan dicha correccin. Justamente
LA LGICA estudia el modo de usar estas leyes, con las cuales podemos saber si una inferencia es vlida
o no. De ah que, la lgica es una ciencia que estudia los mtodos y las leyes que determinan la validez
de la inferencia.
As como existe una teora para realizar clculos con nmeros (la aritmtica) o con objetos ms
complejos como diferencial e integral, tambin existen reglas precisas para manejar proposiciones.
Esto ltimo corresponde al estudio de la lgica proposicional
Enunciado

Algunos enunciados indican expresiones imperativas, exclamativas, interrogativas, otros
en cambio, pueden ser verdaderos o falsos.
Ejemplo 1. Son enunciados:
Qu hora es?
Que viva la familia!
2 + 5 = 7
La estados Tchira, Mrida y Trujillo estn en Venezuela
2x + 3 = 5
Proposicin

Ejemplos 2: Las siguientes afirmaciones son proposiciones:
Venezuela est en la Amrica del Sur.
Simn Bolvar naci en Caracas
1 + 1 = 3
1 + 6 = 7
El cuadrado de todo nmero par tambin es par.

Notacin de las Proposiciones
Usaremos las letras minsculas p, q, r, para simbolizar las proposiciones
Las proposiciones pueden ser:
Simples (o atmicas) cuando en ella no interviene ningn conectivo lgico o trmino de
enlace .En ellas se aprecia un sujeto ,un verbo y un predicado. El trmino de enlace no se
agrega cuando se niega esta proposicin .
Compuestas cuando se unen una o varias proposiciones simples con un trmino de
enlace. Los trminos de enlace son :, "y", "o", "si... entonces...", "si y slo si".
Ejemplos 3: Las dos primeras afirmaciones son proposiciones simples y los restantes, compuestas
El tringulo es un polgono
1 + 7 = 5
Si Juan va al cine, entonces tiene dinero
Un tringulo es equingulo si, y solo si es equiltero
Marcos en ingeniero o Beatriz es profesora
Enunciado abierto

Ejemplo. Son enunciados abiertos:

Los enunciados que usan las palabras "l", "ella" son enunciados abiertos los enunciados abiertos
que contienen variables algebraicas se les denomina funcin proposicional, que tienen
la propiedad de convertirse en proposiciones, al sustituirse la variable por una constante
especfica.
Ejemplo:
El enunciado abierto
x2 + 1 = 5
Es una funcin proposicional, el cual se convierte en proposicin cuando:
i. Para x = -3 (por ejemplo), se convierte en la proposicin
(-3)2 + 1 = 5 (F) el cual tiene valor de verdad Falsa
ii. Para x = 2, entonces, ser la proposicin
(2)2 + 1 = 5 (V) el cual tiene valor de verdad Verdadera

CONECTIVOS LGICOS: Son aquellos smbolos que enlazan dos o ms proposiciones simples. Ellos
pueden ser : Conjunciones, Disyunciones ( inclusiva y exclusiva), Condicionales y Bicondicionales

Proposicin Compuesta Trmino de Enlace y
Smbolo Lgico
Lenguaje
Simblico
Lenguaje Coloquial
Conjuncin y , pero
En el lenguaje
corriente se utiliza
tambin una "," en
P ^ q Se lee p y q, p pero q, p sin
embargo q, p incluso q, p
tanto como q, p as mismo q,
p tambin q, p al igual que q,
vez del trmino de
enlace "y".
Smbolo ( ^ )
No slo p tambin q, p no
obstante q
Disyuncin Inclusiva: Se usa
cuando se desea incluir .En este
caso ambas proposiciones
pueden ser verdaderas

Smbolo (v)
P v q Se lee P q
Disyuncin Exclusiva: Las
alternativas son excluyentes. Se
cumple que una u otra
proposicin es verdadera, pero
no ambas


Smbolo ( v )
P v q Se lee p q
Condicional o Implicacin Si ..entonces..
Smbolo
P q Se lee Si p entonces q
Bicondicional

"si y slo si"
Smbolo
P q Se lee P si y solo si q
Negacin : se agrega a una sola
proposicin
no
Smbolo y ~
p
~p
Se lee No p
No es cierto p

En proposiciones que tienen ms de un trmino de enlace es preciso indicar la manera de
agruparse, pues distintas agrupaciones pueden tener distintos significados. En el lenguaje
corriente, las agrupaciones se presentan de acuerdo a la colocacin de ciertas palabras o mediante
los signos de puntuacin. En lgica la agrupacin se indica por medio de parntesis.
Ejemplo:
O los soldados encontraron cerrado el paso, o si temieron un ataque enemigo, se refugiaron en las
montaas. Este texto se simboliza de la siguiente forma:
P: Los soldados encontraron cerrado el paso.
Q: Los soldados temieron un ataque enemigo.
R: Los soldados se refugiaron en las montaas.
La proposicin compuesta es:
P v QR)
La cual tiene un sentido distinto de la proposicin:
(PQ) R.
La cual se lee Si los soldados encontraron cerrado el paso o temieron un ataque enemigo, se
refugiaron en las montaas
Cuando no hay lugar a ambigedades, pueden omitirse los parntesis y se adopta una
convencin con respecto a la dominancia relativa de los diversos conectivos. La convencin es:
"" y "" dominan a "" y "".
as: S PR significa S (P R)
P Q r significa P (Q R)
ACTIVIDADES
1. Sean p, q y r las proposiciones siguientes:
p: "est lloviendo"...q: "el sol esta brillando"r: "hay nubes en el cielo"
Traduciremos las siguientes oraciones a notacin simblica utilizando las letras asignadas y los
conectivos lgicos:
1 Est lloviendo y el Sol brillando p^q
2 Si est lloviendo, entonces hay nubes en el cielo
P r
3
Si est lloviendo, entonces el Sol no est brillando y hay nubes
en el cielo
p (q ^ r )
4 El Sol est brillando si, y slo si, no est lloviendo
q p
5 Si no hay nubes en el cielo, entonces el Sol est brillando
r q
5 O est lloviendo o el sol est brillando P v q

2. Sean p, q y r del ejercicio 1. Traducir las siguientes proposiciones simblicas a oraciones
en espaol:

(p ^ q ) r Si est lloviendo y el sol no est brillando entonces hay nubes en el cielo
p (q v r ) No est lloviendo si y solo si el sol est brillando o no hay nubes en el cielo
P r q Si est lloviendo entonces hay nubes en el cielo, de aqu que el sol no est
brillando.
Si est lloviendo entonces hay nubes en el cielo, de ser esto cierto
entonces el sol no est brillando


3. Selecciona un artculo de peridico o de una revista: identifica, proposiciones simples,
conjunciones, disyunciones e implicaciones.
4. Construye funciones proposicionales, proposiciones verdaderas y falsas y enunciados

La proposicin: "si est lloviendo, entonces hay nubes en el cielo" se simboliza:
Ejercicio: Simbolice y redacte la recproca, inversa y contrarecproca

Lenguaje
Lgico o
Simblico
Lenguaje Espaol o Coloquial
Recproca
r p
Si hay nubes en el cielo entonces est lloviendo
Inversa
p r
Si no est lloviendo entonces no hay nubes en el cielo
Contrarecproca
r p
Si no hay nubes en el cielo entonces no est lloviendo
Negacin de Proposiciones
NEGACION DE UNA PROPOSICION LENGUAJE SIMBOLICO Y EQUIVALENCIA
Negacin De Una Conjuncin (P ^ q) equivale a p v q
Negacin De Una Disyuncin ( p v q ) equivale a p ^ q
Negacin De Un Condicional ( p q) equivale a p ^ q
Negacin De Una Negacin ( p ) equivale a p

Traduzca las siguientes proposiciones simblicas a lenguaje coloquial, con p ,q y r las
proposiciones del ejercicio anterior

Negacin De Una
Conjuncin
(P ^ q) equivale a
p v q

No es cierto que Est lloviendo y el sol est brillando ( (P ^ q))
es equivalente a
*NO ESTA LLOVIENDO O EL SOL NO ESTA BRILLANDO (p v q)


Negacin De Una
Disyuncin
( p v q ) equivale a
p ^ q
No es cierto que Est lloviendo o que el sol est brillando ( ( p v q ))
es equivalente a
*NO ESTA LLOVIENDO Y EL SOL NO ESTA BRILLANDO ( p ^ q)
*NI ESTA LLOVIENDO, NI EL SOL ESTA BRILLANDO
Negacin De Un
Condicional
( p q) equivale
a p ^ q
No es cierto que Si est lloviendo entonces hay nubes en el cielo( ( p q))
es equivalente a
*ESTA LLOVIENDO Y NO HAY NUBES EN EL CIELO (p ^ q)
Negacin De Una
Negacin
( p ) equivale a p

No es cierto que No est lloviendo ( ( p )) es equivalente a
*ESTA LLOVIENDO
La negacin de la conjuncin y de la disyuncin son conocidas como las Leyes de Morgan
UNIDAD 02
CLCULO PROPOSICIONAL
OBJETIVOS
Calcular el valor de verdad de proposiciones compuestas
Construir razonamientos vlidos en matemtica

La lgica proposicional es la ms antigua y simple de las formas de lgica. Utilizando una
representacin primitiva del lenguaje, permite representar y manipular aserciones sobre el
mundo que nos rodea. La lgica proposicional permite el razonamiento, a travs de un
mecanismo que primero evala sentencias simples y luego sentencias complejas, formadas
mediante el uso de conectivos proposicionales, por ejemplo Y (AND), O (OR). Este
mecanismo determina la veracidad de una sentencia compleja, analizando los valores de
veracidad asignados a las sentencias simples que la conforman.
Una proposicin es una sentencia simple que tiene un valor asociado ya sea de verdadero
(V), o falso (F).
. La lgica proposicional proporciona un mecanismo para asignar valores de veracidad a la
proposicin compuesta, basado en los valores de veracidad de las proposiciones simples y
en la naturaleza de los conectores lgicos involucrados.
La definicin de proposicin nos dice que debe ser una oracin a la cual se le puede asignar un
valor de verdad de manera precisa, sin ambigedades. Ahora bien, cmo le asignamos un valor
de verdad a las proposiciones compuestas?, es decir, a las proposiciones que contienen alguno de
los conectivos lgicos. Esto lo haremos a travs de tablas de verdad.
1. Tabla de la negacin

2. Tabla de la disyuncin (inclusiva o dbil)
La disyuncin inclusiva es verdadera, si al menos una de las proposiciones
componentes es verdadera, resultando falso nicamente cuando las dos proposiciones son falsas.
3. Tabla de la disyuncin (exclusiva o fuerte)
La disyuncin exclusiva es verdadera cuando slo una de las proposiciones
que la compone es verdadera, resultando falso en cualquier otro caso.
4. Tabla de la conjuncin
La Conjuncin es nicamente verdadera cuando los valores de las
proposiciones que la compone son ambas verdaderas, resultando falso en cualquier otro caso.
5. Tabla de la condicional
y se lee: Si p, entonces q. A la proposicin "p" se le llama antecedente o hiptesis y a "q"
consecuente o tesis.
Esta es su tabla de verdad:


Si analizamos la palabra "entonces", la podemos entender como una deduccin (que se puede
realizar en base a la experiencia o por simple razonamiento mental)
Actividad
Justificaremos las lneas 3 y 4 de la tabla condicional mediante ejemplos. (Los dos primeros
quedaran como ejercicios)
Es posible deducir una verdad, partiendo de una falsedad?
Aunque esto contradiga nuestra intuicin, si es posible. Veamos el siguiente ejemplo:

Analizando el antecedente o hiptesis se tiene:
Si 2 = 3, podemos escribir como 3 = 2
Sumando miembro a miembro las igualdades

Entonces decimos que:
De la falsedad de (2 = 3) hemos deducido una verdad (5 = 5)


i. Es posible deducir una falsedad a partir de una falsedad?
Tambin es posible. Veamos el siguiente ejemplo:

Analizando la hiptesis se tiene:
i. Multiplicando ambos miembros por 2
2 x 2 = 3 x 2
4 = 6
ii. Hemos deducido que:
De la falsedad de (2 = 3), hemos deducido una la falsedad (4 = 6)



6. Tabla de la bicondicional o doble implicacin
Dadas las proposiciones simples "p" y "q", se llama bicondicional a la proposicin definida por
la conjuncin de la proposicin condicional con su recproca.
La Bicondicional ser verdadera solo
si ambas proposiciones son falsas o ambas proposiciones son verdaderas. Ntese que la
bicondicional p q significa una deduccin doble: de "p" se puede deducir "q" y de "q" se puede
deducir "p"
7. Clculo de valores de verdad de proposiciones compuestas
Utilizando los conectivos lgicos, se pueden combinar cualquier nmero finito de proposiciones
simples, para obtener otras proposiciones cuyos valores de verdad pueden ser conocidos
construyendo sus tablas de verdad.
Para efectuar el nmero de combinaciones de los valores de las proposiciones, recurrimos a la
relacin 2n, donde n representa el nmero de proposiciones.
Ejemplo 1. Construir la tabla de verdad de la proposicin:


Ejemplo 3. Dadas las proposiciones p, q r cuyos valores de verdad son V,F, F .Hallar el valor de
verdad de la siguiente proposicin compuesta
r ^ ( p v q)
Solucin
r ^ ( p v q) = F ^ (V v F) = V ^ (V v V ) = V ^ V = V

8. Proposiciones Lgicamente Equivalentes
Dos proposiciones son equivalentes cuando el resultado de sus tablas de verdad son iguales.
Ejemplo. Las proposiciones son equivalente, ya que:

La equivalencia entre dos proposiciones p y q lo escribimos como p q
La proposicin p q es equivalente a (p q ) ^ ( q p)
Nota: La relacin de equivalen es reflexiva, simtrica y transitiva
9. TAUTOLOGAS, CONTRADICCIONES Y CONTINGENCIAS
Una expresin proposicional se llama tautologa, si los valores de verdad de su operador
principal son todos verdaderos.
Se llama contradiccin o anti tautologa, si los valores de verdad de su operador principal
son todos falsos.
Se llama contingencia, cuando los valores de verdad hay valores verdaderos y falsos

LEYES DE LA LGICA PROPOSICIONAL
DENOMINACIN REPRESENTACIN LGICA
Leyes Equipotenciales A => B = ~A v B
A ^ ~A = F
A v ~A = V
Leyes Conmutativas A ^ B = B ^ A
A v B = B v A
Leyes Distributivas A ^ (B v C) = (A ^ B) v (A ^ C)
A v (B ^ C) = (A v B) ^ (A v C)
Leyes Asociativas A ^ (B ^ C) = (A ^ B) ^ C
A v (B v C) = (A v B) v C
Leyes Absortivas A ^ (A v B) = A
A v (A ^ B) = A
Leyes de DeMorgan ~(A ^ B) = ~A v ~B
~(A v B) = ~A ^ ~B


BIBLIOGRAFIA
Burgos ,Alfonso. Iniciacin a la Lgica Matemtica. Ediciones Vega S.R.L.
Huisa Sanizo , Rodolfo. Lgica Proposicional. Monografas. Com
http://docencia.udea.edu.co/SistemasDiscretos/contenido/capitulo_01.html
www.educared.org/wikiEducared/Lgica_proposicional.html



GUIA DE EJERCICIOS. TALLER DE LOGICA PROPOSICIONAL ( Semestre Agosto- Diciembre 2012)
Elaborado por la Prof . Aracelis M. Nez R.
1. De los siguientes enunciados cuales son de proposiciones y cules no. Justifica tu
respuesta
a) Todos los planetas giran alrededor del sol
b) Si un nmero es divisible por 8 tambin lo es por 2
c) a + b + 10 = 20
d) a + b + 10 = 20; donde a = 4, b= 7
e) Batman es el hombre murcilago
f) Socorro!
g) Todo organismo viviente se adapta a su medio fsico
h) Habr juicio final?

2. Lectura
"Caa una espesa lluvia. Juan se despert y lanz un gemido Aj, aj, el colegio! Se levant de
la cama y se sent en una silla. Oy la bocina de un auto o el silbato de un polica. Entonces se
estremeci. Por causa del fro o del miedo. Estaban haciendo tanto ruido. Repentinamente se le
ilumin la cara. Qu bien! Se haban acordado de algo. Las clases no empiezan hoy, sino maana"
Actividades
a. Seala 5 proposiciones simples ( p, q, r, s, t )de la lectura realizada
b. En base a lectura seala 5 proposiciones compuestas y escrbelas en lenguaje simblico
3. Dadas las siguientes proposiciones compuestas exprsalas en forma simblica como p,q,r ,
etc con sus correspondientes conectivos lgicos
a.- O el barco se hundi por causa de un temporal o porque estaba mal construido o porque choco
con algo
b.- si los chinos son amarillos y los alemanes tienen los pies grandes entonces los cubanos son
calvos
c.- Juan es inteligente y Pedro es estudioso
d.- Si a las ranas les gusta el agua entonces a las hormigas le gusta el vino
e.- O a los elefantes le gusta bailar la rumba o a las tortugas le gusta la velocidad
f.- A los monos le gustan las bananas pero a los leones no
4. Si p: significa que Margarita es alta y q : significa que Margarita es estudiosa escribir en
lenguaje simblico
a.-Margarita es alta y estudiosa
b.- No es cierto que Margarita sea baja y estudiosa
c.- Margarita es alta pero no es estudiosa
d.- Margarita es baja o es alta y estudiosa
e.- Margarita no es ni alta ni estudiosa
f.-No es cierto que Margarita sea estudiosa ni alta
5. Si p: significa hace sol y q: significa est lloviendo se pide expresar en lenguaje coloquial
las siguientes proposiciones
A) p v q B) p ^ q C)p ^ q D) p v q E) p ^ q F) ( q ) G ) ( p v q ) H) p q
I) ( p q) J) (p q)

6.- Dado p : hace frio q : esta nublado y r : est lloviendo . Redacte en lenguaje coloquial de
dos formas diferentes las siguiente proposiciones compuestas
(r p)
( p v q )
( p ^ r)
( q)
( q r )
( q v r )
(r ^ p)

7.-Expresa en lenguaje simblico las siguientes proposiciones

O no hace frio o no esta nublado
No es cierto que haga frio o que este nublado
No es cierto que si Juan no tiene tareas entonces va al cine
Luis este fin de semana ni va a la playa ni juega Softball
Margarita es inteligente pero no es alta
Margarita no es inteligente y no es gorda
Si Miguel no estudia entonces no aprueba el ao escolar
No es cierto que Luis no es alto o no es gordo

8.-Seala el valor de verdad de las siguientes proposiciones
A)pvp B) ( p ^ q) C) (pvq)v p D) ( p q) E) ( p q )v p F)( p q) ^ q
G) p ^( q v r) H) (p ^ q ) v ( q ^ r) I) ( p v r) ^ ( p q) J) ( p v q ) (q v r)

9.- Demuestre que la proposicin p q es equivalente a (p q ) ^ ( q p)
mediante la construccin de sus tablas de verdad
10.- Demuestre que la proposicin p q es equivalente a ( p ^ q ) mediante la
construccin de sus tablas de verdad
11.- Demuestre que la proposicin ( p v q) es equivalente a p ^ q mediante la construccin
de sus tablas de verdad
12.- Demuestre que la proposicin ( p ^ q) es equivalente a p v q mediante la construccin
de sus tablas de verdad
13.- Seale si las siguientes proposiciones son tautologas, contradicciones o contingencias
a.- (p ^ q ) ( p v q )
b.-( p ^ ( q v r )) ((p v r) ^ q )
c.- ( p q ) ( q p
14.- Dada la proposicin p : Juan es inteligente y q: Juan es excelente estudiante, construye la
proposicin condicional, la recproca , la inversa y la contrarecproca
15.- Construye las tablas de la verdad de la proposicin condicional, la recproca , la inversa y la
contrareciproca y seala cul de ellas son equivalentes