Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Segunda Unidad PDF
Segunda Unidad PDF
Apuntes de
Lgica
Simbologa y mtodos decisorios
SUMARIO
En esta unidad se plantean situaciones de razonamiento lgico que partiendo de un lenguaje
natural u ordinario, usado en la lgica clsica, se logra transformar en un lenguaje simblico a
travs de un procedimiento sencillo para ser analizado a travs de un conjunto de mtodos
decisorios que nos permitirn determinar con exactitud la validez o invalidez de una deduccin o
inferencia. Este trnsito implica la conversin de un mtodo clsico por el moderno que fue ideado
por Leibniz y mejorado por Augustus De Morgan y George Frege.
OBJETIVOS
Ejercitar, reforzar, deducir y calcular los conceptos y tcnicas previas conjuntamente con
las nuevas aplicaciones conceptuales.
Facilitar al estudiante que carece de base matemtica y cientfica, sin ayuda de profesor,
un dominio de las tcnicas modernas de deduccin lgica, en la compresin de las
principales nociones tericas que sirven de fundamento a la metodologa del campo del
derecho.
COMPETENCIA
Asimila, entiende y maneja la simbolizacin del lenguaje natural descriptivo y se inicia en
mtodos decisorios.
LECCIN N 05
LGICA SIMBLICA
La "lgica simblica" es un instrumento que sirve de ayuda al ejercicio inteligente del sentido
comn y a la prctica de la investigacin cientfica y la reflexin filosfica. 1 Forma parte del bagaje
cultural del hombre despus de la propuesta de Godofredo Leibniz. La lgica simblica es
aplicable en esferas tan diversas del saber como la matemtica, la lingstica, la informtica, las
ciencias naturales y sociales, la jurisprudencia y la filosofa.
5.1 VARIABLES
Son los smbolos que representan a una proposicin simple. Pueden ser de las siguientes formas:
a) Letras minsculas del alfabeto latino a partir de p, q, r, etc.
b) Letras griegas como: , etc.
c) Letras maysculas del alfabeto latino desde A, B, C, etc.
En todos los casos cada smbolo representa a una proposicin; y, el uso de uno supone haber usado el anterior.
La mayora de los lgicos tanto en Europa como en Amrica usan las minsculas p, q, r, s, etc.,
por lo que en este texto asumimos esta propuesta.
1
GARRIDO JIMENEZ, Manuel, (2001) Lgica Simblica, Editorial Tecnos, Espaa
2
El siguiente cuadro muestra los conectivos, trminos equivalentes, simbologa y frmulas de cada
uno.
a) La Conjuncin.
(... y...) Conectiva didica que nexa una proposicin con otra para. Simblicamente se
La conjuncin tiene otros trminos equivalentes entre ellos: Pero, empero, como, ms,
mas, sin embargo, tambin, adems, aunque, no obstante, tanto... como..., a pesar de, a
menos que, igualmente, a la vez, sino, aun cuando, etc.
Regla: Toda proposicin conjuntiva deb e cumplir la ley conmutativa y asociativa.
Ejemplo:
O asisto a clases o me quedo en la casa estudiando lgica.
Simbolizando resulta: p q
Nota: Para efectos de formalizacin se debe tener en cuenta que el smbolo a usar debe colocarse debajo de
la segunda o.
Ejemplos:
1) Los metales se dilatan si y slo si se calientan
2) Ral obtendr su ttulo si y solamente si termina sus estudios
Ejemplo:
No comprar el libro o no viajar a Ica.
Simbolizando, la frmula es: ~ p v ~ q
Segn la negacin alterna la frmula es p/q
Por lo tanto, (~ p v ~ q) = (p / q)
Pasos:
1) Encierra con un crculo a los trminos de enlace y a los signos de puntuacin. Luego
subraya las proposiciones simples y representarlos a travs de variables (p, q, r , s, etc.).
Ejemplo 1
Paso 1:
Es falso que las plantas y los animales no tengan vida, ya que, tanto las
p q
Paso 2:
Paso 3:
Ejemplo 2
Si Hegel fue idealista y Marx materialista, no fueron amigos. No fueron amigos porque no se
conocieron adems vivieron en tiempos diferentes. En consecuencia si Hegel y Marx se hubieran
conocido no hubieran sido amigos.
[ (p q) ~ r] [(~ s t) ~ r] (s ~ r)
1) No p y q, porque no r. Luego, si q y p, no r.
[~ r (~ p q)] [ (q p) ~ r]
2) Ni p ni q, si p o r. No r. En consecuencia, no q o r porque p.
[(p v ~ q) (~ r ~ p)] (~ p v ~ q)
[~ q (r s)] [s ~ (~ p v ~ r) ]
Leccin No 6
Para determinar si una frmula est bien o mal formada, se debe tener en cuenta las siguientes
reglas:
1) Toda formula proposicional es una formula bien formada. Es decir p, q, r, s, etc. son FBFs
2) Si (1) es FBF, entonces la negacin de estas con FBF. ~ p, ~q, ~r, ~s, etc., son FBFs. (El
smbolo de la negacin se antepone a las variables, ya que su alcance es de izquierda a
derecha. No debe ponerse antes de un operador didico)
3) Si las regla (1) y (2) son FBF, entonces la unin de estas y entre estas de manera indistinta
e indeterminada a travs de un operador didico sern FBFs.
4) Cualquier frmula distinta a las reglas anteriores son formulas mal formadas.
1) ~ p (q ~ r)
2 1 2
3
FBF
3
2) (~ q ~ r) + p
2 2 1
FMF
3
Sistema Polaco o de
Criterios Sistema Estndar
Lukasitwicz
p, q, r, s, etc. p, q, r, s
Variables
pq, rs (no permitido) pq, rs, ts (es permitido)
~, ,v , , , , ,/ N, K, A, C, E, J, X, D
Operadores
(no permitido) KC (es permitido)
Conversin de Sistemas:
a) ~ p q CNpq
b) (p ~ q) ~r CApNqNr
c) ~[(q ~ p) ~(r ~ s)] NCAqNpNXrNs
d) ~ p ~ [(q / ~ p) ~ r] CNpNCDqNpNr
Leccin No 7
MTODOS DECISORIOS
pq [(~ p q) ~ q] p
VV F V V V F F V V V
VF F V V F V V F V V
FV V F V V F F V V F
FF V F F F F V F V F
TAUTOLOGIA (T)
El Mtodo Abreviado.- El uso de tablas de verdad es adecuado para formulas que tienen menos
de tres variables; pero, no es el ms indicado en formulas con mayor cantidad de variables; ya
que, es ms compleja por la laboriosidad y extensin. El mtodo abreviado permite determinar la
tautologa, contradiccin o consistencia de cualquier formula, teniendo en cuenta el procedimiento
siguiente:
Ejemplo 1
1) Ubicar el operador de mayor jerarqua de la formula problema.
[( ~ p v q ) ~(p ~ q )] (p q)
Operador mayor (condicional)
2) Asignar el valor de falsedad F debajo del operador mayor.
[( ~ p v q ) ~ ( p ~ q )] (p q)
F
9
10
Ejemplos de aplicacin.
Determinar el tipo de frmula:
Buscando contradiccin.
2) ~ [~(p q) (~p vq)]
V F F V V F VVV
En este caso, al verificar los valores asignados con las frmulas de los operadores se observa que
todo se justifica plenamente, por lo tanto la formula no es una contradiccin.
3) ( ~ p v q ) (~r p)
FVV F V F F
En este caso todos los valores estn debidamente justificados con las frmulas de los
operadores, por lo tanto no es tautologa.
11
V(A B) F(A B)
Conjuncin V(A)
V(B) F(A) F(B)
F(A v B) V(A v B)
Disyuncin Dbil F(A)
F(B) V(A) V(B)
F(A B) V(A B)
Condicional V(A)
F(B) F(A) V(B)
V(A B) F(A B)
Bicondicional
V(A) F(A) V(A) F(A)
V(B) F(B) F(B) V(B)
V(~A) F(~A)
Negacin Simple
F(A) V(A)
Demostracin
Asumiendo F Asumiendo V
[(~ p v q) (~ q v ~ p)] [(~ pvq) (~ q v ~ p)]
R1= Clausurado
R2= V(p) V(q)
pq F V
VV F F
VF V V
F V V V
F F V V
Consistencia
Ejemoplos:
1.
F [(pvq ) r]v p Anlisis de ramas
F [(pvq ) r] R1 = F ( p ), F ( q ), ---------
R2 = F ( p ), -------, V ( r )
F (p)
pqr F
VVV V
F (p v q) F ( r) VVF V
F (p) v (r) VFV V
F (q) R2 VFF V
R1 FVV F
FVF V
FFV F
FFF F Consistente
13
F (q v p) V (p v q) pq F
F (q) VV F
F (p) V (p) V (q) VF F
R1 R2 R3 FV F
FF F Contradiccin
3. F [( p q) (p r) ]
V( p q)
F [ (p r)]
V (p r)
F ( p) p q r F
V (p) V (q) VVV F
VVF F
F (p) V ( r) F (p) V ( r) VFV V
F (r) (R3) F (r) VFF F
(R1) (R2) (R4) FVV V
Anlisis FVF F
R1 = Clausurada FFV V
R2 = V (p) --- F (r) FFF V Consistencia
R3 = V (p) V (q) -----
R4 = ------ V (q) F (r)
4. F p [ (q p) p]
v ( p)
F (p)
F [(q p) p]
V (q p) *
F ( p)
V (p)
R1 Rama clausurada, por lo tanto es una Tautologa. * En este caso, cuando se
clausura la rama ya no se procesa las dems frmulas que se encuentran pendientes.
14
ACTIVIDADES
02) Si Evelyn Rojas gana el concurso de marinera, viajar a Trujillo. Evelyn no viajar a Trujillo. En
consecuencia no gan el concurso de marinera.
03) O has terminado de leer mi cuaderno, o si no lo has terminado, tendrs que hacerlo por la
noche ya que necesito mi cuaderno.
04) Oscar Salazar es aficionado al ftbol y al estudio; no practica la matemtica; por lo tanto, es
imposible que Oscar asista al campeonato de ftbol si no practica la natacin adems la
matemtica. Puesto que, no ocurre que no practique la matemtica y la natacin no obstante es
falso que no sea aficionado al ftbol.
5) No es el caso que el cielo no est nublado y no haga fro. Llueve si hace fro. Por lo tanto, hace
calor y no llueve dado que est despejado.
Determinar a travs del mtodo de tablas, abreviado y rboles lgicos, si las siguientes
frmulas son tautolgicas, contradictorias o consistencias.
A. [ ( p q) ~q] ~p
B. [ ( ~ q v p ) ~q] ~p
C. [ (p v q ) ~p] q
D. [ (p v q ) q] ~p
E. (~ p v ~ q ) [r (s t)]
F. [ p (~qv~p)] q
G (p q) [ (p q) (q r) ]
H. [ (p q) (p r)] (q r)
I. [ (p q) (q r)] (r p)
J. [ p (q ~r) ] (p ~s)
K. { [ r (q p)] [(s p) (r q)] } (~ q p)
L. [(~q ~ p) (p p)] (q q)
M. [ ( ~ p v q ) v ( q r) ] ~(p ~r)
15
AUTOEVALUACIN
Demostrar si son FBFs o FMFs
1. p v ~ (q v r)
2. ~ [ p (~q ~ r ) ~]
3. ~ ~ [ ( p v q ) ~~~~~r]
4 ~ [~ (~ p q) (~ r v p)]
BIBLIOGRAFIA
AUSTEN CLARK. Mc Graw-Hill, Inc. 1992. TWOOTIE (Software para prueba de rboles Lgicos o Diagramas
Semnticos)
KENNEDY, John. SANTA MONICA COLLEGE. CA.. 2000. PROPC (Software sobre traduccin de sistemas de notacin
lgica en LP).
MORENO, Alberto, EUDEBA. 1981. LOGICA MATEMATICA
POMA HENOSTROZA, Csar. 1998. LOGICA
16