Professional Documents
Culture Documents
Ejm:
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.
Ejm:
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:
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
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:
Ejemplo 2:
Si hay luz entonces se pueden ver las cosas. No hay luz. Por lo tanto no se pueden ver las
cosas.
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
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
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
Teoremas en Lgica
a) Teorema de la deduccin
Si U {A} I- B, entonces I- A B
Ejemplo
A1. A (B A)
Demostracin:
4. A ((A A) A) Axioma 1
6. A (A A) Axioma 1
7. A A M.P.P 5,6
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.
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.