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.

b) Una contingencia conocida como principio de identidad.
c) Una contradiccin lgica.
d) Una equivalencia.
e) Una tautologa conocida como principio de tercero excluido.

R: a) Una tautologa conocida como principio de no contradiccin. Ninguna proposicin puede

ser verdadera y falsa al mismo tiempo, asi lo establece el principio de la no contradiccin.

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

R: d) Op implica a Php. Es falso ya que Op implica obligatoriedad y Php que no esta

prohibido.

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.
c) Es un argumento inductivo
d) Es un argumento entimemtico
e) Es un argumento deductivo silogismo hipottico.

R: 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.

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

R: a) Silogismo Hipottico puro.

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
d) Una reduccin al absurdo
e) Una falacia de divisin

R: c) Un dilema. Estamos ante una disyuncin en la que se afirman sus dos miembros y del que
se sigue una conclusin que puede resultar paradjica.

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

a) p
b)-p
c) p ^ - p
d) Ninguna es correcta

R: d) Ninguna es correcta. Es una formula condicional.

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

a) tanto p como q son falsas
b) p es verdadera pero q es falsa
c) q es verdadera pero p es falsa
d) ninguna es correcta

R: a) tanto p como q son falsas.

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

a) atmica
b) molecular
c) tautolgica
d) contradictoria

R: b) Molecular. Las proposiciones 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.
9) La negacin de una tautologa es:
a) Una tautologa
b) Una contradiccin
c) Un condicional
d) Ninguna es correcta

R: b) Una contradiccin. Toda tautologa negada se convierte en contradiccin y toda

contradiccin negada se transmuta en tautologa.

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
c) El tercero implica al segundo
d) El tercero implica al primero

R: 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.

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

R: c) p v 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
c) El sistema tiene una norma que autoriza la accin p
d) El sistema es inconsistente

R: 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)

14) Una proposicin molecular es:

a) Un enunciado prescriptivo
b) Una definicin
c) Un compuesto de proposiciones atmicas
d) Un compuesto de proposiciones tautolgicas

R: c) Un compuesto de proposiciones atmicas

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
c) La definicin de tautologas y contradicciones
d) La combinacin de proposiciones atmicas

R: b) Una tabla de verdad que prescribe sus condiciones de verdad. 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.

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