Segunda Unidad

2012
Apuntes de
Lgica
Simbologa y mtodos decisorios
Csar Augusto Poma Henostroza
Apuntes de Lgica
Mg. Csar Augusto Poma Henostroza
USOS E IMPLICANCIA DE LA LGICA SIMBLICA 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.
1
http://www.cesarpoma.com
cesar.poma@gmail.com
profesor@cesarpoma.com
Apuntes de Lgica
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.
Corresponde a la formalizacin de las proposiciones usando smbolos establecidos previamente.
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.
5.2 CONECTIVAS LGICAS
Son aquellos trminos llamados tambin de enlace, que cumplen el propsito de unir dos
proposiciones simples para convertirlas a una compuesta o unir proposiciones compuestas
con otras. Existen dos tipos de conectivos lgicos: Monadico y didicas
1) Mondico. La negacin, es el nico de carcter mondico porque afecta a las
proposiciones simples. (no une dos simples para convertir a una compuesta). Se refiere al
trmino no y simblicamente se representa de varias formas como: ~, -, , N, etc.
La negacin tambin se da por antonimia, prefijos, compleja, direccional y doble negacin.
GARRIDO JIMENEZ, Manuel, (2001) Lgica Simblica, Editorial Tecnos, Espaa
2
Apuntes de Lgica
2) Didicos.- Son aquellos que unen las proposiciones simples para conformar una
compuesta.
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
representa: &,
.,
, K, etc.
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.
c) La Disyuncin Dbil.- Llamado tambin inclusiva o incluyente, enlazan proposiciones

a travs del trmino o. Esta disyuncin plantea alternativas donde cabe como posibilidad
escoger ambas. Simblicamente se representa de las formas siguientes: v, A, etc.
Ejemplo: Maana ser la prctica o maana es el examen. p v q
3
Apuntes de Lgica
d) La Disyuncin Fuerte.- O exclusiva, plantean dos situaciones, si se realiza una

situacin, la otra es imposible de realizarse, dando cierta prioridad a la primera.
Simblicamente se representa: W, V , V ,
, J, etc.
Ejemplo:
O asisto a clases o me quedo en la casa estudiando lgica.
Simbolizando resulta: p
Nota: Para efectos de formalizacin se debe tener en cuenta que el smbolo a usar debe colocarse debajo de
la segunda o.
d) La Condicional.- Se refiere a la conectiva Si... entonces..., a la proposicin que se

encuentra antes de entonces, se le denomina antecedente o premisa y a la que se
encuentra despus de la conectiva, consecuente o conclusin.
Simblicamente se representa:
, , C, etc.
Para efectos de formalizacin se debe tener siempre en cuenta que primero va el antecedente (premisas) y
luego el consecuente (conclusin).
Existen diversas formas de condicionales:

1) Directa.- Corresponde a la frmula p
q, y tiene como trminos equivalentes: luego, de
manera que, de ah que, por lo tanto, en consecuencia, de modo que, de ah se sigue, se

deduce, por ello, por ende, entonces, etc.
Ejemplo:
1) Estudias en la universidad, por lo tanto eres universitario
(p
q)
2) Hoy es feriado, en consecuencia, no es da laborable
(p
~q)
2) Recproca.- Corresponde a la frmula q
p, dado que los trminos invierten en el
orden de antecedente y consecuente. En este caso primero aparece el consecuente, luego

el antecedente. Los trminos condicionales que permiten invertir sus componentes son:
Cada vez, ya que, puesto que, porque, supone, suficiente que, a condicin de que, si,
siempre que, pues, en vista de que, dado que, etc.
Ejemplos:
1) Jugars en la seleccin si tienes cualidades
(q
q)
2) Estudiar bastante dado que tengo examen de lgica
(q
p)
3) Se suspendi el examen puesto que no lleg el profesor
(~q
p)
e) La Bicondicional.- Vincula enunciados o proposiciones a travs de la conectiva Si y

slo si y tiene como smbolos:
, , E, etc. Sus trminos equivalentes son: Cuando y
4
Apuntes de Lgica
slo cuando, entonces y slo entonces, si y solamente si, es una condicin necesaria y
suficiente de, etc.
Ejemplos:
1) Los metales se dilatan si y slo si se calientan
2) Ral obtendr su ttulo si y solamente si termina sus estudios
f) La Negacin Conjunta.- Llamado tambin doble negacin, binegacin o Funcin de
Nicod. No corresponde necesariamente a un trmino conectivo especial, se produce
cuando los dos componentes de una proposicin conjuntiva estn negados de manera
independiente. Simblicamente se representa as: , X, etc.
Ejemplo:
Ni Vallejo fue matemtico, ni Ciro Alegra fue pintor.
De manera normal se formaliza as:
~p
~q
Aplicando la negacin conjunta la frmula es:

Por lo tanto,
(~ p
~ q) = (p
q)
g) La Negacin Alterna.- Llamado tambin incompatibilidad o funcin de Sheffer, como en

el caso de la negacin conjunta, no tiene trmino especial, se refiere a una proposicin
compuesta negada en sus componentes y cuyo operador sea la disyuncin dbil.
Simblicamente se representa: /. |, etc.
Ejemplo:
No comprar el libro o no viajar a Ica.
Simbolizando, la frmula es: ~ p v ~ q
Segn la negacin alterna la frmula es
Por lo tanto,
p/q
(~ p v ~ q) = (p / q)
5.3 FORMALIZACIN O SIMBOLIZACIN DE INFERENCIAS

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.).
2) Elaborar la estructura formal transcribiendo textualmente todo lo que se encerr en crculo
y las variables otorgadas de manera secuencial.
5
Apuntes de Lgica
3) Elaborar la frmula teniendo en cuenta el uso correcto de las Reglas de FBs y los signos
de puntuacin, que permiten jerarquizar los operadores.
Ejemplo 1
Paso 1:
Es falso que las plantas y
los animales no tengan vida, ya que, tanto las
p
plantas
como los animales cumplen con un ciclo natural . Luego ,
si el
hombre tiene vida ,
cumple un ciclo natural.
Paso 2:
Es falso que no p y no q; ya que, tanto r como s. Luego, si t, u.
Paso 3:
{[(r
s)
~(~ p
~ q)]}
(t
u)
Nota: Cuando se formaliza una inferencia, primero va el antecedente y despus el consecuente.
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.
Si p y q, no r. No r porque no s adems t. En consecuencia si s, no r.
[ (p
q)
~ r]
[(~ s
t)
~ r]
(s
~ r)
Ejercicios Desarrollados: Hallar la frmula de las siguientes estructuras:

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 r)
(~ p
~ q)]}
~r
[p
(~ q v r)]
3) p. Por lo tanto es mentira que r y no s en vista de que no q.

6
Apuntes de Lgica
[~ q
~(r
~ s)]
4) p o no q, adems no r si y solo si no p. Entonces no p o no q.

[(p v ~ q)
(~ r
~ p)]
(~ p v ~ q)
5) Es falso que no p o no r, porque s. Dado que r y s si no q.

[~ q
(r
s)]
[s
~ (~ p v ~ r) ]
Leccin No 6
Formulas Bien Formadas: (FBFs)
6.1 REGLAS
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.
Ejemplos: ~ q v p, ~ (~ p
r) v ~q, etc.
4) Cualquier frmula distinta a las reglas anteriores son formulas mal formadas.
Demostracin de FBF y FMF

1) ~ p
(q
~ r)
2
3
FBF
2) (~ q
~ r)
p
1
FMF
3
7
Apuntes de Lgica
6.2 SISTEMAS DE NOTACIN ESTANDAR Y POLACA

Cuadro comparativo entre ambos sistemas
Criterios
Sistema Polaco o de
Sistema Estndar
Variables
Lukasitwicz
p, q, r, s, etc.
p, q, r, s
pq, rs (no permitido)
pq, rs, ts (es permitido)
~,
Operadores
,v ,
, ,/
N, K, A, C, E, J, X, D
(no permitido)
KC (es permitido)
a) A travs de smbolos de agrupacin:

(), [], {}, ||, etc.
Jerarquizacin
de Operadores
b)
El
operador
que
tiene
ms
A mayor encierro, menor jerarqua
jerarqua se ubica al extremo
A menor encierro, mayor jerarqua.
izquierdo de toda la frmula, las

que siguen en jerarqua van
Usando puntos auxiliares.
hacia la derecha.
Ms puntos, ms jerarqua.
Menos puntos, menos jerarqua.
Conversin de Sistemas:
1. Del estndar al Polaco:
a) ~ p
b) (p
q
~ q)
CNpq
~r
c) ~[(q
~ p)
d) ~ p
~ [(q / ~ p)
CApNqNr
~(r ~ s)]
NCAqNpNXrNs
~ r]
CNpNCDqNpNr
2. Del Polaco al Estndar

a) KpNq
~q
b) JENpqNKpNq
(~ p
c) NJNCqpNAqNr
~ [~ ( q
p)
d) CEpqAJNrsNp
(p
q)
[(~ r
e) XpNCNAqNpNEpNq
~ [~ (q
6) DXAJCEKNpqrNqNrsNpr
{[({[(~p
q)
~ (p
~ (q
~p)
q)
~ q)
r]
s)
~ r)]
~ p]
~(p
~ q)]
~q}
~r)
s] ~p}/r
8
Apuntes de Lgica
Leccin No 7
MTODOS DECISORIOS
7.1 MTODO DE TABLAS
Permite determinar el tipo de frmula (tautologa, contradiccin o consistencia) a travs de la
confrontacin de las posibilidades de verdad o falsedad que tienen las variables con las frmalas
de los operadores.
[(~ p
pq
q)
~ q]
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)
7.2 MTODO ABREVIADO

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:
Para buscar Tautologa (T):
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
Apuntes de Lgica
3) Justificar el valor de F poniendo valores de V o F debajo de los operadores que siguen en

jerarqua tanto en la formula derecha como izquierda del operador mayor. Estos valores se
asignarn teniendo en cuenta la frmula de dicho operador.
[( ~ p v q )
~(p
~ q )]
q)
(p
4) Se asignan valores de verdad o falsedad (segn los casos) debajo de cada variable justificando
siempre la frmula de los operadores. Las variables redundantes tendrn los mismos valores
asignados a los primeros.
[(~ p v q )
~(p
~ q )]
FV F VV VF V
(p
q)
F V F F
5) Un operador ser tautolgico cuando al verificar los valores asignados con las frmulas de los
operadores presentan una o ms contraposiciones. Caso contrario (cuando todo se justifica) la
formula puede ser contradiccin o consistencia.
[(~ p v q )
~(p
~ q )]
FV F VV VF V
F
(p
q)
F V F F
hay dos contraposiciones, por lo tanto es una tautologa
Ejemplo 2
[(p v ~ q )
VV V
~ ( ~p
VV
q )]
FF F
(p
q)
F V F F
En este ejemplo no hay contraposicin, entonces no es tautologa

Para buscar Contradiccin ( ):
Se sigue el mismo procedimiento usado para tautologa, con la diferencia de asignar el valor de
verdad V (verdad supuesta) debajo del operador mayor. Un esquema ser contradictorio
cuando al verificar los valores asignados con las frmulas de sus operadores se encuentran una o
ms contraposiciones. Caso contrario ser una tautologa o consistencia.
Para buscar la Consistencia (Q):
No existe procedimiento especial alguno, se llega a ella descartando. Es decir si la frmula no es
tautolgica ni contradictoria, entonces es consistencia. Se reconoce cuando todos sus valores
justifican plenamente con las frmulas de los operadores (no existe contraposicin alguna).
10
Apuntes de Lgica
Ejemplos de aplicacin.
Determinar el tipo de frmula:
1)
~ [~(p
q)
( ~ p v q )]
Buscando (T)
(operador mayor)
~ [~(p
q)
( ~ p v q )]
V
la falsedad ingresa dentro del corchete debajo de la
bicondicional que es el de mayor jerarqua (dentro del corchete). Para justific ar V de la

bicondicional podemos poner VV o FF. Luego ponemos los valores a las variables segn las
frmulas de los operadores y hacemos la confrontacin final.
~ [~(p
q)
F V V FF
(~p vq)
V
F VF
F
Se encuentra un valor que se contrapone, por lo tanto es tautologa

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 )
FVV F
(~r
p)
V F F
En este caso todos los valores estn debidamente justificados con las frmulas de los
operadores, por lo tanto no es tautologa.
7.3 MTODO DEL RBOL LGICO O DIAGRAMAS SEMNTICOS

El mtodo de Diagramas Semnticos, permite a travs de un proceso determinar la naturaleza de
una frmula lgica, es decir si es tautologa, contradiccin o consistencia. Estas reglas son rgidas
por lo que se debe aplicar segn los casos (en vertical o ramas).
11
Apuntes de Lgica

FRMULAS
OPERADORES
En vertical
V(A
Conjuncin
En Ramas
B)
F(A
V(A)
V(B)
F(A)
F(A v B)
Disyuncin Dbil
F(A)
F(A
Condicional
V(A)
B)
V(B)
V(A
B)
V(A)
F(B)
V(A
Negacin Simple
F(B)
V(A v B)
F(B)
Bicondicional
B)
B)
F(A)
F(A
V(B)
B)
V(A)
F(A)
V(A)
F(A)
V(B)
F(B)
F(B)
V(B)
V(~A)
F(~A)
F(A)
V(A)
REGLAS DEL PROCEDIMIENTO PARA EL MTODO DE LOS DIAGRAMAS SEMNTICOS

1. Suponer que toda la frmula es verdadero o falso
2. Aplicar las Reglas Semnticas (RS) usando las frmulas de los operadores, en las
frmulas que no ofrecen bifurcacin
3. Clausurar la rama que muestra contraposicin de valores
4. Una formula puede bifurcarse en dos o ms sub-ramas, y stas a su vez en otras, as
sucesivamente. Si no se encuentran valores contrapuestos se debe poner asteriscos o
dejar en blanco para entender que en p o en q no existen valores encontrados
(contrapuestos).
5. Cada rama es independiente respecto a otras, salvo en lo que respecta al tronco o rama
de donde procedan.
6. Si la frmula que est en el tronco comn se bifurca, se introducir en cada una de las sub
ramas no clausuradas.
7. Si a partir de la hiptesis p verdadera todas las ramas se clausuran, entonces p es
falsa en cualquier interpretacin posible; pero, si a partir de p falsa todas las ramas se
clausuran, entonces p es verdadera en cualquier interpretacin posible.
8. Una o ms ramas abiertas de p, a partir de una hiptesis verdadera o de una hiptesis
falsa, nos conduce a determinar que p es verdadera o es falsa en alguna interpretacin
posible.
12
Apuntes de Lgica
Demostracin
Asumiendo F
[(~ p v q)
(~ q v ~ p)]
V(~ p v q)
F(~ q v ~ p)
F(~ q)
V(q)
F(~ p)
Asumiendo V
[(~ pvq)
F(~ p v q)
(~ q v ~ p)]
V(~ q v ~ p)
F(~ p)
V(~q)
V(~p)
V(p)
F(q)
F(p)
F(q)
R2
R3
R1
V(p)
R1= V(p), F(q)
R2=
V(~ p)
V(q)
F(p)
R2
--- F(q)
R3= F(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 )
F [(pvq )
r]v p
r]
Anlisis de ramas
R1 = F ( p ), F ( q ), --------R2 = F ( p ), -------, V ( r )
F (p)
F (p v q)
F (p)
F (q)
R1
F ( r)
v (r)
R2
pqr
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
F
V
V
V
V
F
V
F
F
Consistente
13
Apuntes de Lgica
2.
[(q v p)
V [(q v p)
(p v q)]
Anlisis de Ramas
(p v q)]
F (q v p)
V (p v q)
F (q)
F (p)
R1
3.
pq
VV
R3
FV
FF
(p
F (p)
(R3)
F (r)
----F (r)
[ (q
p)
Contradiccin
r) ]
V (q)
V (q)
R2
V ( r)
F (r)
(R2)
R3 = ----
Anlisis
4.
------
VF
q)
q)
r)]
r)
R1 = Clausurada
R2 = V (p)
--R3 = V (p)
V (q)
R4 = -----V (q)
R2 = V (p)
V (q)
F ( p)
V (p)
(R1)
F (q)
V (p)
F [( p
V( p
F [ (p
V (p
F (p)
R1 = F (p),
V ( r)
F (r)
(R4)
p q r
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
F
F
F
V
F
V
F
V
V
Consistencia
p]
v ( p)
F (p)
F [(q
p)
V (q
p) *
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
Apuntes de Lgica
ACTIVIDADES
Formalizar las proposiciones siguientes:
01) El pueblo peruano est descontento, si y slo si no hay cambio social. En consecuencia, si el
pueblo peruano est contento, o hay revolucin o hay cambio social.
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]
B. [ ( ~ q v p )
~p
~q]
~p
C. [ (p v q )
~p]
D. [ (p v q )
q]
~p
E. (~ p v ~ q )
F. [ p
[r
(s
(~qv~p)]
G (p
q)
t)]
[ (p
q)
(q
r) ]
H. [ (p
q)
(p
r)]
(q
r)
I.
q)
(q
r)]
(r
p)
[ (p
J. [ p
(q
K. { [ r
L.
[(~q
(q
~r) ]
(p
p)]
[(s
~ p)
M. [ ( ~ p v q ) v ( q
(p
p)]
r) ]
~s)
p)
(r
(q
~(p
q)] }
(~ q
p)
q)
~r)
15
Apuntes de Lgica
AUTOEVALUACIN
Demostrar si son FBFs o FMFs
1. p v ~ (q v r)
2. ~ [ p
(~q
3. ~ ~ [ ( p v q )
4
~ [~ (~ p
q)
~ r ) ~]
~~~~~r]
(~ r v p)]
Hallar la frmula de las siguientes estructuras:

1 Si no es cierto que q y p, no p; porque no r o q
-----------------------------
2 Ni p ni q si r. Dado que no p o q, porque p si no q
-----------------------------
3 No q si p y r; por ello, p y q si r y no q
-----------------------------
4 Dado que no r y p, no q; puesto que no r. Entonces no r si q
-----------------------------
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

Segunda Unidad

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Segunda Unidad

Загружено:

Авторское право:

Доступные форматы

2012

Csar Augusto Poma Henostroza

Mg. Csar Augusto Poma Henostroza

USOS E IMPLICANCIA DE LA LGICA SIMBLICA Y

Mg. Csar Augusto Poma Henostroza

c) Letras maysculas del alfabeto latino desde A, B, C, etc.

GARRIDO JIMENEZ, Manuel, (2001) Lgica Simblica, Editorial Tecnos, Espaa

Mg. Csar Augusto Poma Henostroza

c) La Disyuncin Dbil.- Llamado tambin inclusiva o incluyente, enlazan proposiciones

Mg. Csar Augusto Poma Henostroza

d) La Disyuncin Fuerte.- O exclusiva, plantean dos situaciones, si se realiza una

d) La Condicional.- Se refiere a la conectiva Si... entonces..., a la proposicin que se

Existen diversas formas de condicionales:

q, y tiene como trminos equivalentes: luego, de

manera que, de ah que, por lo tanto, en consecuencia, de modo que, de ah se sigue, se

2) Hoy es feriado, en consecuencia, no es da laborable

2) Recproca.- Corresponde a la frmula q

p, dado que los trminos invierten en el

orden de antecedente y consecuente. En este caso primero aparece el consecuente, luego

2) Estudiar bastante dado que tengo examen de lgica

3) Se suspendi el examen puesto que no lleg el profesor

e) La Bicondicional.- Vincula enunciados o proposiciones a travs de la conectiva Si y

, , E, etc. Sus trminos equivalentes son: Cuando y

Mg. Csar Augusto Poma Henostroza

Aplicando la negacin conjunta la frmula es:

g) La Negacin Alterna.- Llamado tambin incompatibilidad o funcin de Sheffer, como en

5.3 FORMALIZACIN O SIMBOLIZACIN DE INFERENCIAS

Mg. Csar Augusto Poma Henostroza

los animales no tengan vida, ya que, tanto las

como los animales cumplen con un ciclo natural . Luego ,

hombre tiene vida ,

cumple un ciclo natural.

Nota: Cuando se formaliza una inferencia, primero va el antecedente y despus el consecuente.

Ejercicios Desarrollados: Hallar la frmula de las siguientes estructuras:

3) p. Por lo tanto es mentira que r y no s en vista de que no q.

Mg. Csar Augusto Poma Henostroza

4) p o no q, adems no r si y solo si no p. Entonces no p o no q.

5) Es falso que no p o no r, porque s. Dado que r y s si no q.

Demostracin de FBF y FMF

Mg. Csar Augusto Poma Henostroza

6.2 SISTEMAS DE NOTACIN ESTANDAR Y POLACA

pq, rs (no permitido)

pq, rs, ts (es permitido)

a) A travs de smbolos de agrupacin:

A mayor encierro, menor jerarqua

jerarqua se ubica al extremo

A menor encierro, mayor jerarqua.

izquierdo de toda la frmula, las

Usando puntos auxiliares.

2. Del Polaco al Estndar

Mg. Csar Augusto Poma Henostroza

7.2 MTODO ABREVIADO

Operador mayor (condicional)

Mg. Csar Augusto Poma Henostroza

3) Justificar el valor de F poniendo valores de V o F debajo de los operadores que siguen en

hay dos contraposiciones, por lo tanto es una tautologa

En este ejemplo no hay contraposicin, entonces no es tautologa

Mg. Csar Augusto Poma Henostroza

la falsedad ingresa dentro del corchete debajo de la

bicondicional que es el de mayor jerarqua (dentro del corchete). Para justific ar V de la

Se encuentra un valor que se contrapone, por lo tanto es tautologa

7.3 MTODO DEL RBOL LGICO O DIAGRAMAS SEMNTICOS

Mg. Csar Augusto Poma Henostroza

REGLAS DEL PROCEDIMIENTO PARA EL MTODO DE LOS DIAGRAMAS SEMNTICOS