1.

Responda las siguientes preguntas multiple opcin, justificando su respuesta:

1 Qu tipo de frmula es la siguiente "-(p .-p)

a) Una tautologa conocida como principio de no contradiccin.

El principio de no contradiccin establece que ninguna proposicin puede ser verdadera y falsa al
mismo tiempo. Al negar dicha frmula, el principio de no contradiccin indica precisamente que
cualquier enunciado con esa estructura lgica es formalmente falso (una contradiccin); y el propio
principio, que niega la contradiccin, resulta formalmente verdadero (una tautologa).
b) Una contingencia conocida como principio de identidad.
c) Una contradiccin lgica.
d) Una equivalencia.
e) Una tautologa conocida como principio de tercero excluido.

2) Indique cul de las siguientes afirmaciones es falsa:

a) -P-p implica a Pp
b) -Pp implica a P-p
c) Fp implica a Pp ^ -Pp
d) Op implica a Php
Op establece: obligatoriedad.
Php establece: prohibicin.
-Php establece: no est prohibido.
La afirmacin seria correcta si estableciera en vez de Php, Ph-p o p-p. Los operadores O y
Ph pueden ser definidos mediante el operador P y la negacin -. Ejemplo: si es obligatorio
usar sombrero, ser cierto que no esta permitido no usarlo.

3)Determine, desde el punto de vista formal, a qu tipo genrico de argumento, responde el

siguiente razonamiento: "Si la reforma del anteproyecto de Cdigo Procesal penal introduce la
causal de conmocin social como causal de procedencia de la prisin preventiva entonces,
entonces violenta la constitucin. La reforma del anteproyecto de Cdigo Procesal penal introduce
la causal de conmocin social como causal de procedencia de la prisin preventiva entonces, por lo
tanto, violenta la constitucin"
a) Es un argumento deductivo modus tollens.
b) Es un argumento deductivo modus ponens.
La regla del modus ponens establece que de un condicional y de la afirmacin de su antecedente
se infiere el consecuente.
c) Es un argumento inductivo
d) Es un argumento entimemtico
e) Es un argumento deductivo silogismo hipottico.

4) Si el razonamiento que tiene dos premisas condicionales y una conclusin tambin condicional
entonces podemos decir que es un:
a) Silogismo Hipottico puro
b) Silogismo Disyuntivo
c) Silogismo categrico
d) Dilema
e) Modus Ponens

5) "Los modelos de procesos penales son acusatorios o inquisitivos. Si son acusatorios entonces el
peso de la averiguacin de la verdad recae sobre las partes. Si es inquisitivo entonces el peso de la
averiguacin de la verdad recae sobre el juez. Por lo tanto, siempre o la averiguacin de la verdad
recae sobre juez o recae sobre las partes. " es un razonamiento:
a) Un silogismo hipottico
b) Un silogismo disyuntivo
c) Un dilema
Presenta una disyuncin en la que se afirman sus dos miembros y del que se sigue una conclusin
que puede resultar paradjica.
d) Una reduccin al absurdo
e) Una falacia de divisin

6) La frmula p => -p es equivalente a:

a) p
b)-p
c) p ^ - p
d) Ninguna es correcta
La frmula antes mencionada es una formula condicional, por ende ninguna de las respuesta seria
la correcta, ya que la opcin a) es una proposicin a secas ; la opcin b) es una negacin de una
proposicin; la opcin c) es una conjuncin.

7) Si una disyuncin de las proposiciones p y q es falsa entonces:

a) tanto p como q son falsas
Existen dos tipos de disyuncin: una es la excluyente y la otra es la incluyente. Ambas tienen algo
en comn: para ser verdaderas exigen que por lo menos unos de sus componentes lo sea. Es decir
que, son falsas cuando sus dos componentes son falsos. La nica diferencia reside en el caso que
los dos componentes sean verdaderos: una de las disyunciones lo admite (lo incluye) como caso de
verdad de la formula compuesta, en tanto la otra lo rechaza (lo excluye) al tomarlo como falso.
b) p es verdadera pero q es falsa
c) q es verdadera pero p es falsa
d) ninguna es correcta

8) La proposicin p ^ -q es una proposicin:

a) atmica
b) molecular
Si bien existen numerosas formas de clasificar las proposiciones, la lgica proposicional se centra
en la distincin entre proposiciones atmicas y proposiciones moleculares. Las moleculares, en una
primera categorizacin, son las que conectan dos o ms proposiciones a travs de diferentes
conectivas lgicas. Llevan una variable (p) ms una conectiva lgica o conjuncin, ms otra
variable (q) para la otra proposicin. La otra alternativa de proposicin molecular es la proposicin
atmica alterada por el conector mondico de la negacin.
c) tautolgica
d) contradictoria
9) La negacin de una tautologa es:
a) Una tautologa
b) Una contradiccin
Por aplicacin de la tabla de verdad de la negacin, toda tautologa negada se convierte en
contradiccin, y toda contradiccin negada se transmuta en tautologa.
c) Un condicional
d) Ninguna es correcta

10) Si un esquema implica a un segundo esquema, y ste implica a un tercero, entonces...

a) El segundo implica al primero
b) El primero implica al tercero
Una de las leyes de la lgica preposicional es la denominada transitividad del condicional, que
dice que si una proposicin implica materialmente una segunda y sta a una tercera, entonces la
primera implica necesariamente a la tercera.
c) El tercero implica al segundo
d) El tercero implica al primero

11) Realice el procedimiento de demostracin de equivalencias por tablas de Verdad y determine

cul es la frmula equivalente a - (p=>q)

a) (-p ^ -q)
b) - (-p ^ q)
c) -p v - q
d) p ^ -q

p q -p -q -p =>-q
V V F F V
V F F V V
F V V F F
F F V V V

12) Si aplicamos las leyes de Demorgan a la proposicin - (p v q) obtenemos:

a) - p ^ -q
b) p ^ q
c) p v q
d) - p v -q

13) Si al describir una accin p regulada por las normas de un sistema decimos que p est
dbilmente permitido entonces:
a) El sistema no tiene lagunas
b) El sistema no contiene una norma que prohba la accin p
Permisin dbil que describe una conducta que no est regulada jurdicamente (permisin como
ausencia de prohibicin).
c) El sistema tiene una norma que autoriza la accin p
d) El sistema es inconsistente

14) Una proposicin molecular es:

 a) Un enunciado prescriptivo
b) Una definicin
c) Un compuesto de proposiciones atmicas
Una formula atmica es aquella constituida exclusivamente por una variable proporcional, no
modificada por operador alguno, por ejemplo p. En cambio en las formulas en las que aparece un
operador monadico (-q) o que resultan de una combinacin de frmulas unidas por conectivas
didicas se llaman moleculares.
d) Un compuesto de proposiciones tautolgicas

15) El significado de las conectivas lgicas est determinado por:

a) Las reglas del lenguaje ordinario
b) Una tabla de verdad que prescribe sus condiciones de verdad
La forma en que el valor de verdad de una oracin compuesta, depende del valor de verdad de las
oraciones simples o atmicas que la componen y del conectivo empleado. El significado de cada
conectivo est determinado por una tabla de verdad correspondiente, que prescribe sus
condiciones de verdad consultando las correspondientes tablas de verdad para cada uno de estos
conectivos en Lgica, proposicin y norma.
c) La definicin de tautologas y contradicciones
d) La combinacin de proposiciones atmicas

2) Formalice el siguiente enunciado, realice las tablas de verdad y establezca si las

mismas se tratan de contradicciones, tautologas y contradicciones.

1. Si el juez falla a favor de la poseedora entonces dar curso a la usucapin. No dio curso a la
usucapin. Luego, no fallo a favor de la poseedora.

[(p q).-q] .-p Tautologa

p q p -q [(p => -p [(p => q).-

q q).-q] q] .-p
V V V F F F F
V F F V F F F
F V V F F V F
F F V V V V V

1 No es cierto que los elementos de los contratos sean esenciales o naturales. No hay elementos
naturales, por lo tanto los elementos son esenciales.

[-(p v q) . q] p Contingencia

p q -p -q -p v -q -(p v q). -q [-(p v q) . q] =>

 p
V V F F F F V
V F F V V V V
F V V F V F V
F F V V V V F

3. Resuelva las siguientes tablas de verdad:

a. [(p=>r).q] v (r.p)

p r q P => .q q V r p r.p
r
V V V V V V V V V V V V
F V V F V V V V V V F F
V F V V F F F V F F V F
F F V F V F V V V F F F
V V F V V V F F V V V V
F V F F V V F F F V F F
V F F V F F F F F F V F
F F F F V F F F F F F F
RESULTADO

b) (p v q) => -(q .p)

p q Pv => -q.- -q -p
q p
V V V F F F F
V F V F F V F
F V V F F F V
F F F V V V V

RESULTADO