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.

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

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.

4) Si el razonamiento que tiene dos premisas condicionales y una conclusin tambin condicional entonces
podemos decir que es un:
a) Silogismo Hipotetico puro
b) Silogismo Disyuntivo
c) Silogismo categorico
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
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

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

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

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

9) La negacin de una tautologa es:

a) Una tautologa
b) Una contradiccin
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
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

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

14) Una proposicin molecular es:

a) Un enunciado prescriptivo
b) Una definicin
c) Un compuesto de proposiciones atmicas
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
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.

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.

3. Resuelva las siguientes tablas de verdad:

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

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