Uniguajira

Catedra de Lgica Formal

Manual # 1

Lgica. (Del lat. logca, y este del gr. ).

La lgica es una ciencia formal y una rama de la filosofa que estudia los principios de
la demostracin e inferencia vlida. La palabra deriva del griego antiguo (logike),
que significa "dotado de razn, intelectual, dialctico, argumentativo", que a su vez
viene de (logos), "palabra, pensamiento, idea, argumento, razn o principio".
Tomado de: http://es.wikipedia.org/wiki/L%C3%B3gica
La lgica formal
es la parte de la lgica que, a diferencia de la lgica informal, se dedica al estudio de
la inferencia mediante la construccin de lenguajes formales, sistemas deductivos y
semnticas formales. La idea es que estas construcciones capturen las caractersticas
esenciales de las inferencias vlidas en los lenguajes naturales, pero que al ser
estructuras formales y susceptibles de anlisis matemtico, permiten
realizar demostraciones rigurosas sobre ellas.
La lgica formal no debe ser confundida con la lgica matemtica, antes
llamada lgica simblica, que es una subdisciplina de la lgica formal.
Tomado de: http://es.wikipedia.org/wiki/L%C3%B3gica_formal
Una Proposicin es una expresin u oracin declarativa con sentido completo
que no depende de la persona, ni del espacio ni del tiempo. Toda proposicin
tiene un valor de verdad que puede ser verdadero o falso pero no ambas a la vez,
esto es una ley denominada ley del tercer excluido. La proposicin es el elemento
fundamental de la lgica. Una proposicin se expresa generalmente con letra
minscula, dos puntos y a continuacin la oracin.
Algunos ejemplo de proposiciones validas o no validas son:

p: La tierra es plana.
q: 17 + 15 = 2
r: x > y-9
s: El Junior ser el prximo campen de Colombia.
t: Buenos das
w: Hoy es lunes
v: Hace Calor
x: Santa Marta es ms bonita que Valledupar

Las proposiciones se clasifican en simples y compuestas. Las proposiciones simples

estn formadas por una sola oracin y las compuestas por ms de una oracin y
enlazadas por conectivos lgicos a saber: la negacin, disyuncin, conjuncin,
condicional y bicondicional.
1
Lgica Formal

MSc. Stanley M. Illidge A.

Uniguajira

Catedra de Lgica Formal

Manual # 1

La Negacin Si a una proposicin simple se le antepone la expresin no es cierto o

se le interpone el adverbio no se forma una proposicin compuesta llamada la
negacin de la proposicin principal. Se simboliza con p. Si p es una proposicin
simple, la negacin de p se representa p y se lee no p.
Tabla de verdad
Utilizaremos los nmeros 1 y 0 para indicar que las proposiciones son verdaderas
o falsas respectivamente
p
1
0

p
0
1

Ntese que si la proposicin es verdadera su negacin es falsa y viceversa

Ejercicio. Niegue cada una de las siguientes proposiciones
a.
b.
c.
d.
e.

La matemtica es la madre de todas las ciencias

Colombia con la mejor democracia en Amrica Latina
El hombre no es el nico animal racional
No es cierto que todas las aves vuelan
No hay nadie en casa
La Disyuncin Inclusiva es una proposicin compuesta formada por dos o ms
proposiciones simples. Se representa con el smbolo v se lee o. Si p y q son proposiciones
simples la disyuncin de p y q se representa p v q se lee p o q.
Tabla de verdad
p

pvq

0 0
0
Ntese que la disyuncin solamente es falsa si las dos proposiciones son falsas

2
Lgica Formal

MSc. Stanley M. Illidge A.

Uniguajira

Catedra de Lgica Formal

Manual # 1

Ejercicios: Escriba la proposicin compuesta e indique su valor de verdad si:

a.
r: Simn Bolvar era venezolano
s: Simn Bolvar era colombiano.
Entonces: r v s
b.
p: La tierra es redonda
q: La tierra es ovalada
Entonces: p v q
c.
p: La ballena es un mamfero
s: La ballena no tiene branquias
Entonces: p v s
d.
p: El calentamiento global es consecuencia de que la tierra se acerca al sol
s: El calentamiento global es consecuencia del nmero de
habitantes de la tierra
Entonces: p v s
e.
p: La evolucin tecnolgica ha retrasado la evolucin del hombre
s: La evolucin tecnolgica no aporta a la inteligencia del hombre
Entonces: p v s

3
Lgica Formal

MSc. Stanley M. Illidge A.

Uniguajira

Catedra de Lgica Formal

Manual # 1

La Disyuncin Exclusiva Es un caso especial de disyuncin cuyo smbolo es v, que se

diferencia del anterior en que solo es verdadera cuando una y solamente una de las
proposiciones es verdadera.
La Conjuncin es una proposicin compuesta formada por dos o ms
proposiciones simples. Se representa con el smbolo se lee y. Si p y q son
proposiciones simples la conjuncin de p y q se representa p q se lee p y q.
Tabla de verdad
p

pq

0 0
0
Ntese que la conjuncin es verdadera solo cuando las dos proposiciones son
verdaderas.
Ejercicios: Escriba la proposicin compuesta e indique su valor de verdad si:
a.
r: Simn Bolvar era venezolano
s: Simn Bolvar lidero la libertad de las chilenos.
Entonces: r s
b.
p: La tierra es redonda
q: La tierra es achatada en los polos
Entonces: p q
c.
p: La ballena tiene branquias
s: La ballena es un mamfero
Entonces: p s
d.
p: La Sierra nevada de Santa Marta pertenece al Cesar
s: La sierra nevada de Santa Marta no esta afectada por el
calentamiento global
Entonces: p s
e.
p: La evolucin tecnolgica ha retrasado la evolucin del hombre
s: La evolucin tecnolgica no aporta a la inteligencia del hombre
Entonces: p s

4
Lgica Formal

MSc. Stanley M. Illidge A.

Uniguajira

Catedra de Lgica Formal

Manual # 1

La Condicional es una proposicin compuesta formada por dos o ms

proposiciones simples. Se representa con el smbolo se
lee SiEntonces. Si p y q son
proposiciones simples el condicional de p y q se representa p q se lee Si p entonces q.
Tabla de verdad
p

Ntese el condicional solo

es

falso

cuando

la

primera

proposicin

verdadera y la segunda es falsa.

Ejercicios: Escriba la proposicin compuesta e indique su valor de verdad si:
a.
r: Todos los peces son ovparos
s: La ballena no es pez
Entonces: r
s
b.
p: Colombia es el tercer pas ms rico en agua
q: En Colombia no hay problemas con el consumo de agua
Entonces: p
q
c.
p: Colombia instalar bases militares de EEUU
s: Venezuela rompe relaciones con Colombia
Entonces: p
s
d.
p: Los paramilitares devuelven las tierras
s: No hay desplazados en Colombia
Entonces: p
s
e.
p: La evolucin tecnolgica ha mejorado el nivel de vida del hombre
s: El hombre ha aprovechado la evolucin tecnolgica
Entonces: p
s
f.
p: El incremento de la inflacin sube las tasas de inters
s: El incremento de la inflacin trae inversionistas extranjeros
Entonces: p
s

5
Lgica Formal

MSc. Stanley M. Illidge A.

es

Uniguajira

Catedra de Lgica Formal

Manual # 1

Tipos de Condicionales
Dado la condicional p q denominada

condicional directa entonces se

denomina:
Contraria: la condicional p
Reciproca: la condicional q

q
p

Contra-reciproca: la condicional q

Ejercicio:
Escriba la contraria, la recproca y la contra-reciproca de cada proposicin
1. Si las fiestas del mar fueron un xito entonces deben continuar realizndola
2. Si los pases vecinos a Colombia colaboran con los grupos insurgentes entonces
no son pases amigos
3. Si el Unin Magdalena no juega bien entonces el estadio estar siempre
vacio
4. Si las religiones son utilizadas para alabar un Dios entonces porque explotan a
los feligreses
La Bi-condicional es una proposicin compuesta formada por dos o ms
proposiciones simples. Se representa con el smbolo
se lee Si .. Solo si. Si
p y q son proposiciones simples la bi-condicional de p y q se representa p
q se
lee p si solo si q.
Tabla de verdad
p
1
1
0
0

q p
1
0
1
0

q
1
0
0
1

Ntese la bi-condicional es verdadero si los valores de verdad de las proposiciones

son iguales.

6
Lgica Formal

MSc. Stanley M. Illidge A.

Uniguajira

Catedra de Lgica Formal

Manual # 1

Ejercicios: Escriba la proposicin compuesta e indique su valor de verdad si

a.
r: En Colombia hay paz
s: En Colombia todos los gobernantes son honestos
Entonces: r
s
b.
p: x + 5 = 7
q: x = 2
Entonces: p

c.
p: Las clulas vegetales poseen cloropastos
s: Las clulas vegetales poseen clorofila
Entonces: p
s
d.
p: Los paramilitares devuelven las tierras
s: Los paramilitares tienen garantizado el reintegro a la sociedad
Entonces: p
s
e.
p: El Unin Magdalena volver a la primera categora
s: El unin Magdalena es vendido
Entonces: p
s
f.
p: Hait es el pas ms pobre del mundo
s: Hait es el pas con mayor posibilidad de invasin extranjera
Entonces: p
s

7
Lgica Formal

MSc. Stanley M. Illidge A.

Uniguajira

Catedra de Lgica Formal

Manual # 1

Equivalencias de los Conectores

Conector

Lenguaje Comn

Negacin

No; No es cierto que; no es el caso que

Conjuncin

Y: Pero; Sin embargo; Adems; Aunque; A

la vez; No obstante, Ni

Disyuncin
Condicional

O;
Si entonces; Por lo tanto, si,
dado
que;
siempre
que;
porque; en vista que

Bicondicional

Si y solo si

Interpretacin oracional Idiomtica

Se denomina interpretacin idiomtica, a cualquier enunciado cuya
estructura coincida con una proposicin dad:
Ejercicio. Interprete oracionalmente cada enunciado, identifique las
proposiciones simples y represente en forma simblica

Si los estudiantes son responsables de sus compromisos y muestran inters

en el estudio de su profesin entonces la universidad mejora el nivel acadmico
o buscar estrategias para la desercin
Si el hombre fuera racional entonces no construyera armas lesivas para la

humanidad
Es falso, que las rosas son rojas y las violetas son azules
Si las polticas de estado son buenas entonces el pas no estara en guerra
Si Radamel Garca y Johan Volanten son samarios entonces son buenos

jugadores de futbol o se formaron en otro pas

Si Colombia es el pas que ms abastece a Venezuela y Venezuela es el principal
comprador de los productos colombianos entonces las diferencias en sus
presidentes no convienen a ninguno de los dos pases
Los residentes cancelarn la administracin si solo si la la junta directiva cambio
al administrador o abren una cuenta bancara donde se pague la administracin
Si el calentamiento global es producto de la contaminacin ambiental o de
la tala indiscriminada de rboles, entonces no, a la contaminacin ambiental y a la
tala indiscriminada de arboles
La inversin social se mejora si solo si se implementan polticas de fortalecimiento
tributario y no hay corrupcin administrativa

8
Lgica Formal

MSc. Stanley M. Illidge A.

Uniguajira

Catedra de Lgica Formal

Manual # 1

Diagrama de Verdad de las proposiciones Compuestas

Los diagramas de verdad nos permiten conocer el valor de verdad de un enunciado
compuesto
Ejercicio. Hallar el valor de cada proposicin si: a (1), b(0), c(0) y d(1)
(a b)
c
(b v c)
d
(b v d)d
b v d
[(d a) v c]
[(d v c) (a v c)]
c
(a c)
Tablas de Verdad
Una tabla de verdad es un diagrama que permite determinar claramente cuando una
proposicin compuesta es verdadera, falsa o variada. Si todos los valores de verdad de
una proposicin compuesta son verdaderos se denomina una tautologa, si son falsos
una contradiccin, de lo contrario se llama indeterminada o contingencia.
El proceso de construccin de una tabla de verdad inicia por determinar el nmero
de combinaciones posibles de los valores de verdad de las proposiciones simples
constituyentes. Si la proposicin consta de n proposiciones simples diferentes, puesto
n
que cada una de ellas tiene dos valores posibles (verdadero o falso) habr 2
combinaciones posibles de valores.
Ejercicio Construir las tablas de verdad de cada proposicin e indicar el tipo
1. p (p v q)
Metodo-1
Consiste en escribir la proposicin en el orden de operacin as
p

pvq

p (p v q)

Se le dan las posibles combinaciones de os valores de verdad de p y q

p
1
1
0
0

q
1
0
1
0

pvq

p (p v q)

9
Lgica Formal

MSc. Stanley M. Illidge A.

Uniguajira

Catedra de Lgica Formal

Manual # 1

Se halla p v q, recuerde que la disyuncin solamente es falsa si las dos proposiciones

son falsas
P
1
1
0
0

Q
1
0
1
0

p (p v q)

pvq
1
1
1
0

Y por ltimo el p (p v q) recuerde que el condicional solo es falsa si la primera

proposicin es verdadera y la segunda falsa
p
q
p v q p (p v q)
1
1
1
1
1
0
1
1
0
1
1
1
0
0
0
1
Como todos los valores al final de la tabla son verdaderos entonces la proposicin
es una tautologa
Metodo-2
Se escribe la proposicin en el orden dado separando cada proposicin
simple y conector, teniendo en cuenta donde quedar el resultado final
p

(p

q)

Se le da los posibles valores a cada proposicin simple

p
1
1
0
0

(p
1
1
0
0

q)
1
0
1
0

Se resuelve la disyuncin, p v q
p
1
1
0
0

(p
1
1
0
0

v
1
1
1
0

q)
1
0
1
0

10
Lgica Formal

MSc. Stanley M. Illidge A.

Uniguajira

Catedra de Lgica Formal

Manual # 1

Se resuelve el condicional
p
(p
v
q)

2. [(p q) q]
3. [(p v q) p]
4. (p q) r
Ejercicio. Construir la tabla de verdad de cada proposicin compuesta e indique su
tipo

( p q)
(p v q) p
p (p q)
(p v q) (p q)
[ (p p ) q]
p
(p q)
(p q) (p v q)
[(p
q) q]
(p q) v r

11
Lgica Formal

MSc. Stanley M. Illidge A.

Uniguajira

Catedra de Lgica Formal

Manual # 1

Equivalencia Lgica: Algebra de proposiciones

Se dice que dos proposiciones P(p, q, ) y Q(p, q, ) son lgicamente equivalentes
si tienen idnticas tablas de verdad, se denota P(p, q, ) Q(p, q, ).
Por ejemplo. Consideremos las tablas
(p q) y p v
q
P
1
1
0
0

Q
1
0
1
0

pq
1
0
0
0

(p q)
0
1
1
1

de

p
1
1
0
0

verdad de

q
1
0
1
0

p
0
0
1
1

q
0
1
0
1

las proposiciones

p v
0
1
1
1

Como los resultados finales de las tablas de verdad son iguales, las proposiciones
son equivalentes es decir

(p q)

( p v

q)

Ejercicio. Verifique la equivalencia de la siguiente proposicin:

(p v q) p
p
q

q)
(p v q) (p q)

Las proposiciones satisfacen muchas equivalencias lgicas, o leyes, a continuacin

enunciamos unas de las ms importantes, t denota tautologa y f contradiccin.

12
Lgica Formal

MSc. Stanley M. Illidge A.

Uniguajira

Catedra de Lgica Formal

Manual # 1

Leyes del Algebra de Proposiciones

Taller N 1
1.
Seale s o no, los siguientes enunciados son proposiciones, si considera que un
enunciado no es proposicin justifique su respuesta y si lo es indique su valor de verdad
N

Enunciado

1
2

Facebook es un sitio web gratuito de redes sociales

Facebook es la mejor herramienta de
comunicacin
virtual
Facebook es una aberracin hacia la de privacidad.
Facebook fue creado para cientficos
Facebook es un arma sicolgica para los jvenes

3
4
5

Si

No Justificacin/Valor
Verdad

2. Sean
p: Facebook no cuenta con ms de 400 millones de usuarios, q: Facebook es una
herramienta para compartir informacin
r: Facebook ha recibido todo tipo de crticas por al alcance que est teniendo entre menores,
13
Lgica Formal

MSc. Stanley M. Illidge A.

de

Uniguajira

Catedra de Lgica Formal

Manual # 1

s: Facebook ha recibido todo tipo de crticas por sus polticas de privacidad. t: Facebook no
tiene restricciones para su uso.
Escriba una oracin por cada proposicin
Proposicin
( p)

Oracin

pq
r vs
st
t (r s)
3. Dada la proposicin
Si Facebook es un sitio web gratuito de redes sociales entonces no fue
creado para cientficos
Escriba:
Contraria
Reciproca
Contra- reciproca
4. De la proposicin p ( q r)
a. Halle el valor de verdad si p (1), q(0) y r(0).
b. Construya la tabla de verdad.
5. Demuestre que las proposiciones (p q) y [(p q) (q p)] son equivalentes

14
Lgica Formal

MSc. Stanley M. Illidge A.