Está en la página 1de 6

1a) Una tautologa conocida como principio de no contradiccin.

Toda tautologa negada se convierte en contradiccin y toda contradiccin negada se


convierte en tautologa. En la contradiccin para todos sus casos posible su valor de verdad
es F. Esto indica que cualquier proposicin con dicha estructura lgica es falsa en cualquier
supuesto.
2) c) Fp implica a Pp ^ -Pp
3) NO RESPONDE
4 a) Silogismo Hipottico puro
5) 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.

6) b p => -p
vfFV
fvVF
-P
FV
VF

Esta frmula es equivalente al principio de no contradiccin, que 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).

7) a) tanto p como q son falsas


En este caso es necesario tener presente que la lgica proposicional reconoce
dos tipos de disyunciones: la EXCLUYENTE y la INCLUYENTE. En ambas, para
que la proposicin resulte verdadera, es necesario que al menos uno de sus

componentes sea verdadero. Y en ambos casos sern falsas si sus dos


componentes son falsos.

8) 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 negacion, que se representa como en el ejemplo.

9) b) Una contradiccin
Toda tautologa negada se convierte en contradiccin y toda contradiccin
negada se convierte en tautologa. En la contradiccin para todos sus casos
posible su valor de verdad es F. Esto indica que cualquier proposicin con dicha
estructura lgica es falsa en cualquier supuesto.

10)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) d) p ^ -q
Enunciado - (pq)
p ^ -q
vFfv
fFfv
fVvf

fFvf

12) a) - p ^ -q
Las equivalencias que permiten transformar una conjuncin en disyuncin y
viceversa son las conocidas como leyes de Morgan. Permiten el cambio
-(p v q)
Fvvv
Ffvv
Fvvf
Vfff
- p ^ -q
FvFfv
VfFfv
FvFvf
VfVvf

13) 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) c) Un compuesto de proposiciones atmicas


Las proposiciones atmicas es la unidad mnima que puede tener valor d
verdad.
PROPOSICIONES MOLECULARES: Son compuestas de proposiciones atmicas.

15) B ) Una tabla de verdad que prescribe sus condiciones de verdad (justiticar)
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

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


las mismas se tratan de contradicciones, tautologas y contradicciones.

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. TAUTOLOGIA
(p q) . (- q) - p (primer intento)
correccin
[(p q) . -q] -p
VVVFFV

VFV

FVVFFV

VVF

VFFFVF

VFV

FVFVVF

VVF

No es cierto que los elementos de los contratos sean esenciales o naturales. No


hay elementos naturales, por lo tanto los elementos son esenciales.
CONTINGENCIA

(-(p v q)) . (-q) p (primer intento)

Correccin
[-p v q ) . - q] p

FVVVFF

VVV

FFVVFF

VVF

FVVFFV

FVV

VFFFVV

FFF

3. Resuelva las siguientes tablas de verdad:


a) ((p=>r).q) v (r.p)
V vvvv

vvv

fvvvv

vff

vfffv

ffv

fvfvv

fff

vvvff

V vvv

fvvff

vff

vffff

fff

fvfff

fff

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

vvv

fvvv

fvv

vvff

vvf

vffv

fff

vf f f

También podría gustarte