Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Manual de Lógica Cun
Manual de Lógica Cun
Tomado de:
http://buscon.rae.es/draeI/SrvltConsulta?TIPO_BUS=3&LEMA=logica
La lógica es una ciencia formal y una rama de la filosofía que estudia los
principios de la demostración e inferencia válida. La palabra deriva del
griego antiguo λογική (logike), que significa "dotado de razón, intelectual,
dialéctico, argumentativo", que a su vez viene de λόγος (logos), "palabra,
pensamiento, idea, argumento, razón o principio".
p: La tierra es plana.
q: −17 + 15 = 2
r: x > y-9
s: El Junior será el próximo campeón de Colombia.
Manual de Lógica
Lic. Esp. José F. Barros Troncoso
2
t: Buenos días
w: Hoy es lunes
v: Hace Calor
x: Santa Marta es más bonita que Valledupar
Tabla de verdad
p ¬p
1 0
0 1
Manual de Lógica
Lic. Esp. José F. Barros Troncoso
3
Tabla de verdad
p q pvq
1 1 1
1 0 1
0 1 1
0 0 0
b.
p: La tierra es redonda
q: La tierra es ovalada
Entonces: p v q≡
c.
p: La ballena es un mamífero
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 número de
habitantes de la tierra
Entonces: p v s≡
e.
p: La evolución tecnológica ha retrasado la evolución del hombre
s: La evolución tecnológica no aporta a la inteligencia del hombre
Entonces: p v s≡
Manual de Lógica
Lic. Esp. José F. Barros Troncoso
4
La Conjunción es una proposición compuesta formada por dos o más
proposiciones simples. Se representa con el símbolo Λ se lee y. Si p y q son
proposiciones simples la conjunción de p y q se representa p Λ q se lee p y
q.
Tabla de verdad
p q pΛq
1 1 1
1 0 0
0 1 0
0 0 0
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 mamífero
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 evolución tecnológica ha retrasado la evolución del hombre
s: La evolución tecnológica no aporta a la inteligencia del
hombre
Entonces: p Λ s≡
Manual de Lógica
Lic. Esp. José F. Barros Troncoso
5
La Condicional es una proposición compuesta formada por dos o más
proposiciones simples. Se representa con el símbolo→ se lee Si..entonces.
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 q p→q
1 1 1
1 0 0
0 1 1
0 0 1
f.
p: El incremento de la inflación sube las tasas de interés
Manual de Lógica
Lic. Esp. José F. Barros Troncoso
6
s: El incremento de la inflación trae inversionistas extranjeros
Entonces: p → s≡
Tipos de Condicionales
Ejercicio:
Escriba la contraria, la reciproca y la contra-reciproca de cada proposición
Tabla de verdad
p q p ↔q
1 1 1
1 0 0
0 1 0
0 0 1
Manual de Lógica
Lic. Esp. José F. Barros Troncoso
7
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 ↔ q≡
c.
p: Las células vegetales poseen cloropastos
s: Las células 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 Unión Magdalena volverá a la primera categoría
s: El unión Magdalena es vendido
Entonces: p ↔ s≡
f.
p: Haití es el país más pobre del mundo
s: Haití es el país con mayor posibilidad de invasión extranjera
Entonces: p ↔ s≡
Manual de Lógica
Lic. Esp. José F. Barros Troncoso
8
o Si el hombre fuera racional entonces no construyera armas lesivas
para la humanidad
o Es falso, que las rosas son rojas y las violetas son azules
Ejercicio. Hallar el valor de cada proposición si: a (1), b(0), c(0) y d(1)
(a Λ b) → c
(b v c) ↔ d
¬(b v d) → ¬b v ¬d
[(d Λ a) v c] ↔ [(d v c) Λ (a v c)]
c → (a Λ ¬c)
Tablas de Verdad
Manual de Lógica
Lic. Esp. José F. Barros Troncoso
9
Si todos los valores de verdad de una proposición compuesta son
verdaderos se denomina una tautología, por ejemplo [p → (p v q)], si son
falsos una contradicción, por ejemplo [(p Λ q) Λ ¬q], de lo contrario se
llama indeterminada o contingencia, por ejemplo [(p v q) →¬p].
¬( 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
(p Λ¬ q) v r
(p → ¬q) ∨ (¬p ∨ r) Λ (¬p ∨ ¬q) ∨ r
Bibliografía
Francisco Soler – Reinaldo Núñez. Fundamentos de Matemática.
Tercera edición. Editorial ECOE. 2009
Corina Yoris. Introducción a la lógica.
Camacho, Luis Ángel. Lógica Simbólica Básica. Editorial Limusa,
S.A. Balderas 95, México, D.F. 2005.
Irving, M. Copi, Cohen, Carl. Introducción a la Lógica. Editorial
Limusa, S.A. Balderas 95, México, D.F. 2000.
Miranda Alonso, Tomás. El juego de la Argumentación. Ediciones de
la Torre. Madrid, España, 2000.
Lukasiewicz, J. Estudios de Lógica y Filosofia. Editorial Alianza,
1976.
Web grafía
http://juancarlosteeduca.blogspot.com/2009/01/vaguedad_11.html
http://juancarlosteeduca.blogspot.com/2009/01/ambigedad.htm
http://www.lhs.edu.pe/recursos/matematica/2009/10mo/CONECTIVO
S_LOGICOS.pdf
Manual de Lógica
Lic. Esp. José F. Barros Troncoso
10