You are on page 1of 6

18. Cundo una proposicin es lgicamente verdadera?, De un ejemplo.

Una proposicin es lgicamente verdadera si [.] Una interpretacin I cualquiera para el


lenguaje P, esto es, del lenguaje formal para la lgica proposicional veritativo-funcional, asigna
el valor veritativo verdad a una proposicin p del lenguaje P. As se tiene:

[Sea I una interpretacin cualquiera de P y sea p una proposicin cualquiera de P]

Si p es una proposicin, entonces p es verdadero para P si y solo si I asigna el valor


veritativo verdad a p.

Ejm:

(1) I asigna a p valor de verdad V. Entonces, p es lgicamente verdadero.

HUNTER, Geoffrey. Metalgica: Introduccin a la metateora de la lgica clsica de primer


orden. Madrid, Espaa. PARANINFO.1981. pp.75

19. Cundo una proposicin es lgicamente falsa?, De un ejemplo.

Una proposicin es lgicamente falsa si [.] Una interpretacin I cualquiera para el lenguaje P
asigna el valor veritativo falsedad a una proposicin p del lenguaje P.

[Sea I una interpretacin cualquiera de P y sea ~p una proposicin cualquiera de P]

Si ~p es verdadero para I entonces p no es verdadero para I. Si p no es verdadera para I


entonces p es falsa para I. Por tanto, si ~p es verdadero para I entonces p es falsa para I.

Ejm:

(2) I asigna a p valor de verdad F. Entonces, p es lgicamente falso.

HUNTER, Geoffrey. Metalgica: Introduccin a la metateora de la lgica clsica de primer


orden. Madrid, Espaa. PARANINFO.1981. pp.75 - 76

20. Qu es una falacia?

Una falacia es [.] un tipo de argumento que puede parecer correcto, pero que contiene un
error de razonamiento que se reconocen al examinarlo se distinguen de los argumentos
invlidos comunes ya que en cuanto a ellos las falacias siguen ciertos patrones tpicos,
atendiendo a construir un argumento utilizando una forma de persuasin. De ah que,
tambin se diga que la falacia sea un razonamiento invlido psicolgicamente persuasivo.

Ejemplo 1:

El gallo siempre canta antes de que salga el Sol. Por lo tanto, el canto del gallo provoca que
salga el Sol.

Ejemplo 2:

Amanece cuando el sol sale. Est nublado. Por lo mismo no ha amanecido.

COPI, Irving. Introduccin a la Lgica. Mxico DF, Mxico. Editorial LIMUSA.2011. pp. 149
MOULINES, Ulises. Fundamentos de Filosofa de la Ciencia. Barcelona, Espaa. Editorial
Ariel.1997. pp. 44

21. Qu es una falacia formal?

Este tipo de falacias [.] corresponden a esquemas argumentativos cuya estructura est
clara y tales que muchos usuarios adiestrados en lgica tienden a considerar esquemas de
inferencias vlidos, pero no lo son.

Ejemplo 1:

Si llueve entonces est mojado. No llueve. Por lo tanto no est mojado.

MOULINES, Ulises. Fundamentos de Filosofa de la Ciencia. Barcelona, Espaa. Editorial


Ariel.1997. pp. 46

Ejemplo 2:

Si hay luz entonces se pueden ver las cosas. No hay luz. Por lo tanto no se pueden ver las
cosas.

22. Qu es una falacia ad hominem?

Es un tipo de falacia informal en donde [.] el argumento se apoya en el ataque a la persona


que adopta una postura. Teniendo en cuenta, adems, la frase ad hominem como contra la
persona, este argumento entonces es aquel en el que el ataque se dirige, no contra la
conclusin, sino contra una persona que defiende la conclusin en disputa.

Ejemplo 1:

Es imposible que sepa usted de tener hijos puesto que no tiene ninguno.

Ejemplo 2:

Es imposible que usted hable que el Estado no est garantizando las necesidades bsicas de
todos los individuos ya que usted nunca tuvo necesidades.

COPI, Irving. Introduccin a la Lgica. Mxico DF, Mxico. Editorial LIMUSA.2011. pp. 159

23. Qu es un axioma? Dar dos ejemplos de Lgica y dos ejemplos de Matemtica.

Un axioma es [] una cadena de smbolos del alfabeto de un lenguaje formal P, ciertamente


susceptibles de recibir una interpretacin, pero que se definen sin referencia a ninguna
interpretacin, que acta en conjunto con otros axiomas como premisas de un argumento en
donde la conclusin es un teorema. As, un axioma es una frmula bien formada en un
lenguaje formal cuya consecuencia sintctica es un teorema.

Ejemplos en Lgica:

Axiomas de Mendelson

a) p (q p)
b) (p (q m)) ((p q) (p m))
c) (~p ~q) ((~p ~q) p).

Axiomas de Lukasiewicz

a) p (q p)
b) (p (q m)) ((p q) (p m))
c) (~p ~q) (q p).

Ejemplos en Matemtica:

Axiomas de Igualdad

a) Axioma de Identidad: a = a
b) Axioma de Reciprocidad: Si a = b, entonces b = a
c) Axioma de Transitividad: Si a = b y b = c, entonces a = c

Axiomas de Orden

a) Tricotoma: Si tenemos a y b, tenemos la relacin entre ambos puede ser una de estas a
= b; a < b a > b
b) Monotona de la Suma: Si a > b, entonces a + c > b + c
c) Monotona de la Multiplicacin: Si a > b y c > 0, entonces ac > bc

HUNTER, Geoffrey. Metalgica: Introduccin a la metateora de la lgica clsica de primer


orden. Madrid, Espaa. PARANINFO.1981. pp. 91

24. Qu es un teorema? Dar dos ejemplos en Lgica y dos de matemtica.

Una frmula bien formada (A) del sistema formal de un lenguaje formal X (cualquier lenguaje)
es un teorema si y solo si [] existe alguna demostracin en el sistema formal del lenguaje
formal X cuya ltima frmula sea (A).Pero es exigible que tal frmula bien formada no sea un
axioma puesto que si no sera teorema para cumplir dicho requisito es necesario que sea una
consecuencia inmediata, mediante la regla de inferencia del sistema formal del lenguaje, de
dos frmulas que la preceden en la cadena, es decir, que sea la conclusin en un esquema de
argumento formado por premisas que son axiomas del sistema formal del lenguaje formal X.

Teoremas en Matemtica

a) Teoremas relativos a la igualdad

De la monotona y simplificacin: Si a es igual a b y c pertenece al conjunto de los nmeros


Reales, entonces a ms c es igual a b ms c. Si a ms c es igual a b ms c, entonces a es igual a
b. Si a es igual a b y c pertenece al conjunto de los nmeros Reales entonces a por c es igual a b
por c. Si a por c es igual a b por c y c no es igual a 0, entonces a es igual a b.

b) Teoremas para resolver ecuaciones lineales con una incgnita


Si a por b es igual a 0, entonces a es igual a 0 o b es igual a 0.

Teoremas en Lgica

a) Teorema de la deduccin

Si U {A} I- B, entonces I- A B

b) Teoremas derivados a partir de los Axiomas de Mendelson

T1. I- A A T2. I- ~~B B T3. I- B ~~B T4. I- ~A (A B)

HUNTER, Geoffrey. Metalgica: Introduccin a la metateora de la lgica clsica de primer


orden. Madrid, Espaa. PARANINFO.1981. pp. 93

25. Qu es la demostracin o prueba lgica en la lgica matemtica?, Dar un ejemplo.

La demostracin en un sistema formal de un lenguaje formal X es una cadena finita de


frmulas de cualquier lenguaje formal (en este caso el lenguaje formal X), cada una de las
cuales es, o un axioma de dicho sistema, o una consecuencia inmediata, mediante la regla de
inferencia de tal sistema, de dos frmulas que la preceden en la cadena.

Ejemplo

A1. A (B A)

A2. (A (B C )) [(A B) (A C)] / I- A A

Demostracin:

3. [A ((A A) A))] [(A (A A)) (A A)] Axioma 2

4. A ((A A) A) Axioma 1

5. (A (A A)) (A A) M.P.P 3,4

6. A (A A) Axioma 1

7. A A M.P.P 5,6

HUNTER, Geoffrey. Metalgica: Introduccin a la metateora de la lgica clsica de primer


orden. Madrid, Espaa. PARANINFO.1981. pp.92 - 94

26. Formular el principio de no contradiccin, dar un ejemplo, y explicar por qu es ley.

Este principio establece que si algn enunciado es verdadero, entonces es verdadero.


Utilizando la notacin es posible parafrasearlo diciendo que el principio identidad afirma que
todo enunciado de la forma p p tiene que ser verdadero, que todo enunciado de ese tipo es
una tautologa. De tal manera que es una condicin necesaria y suficiente para el
pensamiento correcto. Ejemplo: Si el uno es uno, entonces el uno es uno.

COPI, Irving. Introduccin a la Lgica. Mxico DF, Mxico. Editorial LIMUSA.2011. pp. 419
27. Formular el principio de no contradiccin, dar un ejemplo y explicar por qu es ley.

Este principio establece que ningn enunciado puede ser verdadero y falso. Utilizando la
notacin es posible parafrasearlo diciendo que el principio de no contradiccin afirma que
todo enunciado de la forma p. ~p tiene que ser falso, que todo enunciado de este tipo es
autocontradictorio. Es ley si y solo si acta de manera regular y constante en el pensamiento,
acta de manera regular y constante en el pensamiento puesto que es imposible que un
enunciado sea verdadero y falso a la vez; por tanto , el principio de no contradiccin es ley .
Ejemplo: Es imposible que algo exista y no exista a la vez.

COPI, Irving. Introduccin a la Lgica. Mxico DF, Mxico. Editorial LIMUSA.2011. pp. 419

28. Formular el principio de tercio excluido, dar un ejemplo y explique por qu es ley.

Este principio establece que todo enunciado puede ser verdadero y falso. Utilizando la
notacin es posible parafrasearlo diciendo que el principio del tercero excluido afirma que
todo enunciado de la forma p v ~p tiene que ser verdadero, que todo enunciado de ese tipo es
una tautologa. Es ley si y solo si de manera regular y constante en el pensamiento, acta de
manera regular y constante puesto que regula la construccin de tablas de verdad; por tanto,
el principio de tercio excluido es ley. Ejemplo: Un objeto o bien es blanco o bien no es blanco.

COPI, Irving. Introduccin a la Lgica. Mxico DF, Mxico. Editorial LIMUSA.2011. pp. 419

29. Las leyes de las ciencias fcticas son necesarias o contingentes?, poner un ejemplo y diga
por qu.

Consideremos la ley de Newton: La fuerza es igual a la masa multiplicada por la aceleracin,


en este caso al no haber hechos generales , no es posible verificar directamente hiptesis
generales como son los enunciado de leyes; ni es posible aplicarlos sin ms. Solo puede
comprobarse y usarse las consecuencias particulares de hiptesis cientficas. En consecuencia,
el enunciado de ley de Newton referido a las ciencias factuales es contingente puesto que su
verdad est ligada al mundo objetivo y todo lo que est ligado al mundo objetivo no es
constante sino est en perpetuo cambio.

BUNGE, Mario. La ciencia, su mtodo y su filosofa. Buenos Aires, Argentina. Editorial Siglo
Veinte.1984. pp. 74

30. Las leyes jurdicas son necesarias, contingentes o convencionales?, poner un ejemplo y
diga por qu.

Constituye una de las fuentes, tal vez la principal, del Derecho. En sentido amplio, se
entiende por [ley jurdica] toda norma reguladora de los actos y de las relaciones humanas,
aplicable en determinados tiempo y lugar. Si ley jurdica es una norma reguladora entonces
regula los actos determinados de una sociedad, si regula los actos determinados de una
sociedad entonces es de aceptacin general para los miembros de tal sociedad y si son de
aceptacin general para los miembros de una sociedad entonces son convencionales. Por
tanto, las leyes jurdicas son convencionales.

OSSORIO, Manuel. Diccionario de ciencias jurdicas, polticas y sociales. Guatemala. Datascan,


SA.2001. pp. 547

You might also like