Tercer Parcial FLJ Ubp

Enviado por aleviale 13 de Octubre de 2014 1.277 Palabras (6 Pginas) 229 Visitas

1) La siguiente tabla de verdad corresponde a:

PQ

VVV

VFF

FFV

FVF

a) La conjuncin

b) La disyuncin

c) el condicional

d) el bi-condicional

En este caso se trata de la combinacin de dos condicionales unidos por una

conjuncin. En esta tabla hay dos opciones que resultan Falsas porque hay una
doble implicacin, una condicin que va en doble sentido. La proposicin resulta
verdadera si y solo si sus dos trminos tienen el mismo valor de verdad es decir,
si son ambos verdaderos o ambos falsos. Aqu cada trmino es a la vez condicin
suficiente y necesaria del otro.

2) La frmula p ? -p es equivalente a:

a) p

b)-p

c) p ^ - p

d) Ninguna es correcta
 Esta formula 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).

3) 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

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.

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

a) atmica

b) molecular

c) tautolgica

d) contradictoria

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.

5) La negacin de una tautologa es:

a) Una tautologa

b) Una contradiccin

c) Un condicional

d) Ninguna es correcta

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.

6) 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

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.

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

La ley de implicancia material permite cambiar el conectivo principal de la

proposicin condicional por uno disyuntivo, pero negando el antecedente. Ahora
bien: cuando la proposicin condicional est alterada por el conectivo mondico, se
afirma el antecedente y se niega el consecuente.

P Q (p=>q) - (aplico el conectivo mondico)

VVVF

FVVF

VFFV

Ffvf

8) 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

Las equivalencias que permiten transformar una conjuncin en disyuncin y

viceversa son las conocidas como leyes de Morgan. Permiten el cambio de operador
de conjuncin en operador de disyuncin y viceversa. En el caso de una
proposicin disyuntiva totalmente negada la ley de Morgan nos permite
transformarla en una proposicin conjuntiva con cada uno de sus miembros
negados.

9) 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
 La permisin, entendida como ausencia de prohibicin, y en este caso una
permisin dbil, describe una conducta que no est regulada jurdicamente. Para
ALCHOURRN y BULYGIN es compatible con la existencia de lagunas, porque no
cierra ningn sistema normativo y, por consiguiente, no excluye la posibilidad de
sistemas incompletos. De hecho, como ellos afirman, una laguna es un caso en el
cual hay una accin p que est dbilmente permitida (y no permitida en sentido
fuerte) por el sistema.

10) Una proposicin molecular es:

a) Un enunciado prescriptivo

b) Una definicin

c) Un compuesto de proposiciones atmicas

d) Un compuesto de proposiciones tautolgicas

Las frmulas en las que aparece un operador mondico (q) o que resultan
de una combinacin de frmulas unidas por conectivas didicas ( r v s, z = w) se
llaman moleculares. Toda frmula molecular es una funcin de verdad de las
frmulas atmicas que la componen: es decir, su verdad o su falsedad dependen de
la verdad o de la falsedad de las proposiciones representadas por las variables
simples.

11) Qu es una contradiccin lgica?

a) Una tautologa

b) Una oracin lgicamente necesaria

c) La afirmacin y negacin de una misma proposicin

d) Una proposicin atmica falsa

Una frmula molecular cuyo valor de verdad es F para todos y cada uno de sus
casos posibles se llama contradiccin, y es la contraposicin negativa de la
tautologa.

12) 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

Cada conectiva lgica se define mediante una tabla de valores de verdad que
indicar cual es el valor de la conectiva para cada combinacin de valores de
verdad.-

13) Seale la opcin FALSA. Un esquema veritativo funcional implica a otro

cuando...

a) Ambos son verdaderos

b) Ambos son falsos

c) El antecedentes es verdadero y el consecuente es falso

d) El antecedente es falso y el consecuente es verdadero

En la implicancia existen una premisa antecedente y otra consecuente, pero si

el antecedente es verdadero y el consecuente falso, no hay tal implicancia, habida
cuenta que no puede implicarse la falsedad desde la verdad.

14) Si una proposicin X es falsa cuando su antecedente es verdadero y su

consecuente falso entonces X es una proposicin:

a) disyuntiva incluyente

b) disyuntiva excluyente

c) condicional

d) bi-condicional

El condicional expresa cierta situacin que en los hechos puede darse respecto
de dos estados de cosas: uno, al que consideramos la condicin necesaria (p) y otro
que debe satisfacer la condicin suficiente (q). El hecho p es condicin suficiente
de q cuando conocer la verdad de p permite afirmar la verdad de q. En
cambio, el hecho q es condicin necesaria de p si conocer la falsedad de q nos
permite asegurarla falsedad de p. Para que esta tabla arroje la opcin F es
necesario que el antecedente sea verdadero y el consecuente, falso. En todos los
otros casos, la tabla arrojar un resultado V.

15) 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

En el sistema de la lgica es necesario aclarar que cuando decimos que una

accin est permitida, slo queremos afirmar que est permitido cumplirla, sin
abrir juicio sobre su omisin: si la omisin est tambin permitida, la conducta
ser facultativa: si la omisin est prohibida, la accin resultar, en definitiva,
obligatoria. Estas precisiones nos permiten introducir el operador F , es decir que
una accin es facultativa si (y slo si) est permitido cumplirla y tambin est
permitido omitirla.