• Author / Uploaded
• Marcela Paramidani

• Categories
• Proposición
• Consecuencia Lógica
• Verdad
• Expresiones lógicas
• Ciencia cognitiva

Citation preview

Tercer Parcial FLJ Ubp Enviado por aleviale • 13 de Octubre de 2014 • 1.277 Palabras (6 Páginas) • 229 Visitas

1) La siguiente tabla de verdad corresponde a: PQ VVV VFF FFV FVF a) La conjunción b) La disyunción c) el condicional d) el bi-condicional En este caso se trata de la combinación de dos condicionales unidos por una conjunción. En esta tabla hay dos opciones que resultan Falsas porque hay una doble implicación, una condición que va en doble sentido. La proposición resulta verdadera “si y solo si” sus dos términos tienen el mismo valor de verdad es decir, si son ambos verdaderos o ambos falsos. Aquí cada término es a la vez condición suficiente y necesaria del otro. 2) La fórmula p ? -p es equivalente a: a) p b)-p c) p ^ - p d) Ninguna es correcta

Esta formula es equivalente al principio de no contradicción, que precisamente que cualquier enunciado con esa estructura lógica es formalmente falso (una contradicción); y el propio principio, que niega la contradicción, resulta formalmente verdadero (una tautología). 3) Si una disyunción 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 lógica proposicional reconoce dos tipos de disyunciones: la EXCLUYENTE y la INCLUYENTE. En ambas, para que la proposición resulte verdadera, es necesario que al menos uno de sus componentes sea verdadero. Y en ambos casos serán falsas si sus dos componentes son falsos. 4) La proposición -p ^ q es una proposición: a) atómica b) molecular c) tautológica d) contradictoria Si bien existen numerosas formas de clasificar las proposiciones, la lógica proposicional se centra en la distinción entre proposiciones atómicas y proposiciones moleculares. Las moleculares, en una primera categorización, son las que conectan dos o más proposiciones a través de diferentes conectivas lógicas. Llevan una variable (p) más una conectiva lógica o conjunción, más otra variable (q) para la otra proposición. La otra alternativa de proposición molecular es la proposición atómica alterada por el conector monádico de la negacion, que se representa como en el ejemplo. 5) La negación de una tautología es:

a) Una tautología b) Una contradicción c) Un condicional d) Ninguna es correcta Toda tautología negada se convierte en contradicción y toda contradicción negada se convierte en tautología. En la contradicción para todos sus casos posible su valor de verdad es F. Esto indica que cualquier proposición con dicha estructura lógica 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 lógica preposicional es la denominada “transitividad del condicional”, que dice que si una proposición implica materialmente una segunda y ésta a una tercera, entonces la primera implica necesariamente a la tercera. 7) Realice el procedimiento de demostración de equivalencias por tablas de Verdad y determine cuál es la fórmula 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 proposición condicional por uno disyuntivo, pero negando el antecedente. Ahora

bien: cuando la proposición condicional está alterada por el conectivo monádico, se afirma el antecedente y se niega el consecuente. P Q (p=>q) - (aplico el conectivo monádico) VVVF FVVF VFFV Ffvf 8) Si aplicamos las leyes de Demorgan a la proposición - (p v q) obtenemos: a) - p ^ -q b) p ^ q c) p v q d) - p v - q Las equivalencias que permiten transformar una conjunción en disyunción y viceversa son las conocidas como leyes de Morgan. Permiten el cambio de operador de conjunción en operador de disyunción y viceversa. En el caso de una proposición disyuntiva totalmente negada la ley de Morgan nos permite transformarla en una proposición conjuntiva con cada uno de sus miembros negados. 9) Si al describir una acción p regulada por las normas de un sistema decimos que p está débilmente permitido entonces: a) El sistema no tiene lagunas b) El sistema no contiene una norma que prohíba la acción p c) El sistema tiene una norma que autoriza la acción p d) El sistema es inconsistente

La permisión, entendida como ausencia de prohibición, y en este caso una permisión débil, describe una conducta que no está regulada jurídicamente. Para ALCHOURRÓN y BULYGIN es compatible con la existencia de lagunas, porque no cierra ningún 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 acción p que está débilmente permitida (y no permitida en sentido fuerte) por el sistema. 10) Una proposición molecular es: a) Un enunciado prescriptivo b) Una definición c) Un compuesto de proposiciones atómicas d) Un compuesto de proposiciones tautológicas Las fórmulas en las que aparece un operador monádico (“—q”) o que resultan de una combinación de fórmulas unidas por conectivas diádicas ( “r v s”, “z = w”) se llaman moleculares. Toda fórmula molecular es una función de verdad de las fórmulas atómicas 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 contradicción lógica? a) Una tautología b) Una oración lógicamente necesaria c) La afirmación y negación de una misma proposición d) Una proposición atómica falsa Una fórmula molecular cuyo valor de verdad es F para todos y cada uno de sus casos posibles se llama contradicción, y es la contraposición negativa de la tautología. 12) El significado de las conectivas lógicas está determinado por: a) Las reglas del lenguaje ordinario

b) Una tabla de verdad que prescribe sus condiciones de verdad c) La definición de tautologías y contradicciones d) La combinación de proposiciones atómicas Cada conectiva lógica se define mediante una tabla de valores de verdad que indicará cual es el valor de la conectiva para cada combinación de valores de verdad.13) Señale la opción 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 proposición X es falsa cuando su antecedente es verdadero y su consecuente falso entonces X es una proposición: a) disyuntiva incluyente b) disyuntiva excluyente c) condicional d) bi-condicional El condicional expresa cierta situación que en los hechos puede darse respecto de dos estados de cosas: uno, al que consideramos la condición necesaria (p) y otro que debe satisfacer la condición suficiente (q). El hecho “ p” es condición suficiente de “q” cuando conocer la verdad de “p” permite afirmar la verdad de “q”. En cambio, el hecho “ q” es condición necesaria de “p” si conocer la falsedad de “q” nos permite asegurarla falsedad de “p”. Para que esta tabla arroje la opción 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 cuál 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 lógica es necesario aclarar que cuando decimos que una acción está permitida, sólo queremos afirmar que está permitido cumplirla, sin abrir juicio sobre su omisión: si la omisión está también permitida, la conducta será facultativa: si la omisión está prohibida, la acción resultará, en definitiva, obligatoria. Estas precisiones nos permiten introducir el operador “F ”, es decir que una acción es facultativa si (y sólo si) está permitido cumplirla y también está permitido omitirla.