LLANOS ABERASTAIN, FERNANDA DEL ROSARIO

LEGAJO 57458

Responda las siguientes preguntas mltiple opcin, justificando su respuesta:

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

OPCIN CORRECTA: a) Una tautologa conocida como principio de no contradiccin.

Ninguna proposicin puede ser verdadera y falsa al mismo tiempo. Un ejemplo que ilustra la opcin
seleccionada es el siguiente: -la luna es redonda, pero no redonda- Este principio 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). En pos de lo previamente
analizado dir que la frmula analizada, corresponde a una tautologa conocida como principio de no
contradiccin.

2) Indique cul de las siguientes afirmaciones es falsa

OPCIN CORRECTA: c) Fp implica a Pp ^ -Pp

Hemos de suponer que Pp equivale a existe una norma que permite usar sombrero y Pp equivale a existe
una norma que obliga a usar sombrero. La afirmacin sera que es facultativo usar un sombrero implica que
est permitido usar y a la vez est prohibido usar sombrero, por lo cual, no tiene razn de ser, ni consistencia
que se permita y se prohba llevar sombrero. En funcin de todo cuanto vengo analizando, la afirmacin Fp
implica a Pp^ -Pp es falsa.

3) Determine, desde el punto de vista formal, a que tipo genrico de argumento, responde el siguiente
razonamiento: Si la reforma del anteproyecto del Cdigo Procesal Penal introduce la causal de conmocin
social, como causal de procedencia de la prisin preventiva, entonces, violenta la Constitucin. La reforma
del anteproyecto del Cdigo procesal penal introduce una causal de conmocin social como causal de
procedencia de la prisin preventiva entonces, por lo tanto, violenta la Constitucin.

OPCIN CORRECTA: b) Es un argumento Modus Ponens.

El argumento modus ponens, nos dice que partiendo de una condicional (P Q) y de la afirmacin de su
antecedente (P) se infiere el consecuente Q. El enunciado propuesto cumple con dicha estructura, por eso no
vacilo en sostener que nos hallamos ante un argumento Modus Ponens.

4) Si el razonamiento que tiene dos premisas condicionales y una conclusin tambin condicional,
entonces podemos decir que es un:

OPCIN CORRECTA: a) Silogismo Hipottico Puro.

El razonamiento que tiene dos premisas condicionales y una conclusin tambin condicional, corresponde a
un Silogismo Hipottico Puro.

Entonces analizndolo con un ejemplo, se podra decir que:

(P Q) Si llueve, entonces hace fro.

 LLANOS ABERASTAIN, FERNANDA DEL ROSARIO
LEGAJO 57458

(QR) Si hace fro, entonces me abrigo

_________

(P R) Conclusin: Si llueve, entonces me abrigo

5) Los modelos de los 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 el juez, o
recae sobre las partes. Este razonamiento es un:

OPCIN CORRECTA: c) Un dilema.

La respuesta correcta es la que surge del apartado C. En tal situacin, nos hallamos ante un dilema, que es un
razonamiento en el cual una premisa contiene una alternativa de dos trminos y las otras premisas muestran
que los dos casos de la alternativa conducen a la misma conclusin.

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

OPCIN CORRECTA: b)-p

La respuesta correcta es la que surge del apartado B. La frmula p => -p es equivalente a -p porque al llevar
a cabo la tabla de verdad de la condicional que propone la consigna, y al compararla con la tabla de verdad
de p, logro observar que son iguales. Seguidamente dispongo una tabla de verdad, en pos de la cual puede
llegar a observarse que la frmula p =>-p es equivalente a p.

7) Si una disyuncin de las proposiciones p y q son falsas, entonces:

 LLANOS ABERASTAIN, FERNANDA DEL ROSARIO
LEGAJO 57458

OPCIN CORRECTA: a) tanto p como q son falsas

Hay dos tipos de disyuncin, una es la excluyente, y otra es la incluyente. Algas disyunciones tienen algo en
comn. Para ser verdaderas exigen que por lo menos uno de sus componentes lo sea. En otras palabras, son
falsas cuando sus dos componentes son falsos. La nica diferencia reside en la solucin que cada conectiva
prev para el primero de los casos posibles: aquel en que los dos componentes son verdaderos. Una de las
disyunciones lo admite (lo incluye) como caso de verdad de la frmula compuesta, en tanto la otra lo rechaza
(lo excluye) al tomarlo como falso. En efecto, sern falsas, cuando sus dos componentes sean falsos.

8) La proposicin p ^ q es una proposicin:

OPCIN CORRECTA. b) molecular.

Las frmulas son moleculares cuando estn formadas por un operador mondico o cuando ella resulta de
una combinacin de frmulas unidas por conectivas didicas, as toda frmula molecular es una funcin de
verdad de las frmulas atmicas que la componen: su V o F depende del V o F de las proposiciones
representadas por variables simples.

9) La negacin de una tautologa es:

OPCIN CORRECTA: b) una contradiccin.

Una frmula molecular cuyo valor de verdad es falso para todos y cada uno de sus casos posibles se llama
contradiccin. Toda tautologa negada se convierte en contradiccin, y toda contradiccin negada se
convierte en tautologa. Por ejemplo, la luna es redonda pero no es redonda. Ese enunciado es una
contradiccin. La tautologa sera decir que la luna es redonda, al negar esa proposicin y decir que la luna es
redonda pero no es redonda esa tautologa se ha convertido en una contradiccin.

10) Si un esquema implica a un segundo esquema, y este implica a un tercero, entonces:

OPCIN CORRECTA: b) El primero implica al Tercero

Es decir, que si un esquema, llammosle A, implica a un esquema B, y a su vez este implica a C (tercer
esquema), en efecto, el primero implica al tercero, pues, si A no hubiera implicado a B, B no implicara a C, y
C no existira.
 LLANOS ABERASTAIN, FERNANDA DEL ROSARIO
LEGAJO 57458
11-

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

a) - p ^ -q
Las leyes de De Morgan son un par de reglas de transformacin que son ambas reglas de inferencia vlidas.
Las normas permiten la expresin de las conjunciones y disyunciones puramente en trminos de va
negacin.

Las reglas se pueden expresar como:

La negacin de la conjuncin es la disyuncin de las negaciones.
La negacin de la disyuncin es la conjuncin de las negaciones.
o informalmente como:
"no (A y B)" es lo mismo que "(no A) o (no B)" (CASO PLANTEADO)

y tambin,
"no (A o B)" es lo mismo que "(no A) y (no B)"

13) Si al describir una accin p regulada por las normas de un sistema decimos que p est dbilmente
permitido entonces:
OPCIN CORRECTA: d) El sistema es inconsistente
 LLANOS ABERASTAIN, FERNANDA DEL ROSARIO
LEGAJO 57458
Cabe distinguir dos sentidos en el uso del trmino permisin:
Permisin fuerte: hace referencia a la conducta facultativa u obligatoria, segn una norma jurdica positiva.
Permisin dbil: que describe una conducta que no est regulada jurdicamente ( permisin como ausencia
de prohibicin).

14) Una proposicin molecular es:

OPCIN CORRECTA: c) Un compuesto de proposiciones atmicas

Cada variable o letra proposicional se denomina frmula atmica. Las reglas sintcticas permiten vincularlas
mediante conectivos y el uso de parntesis formando proposiciones moleculares o compuestas.

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

b) Una tabla de verdad que prescribe sus condiciones de verdad

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
la tabla de verdad correspondiente, que prescribe sus condiciones de verdad.
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.
 LLANOS ABERASTAIN, FERNANDA DEL ROSARIO
LEGAJO 57458
2. No es cierto que los elementos de los contratos sean esenciales o naturales. No hay elementos
naturales, por lo tanto los elementos son esenciales.
 LLANOS ABERASTAIN, FERNANDA DEL ROSARIO
LEGAJO 57458
3. Resuelva las siguientes tablas de verdad: