Ing.

Omar Castillo Paredes

o_castillo@doc.uap.edu.pe
CICLO 2013-3 Mdulo: 2
Unidad: II Semana: 3
LGICA JURIDICA
2
Proposiciones
Frmulas moleculares bsicas
Tablas de verdad
Tautologas, contradiccin contingencia
Argumento
CONTENIDO TEMTICO
3
PROPOSICIONES
Una proposicin es un enunciado declarativo que puede ser
(V) o (F), pero no ambos a la vez.
Smbolos de variables o proposiciones atmicas: p, q, r, s,
Smbolos de conectivos: , , , , ,
Ejemplos:
p: La educacin superior requiere ms presupuesto pblico
q: El da de maana har mucho calor
La formalizacin es el proceso en el que se traducen
proposiciones del lenguaje cotidiano al lenguaje formal o
simblico.
4
Ejemplo: Sean: p: La temperatura est sobre los 17C
q: Llueve
Tenemos:
1) La temperatura est sobre los 17C pero llueve.
2) Ni la temperatura supera los 17C ni llueve.
3) No es cierto que llueva con la temperatura superior a los 17C.
4) Llueve cuando la temperatura est sobre los 17C.
5) Que la temperatura est sobre los 17C es suficiente para que no
llueva.
6) O bien llueve o bien la temperatura es superior a 17C.
5
FRMULAS MOLECULARES
Las formaremos a partir de las atmicas, empleando los
conectivos lgicos:
p
p q
p q
p q
p q
p q
Son (algunas) frmulas
moleculares bsicas
6
Ejemplos:
Vamos en automvil o vamos a pie.
No es cierto que Marcos realiz la entrevista.
Pedro no asisti a la grabacin del programa.
Marcos es mdico y Mario es comunicador.
Mara aprob lgica pero Mnica no.
Se debe realizar un anlisis de mercado de venta de bicicletas
para la apertura de un negocio, ya que se requiere asegurar el
xito comercial de la actividad.
FRMULAS MOLECULARES
7
NEGACIN
Sea p una frmula cualquiera, p es verdadero
cuando p es falso, y falso cuando p es
verdadero:
p p
V F
F V
Ejemplo:
p: No es cierto que el bajo rating de los
programas educativos en la TV es debido a la
carencia de una poltica cultural del estado.
8
CONJUNCIN
Sean p y q frmulas cualesquiera, (p q) es
verdadero cuando p y q son verdaderos, y falso en
los dems casos.
p q p q
V V V
V F F
F V F
F F F
Ejemplo:
p: El precio del barril de petrleo se esta
incrementando.
q:El MEM interviene con el fondo de
compensacin.
pq: El precio del barril de petrleo se est
incrementando y El MEM interviene con
el fondo de compensacin.
Ejemplos de Conjuncin:
1) Michelle estudia, adems de trabajar.
2) Geraldine estudi pero no aprob.
3) Margarite canta, sin embargo no baila.
4) Miguel jug futbol aunque estaba lesionado.
5) Carlos juega futbol, tambin Jos.
6) Sara sali, an no llega.
7) Janet cocina a la vez que canta.
8) Erick viajar no obstante est sin visa.
9) William canta, no baila.
10
DISYUNCIN DBIL O INCLUSIVA
Sean p y q frmulas cualesquiera, (p q) es falso
cuando p y q son falsos, y verdadero en los dems
casos.
p q p q
V V V
V F V
F V V
F F F
Ejemplo:
p: El dlar se esta devaluando.
q: El BCR dicta la poltica monetaria en el pas.
pq: El dlar se est devaluando o el BCR
dicta la poltica monetaria en el pas.
11
DISYUNCIN FUERTE O EXCLUSIVA
Sean p y q frmulas cualesquiera, (p q) es falso
cuando p y q son iguales, y verdadero en los dems
casos.
p q p q
V V F
V F V
F V V
F F F
Ejemplo:
p: El Per triunf en la final del campeonato.
q: El Per obtuvo la medalla de plata.
pq: El Per triunf en la final del campeonato
u obtuvo la medalla de plata.
12
CONDICIONAL
Sean p y q frmulas cualesquiera, (p q) es falso
cuando p es verdadero y q es falso, y verdadero en los
dems casos.
p q p q
V V V
V F F
F V V
F F V
Ejemplo:
p: El TLC con los EE.UU. elevar el nivel de
nuestras exportaciones.
q: El Estado deber promover las exportaciones con
rebaja de aranceles a importaciones de
maquinarias.
pq: Si el TLC con los EE.UU. elevar el nivel
de nuestras exportaciones entonces el
Estado deber promover las exportaciones
con rebaja de aranceles a importaciones de
maquinarias.
SINNIMOS DE CONDICIONAL
p es condicin suficiente para q
Si p, q
q si p
Que p supone que q
Cuando p, q
q es condicin necesaria para p
En caso de que p entonces q
q slo si p
En: p q : p se llama antecedente.
q se llama consecuente.
Ejemplos de Condicional:
1) Si es Trujillano, es Peruano.
2) Es Peruano, siempre que sea Trujillano.
3) Es Peruano si es Trujillano.
4) Es suficiente que sea Trujillano para que sea
Peruano.
5) Siempre y cuando sea Trujillano, ser Peruano.
6) Es necesario que sea Peruano para ser Trujillano.
15
BICONDICIONAL:
Sean p y q frmulas cualesquiera, (p q) es
VERDADERO cuando p y q son iguales.
p q p q
V V V
V F F
F V F
F F V
Ejemplo:
p: La SUNAT disea un plan para ampliar la
base tributaria el 2014.
q: El Estado deber recaudar ms este ao
para atender demandas sociales.
p q: La Sunat disea un plan para ampliar la
base tributaria el 2014 si y solo si el
Estado deber recaudar mas este ao
para atender demandas sociales.
16
TABLAS DE VERDAD
La tabla de verdad de una sentencia es
una tabla en la que se presentan todas
las posibles interpretaciones de las
variables proposicionales que constituyen
la sentencia y el valor de verdad de la
sentencia para cada interpretacin.
17
CONSTRUCCIN DE TABLAS DE VERDAD
Cuntas filas tiene la tabla?
1 proposicin 2 valores (V o F)
2 proposiciones 4 valores de verdad
3 proposiciones 8 valores de verdad
..........
n proposiciones 2
n
valores de verdad
18
Tablas de verdad para 2 proposiciones
Toda frmula tiene un nico conectivo dominante.
( p)

q
F V F V
F V F F
V F V V
V F F F
La tabla de verdad
viene dada por la
conectiva dominante
que une las
frmulas p , q.
p q
V V
V F
F V
F F
Ejemplo 1
19
Ejemplo 2
Queremos hallar la tabla de:
Tenemos que obtener todas las posibles
combinaciones de valores de verdad. Tanto p como q
pueden tener 2 valores, de modo que en total tenemos
2 x 2 = 4 combinaciones totales.
( p q ) ( p q )
20
Ejemplo 2
Hemos hallado la tabla de:
( p q )

( p q )
V V V V F V V
V F F V F V F
F F V V V V V
F F F F V F F
Ahora podemos ir resolviendo la frmula de dentro hacia fuera. Primero
resolvemos las frmulas atmicas con negador.
p q
V V
V F
F V
F F
EJEMPLO DE TABLA PARA 3 PROPOSICIONES
[( p q ) ( q r )] ( p r )
V
V
V
V
F
F
F
F
p q r
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
V
F
F
F
F
V
V
V
F
F
V
F
F
V
V
F
F
V
V
V
V
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V
V
V
V
N de Combinaciones = 2
n
= 2
3
V
V
V
V
F
F
F
F
V
F
V
F
V
F
V
F
V
F
V
V
V
F
V
V
V
F
F
F
V
F
V
V
22
TABLAS DE VERDAD con n proposiciones
En general, para n constantes, necesitaremos 2
n
filas para
cubrir todas las combinaciones.
As, hallar la tabla de verdad de la frmula:
(p [q (r s)]) (t u)
requerira 2
6
= 64 filas !
Cada nueva constante duplica el nmero de Vs y Fs seguidos
que es preciso escribir en su columna: grupos de 2
0
para la
primera constante, de 2
1
para la segunda, de 2
2
para la
tercera constante, etc.
TAUTOLOGA
Una proposicin compuesta o molecular es una
tautologa si es cierta, cualesquiera sean los valores de
verdad de las proposiciones atmicas que la componen.
p p
V V V
F V F
p (q p)
V V V V V
V V F V V
F V V F F
F V F V F
p ( p q)
V V F V V V
V V F V V F
F V V F V V
F V V F F F
Este tipo de frmulas, verdaderas para cualquier posible asignacin
de valores de verdad de sus constituyentes, son ejemplos de
TAUTOLOGAS.
24
CONTRADICCIN
Este tipo de frmulas, falsas para cualquier posible asignacin de
valores de verdad de sus constituyentes, son ejemplos de
CONTRADICCIONES.
p ( p)
V F F V
F F V F
q (p q)
V F F V V V
F F F V V F
V F F F V V
F F V F F F
Una proposicin compuesta o molecular es una
contradiccin si es falsa, cualesquiera sean los valores
de verdad de las proposiciones atmicas que la
componen.
25
La negacin de una contradiccin siempre ser una
tautologa, y la negacin de una tautologa ser una
contradiccin:
[p ( p q)]
V V F V V V
V V F V V F
F V V F V V
F V V F F F

F
F
F
F
26
p p
V V V
F F F
(p q) q)
V V V V V
V V F F F
F V V V V
F F F V F
p (p q)
V F V F F V
V V V V V F
F V F V F V
F V F V V F
Este tipo de frmulas, verdaderas en algunas interpretaciones y
falsas en otras, son ejemplos de CONTINGENCIAS.
CONTINGENCIA
Una proposicin compuesta o molecular es una
contingencia si al construir la tabla de verdad el
resultado final que se obtiene, es una combinacin de
valores de verdad verdaderos y falsos.
27
La negacin de una contingencia ser siempre una
contingencia, puesto que los valores V pasarn a F, y los F
pasarn a V, y seguir habiendo tanto interpretaciones
verdaderas como falsas:
[(p q) q)]
V V V V V
V V F F F
F V V V V
F F F V F

F
V
F
F
28
QUE ES UN ARGUMENTO?
Si ( p
1
p
2
p
3
p
k
) entonces q
Ejemplo:
Si Juan se gana la beca, viaja a Pars. Y Juan se gan la beca. Por lo
tanto, viajar a Pars
Este argumento tiene
Dos Premisas:
1)Si Juan se gana la beca entonces viaja a Pars
2)Juan se gan la beca
Una Conclusin:
Juan viaja a Pars
Un argumento es una proposicin compuesta del tipo:
Premisas Conclusin
29
QUE ES UN ARGUMENTO?
Este argumento puede representarse como una tabla o como una
implicacin.
Sean las proposiciones:
p: Juan se gana la beca
q: Juan viaja a Pars
Si Juan se gana la beca, viaja a Pars. Y Juan se
gan la beca. Por lo tanto, viajar a Pars
QUE ES UN ARGUMENTO?
QUE ES UN ARGUMENTO?
32
Ejemplo 1:
Una condicin necesaria para que la humanidad sea libre es
que los seres humanos no estn ligados a una esencia. Si Dios
cre a los humanos, entonces estamos ligados a una esencia.
Claramente, los humanos somos libres. Por tanto, Dios no cre
a los humanos.
1) Identificar y traducir:
p Los humanos son libres q Los humanos estn ligados a una esencia
r Dios cre a los humanos
Premisas: (p q) ; (r q) ; p
Conclusin: r
33
2) Construir Condicional:
[(p q) (r q) p] r
Ejemplo 1:
34
3) Evaluar condicional:
[(p q) (r q) p] r
V F F V F V V V F V V F V
V F F V F F V V F V V V F
V V V F F V F F F V V F V
V V V F V F V F V V V V F
F V F V V V V V F F V F V
F V F V V F V V F F V V F
F V V F F V F F F F V F V
F V V F V F V F F F V V F
Ejemplo 1:
35
Ejemplo 2:
Si el testigo dice la verdad entonces el mayordomo estaba en
la escena del crimen. Pero el mayordomo no estaba en la
escena del crimen. En consecuencia, el testigo no dice la
verdad.
1) Identificar y traducir:
p El testigo dice la verdad
q El mayordomo estaba en la escena del crimen
Premisas: (p q) ; q
Conclusin: p
36
2) Construir Condicional:
[ (p q) q ] p
Ejemplo 2:
p q
V V
V F
F V
F F
[ (p q) q ] p
3) Evaluar Condicional:
EJERCICIOS:
Establecer si cada una de ellas es simple o compuesta;
luego, construya su forma lgica:
El Sr. Gmez no trabaja en la empresa importadora, sin
embargo visita la empresa todos los das y se rene con los
trabajadores.
El servicio del aeropuerto Jorge Chvez ha mejorado mucho
debido a que el concesionario ha invertido en su
modernizacin.
La promocin del turismo interno es promovida por el
gobierno, sin embargo todava no se logra los niveles
deseados.
En el imperio de los incas, la llama era usada como animal
de carga.
No es el caso que Chile y Nicaragua pertenezcan al
Mercosur.
Se hubiera impedido la cada del dlar si el Banco de la
Nacin hubiera intervenido oportunamente.
Tendremos muchas flores en el jardn de la iglesia, si la
estacin es propicia y las semillas no estn malogradas.
O Luis ngel es qumico y docente universitario, o es
empresario y dueo de una Institucin Educativa.
No es el caso que si amanece nublado la temperatura baje, ya
que ser un da caluroso.
CONCLUSIONES Y/O ACTIVIDADES DE
INVESTIGACIN SUGERIDAS
SE RECOMIENDA COMPLEMENTAR LO EXPUESTO CON LA REVISIN
Y ANLISIS DEL MATERIAL BIBLIOGRFICO CONTENIDO EN LOS
SIGUIENTES ENLACES:
LGICA FORMAL E INFORMAL
http://www.scribd.com/doc/24991232/Logica-formal-e-informal
SMBOLOS O CONECTIVOS LGICOS
http://www.scribd.com/doc/11453819/Presentacion1
GRACIAS