Академический Документы
Профессиональный Документы
Культура Документы
Negacin
En lgica la negacin, tambin llamada complemento lgico, es una operacin
sobre proposiciones, valores de verdad, o en general, valores semnticos.
Intuitivamente, la negacin de una proposicin es verdadera cuando dicha
proposicin es falsa, y viceversa. En lgica clsica la negacin est
normalmente identificada con la funcin de verdad que cambia su valor de
verdadero a falso y viceversa. Dos negaciones forman una afirmacin. Si aplico
una negacin a Me apasiona la lgica, obtengo No me apasiona la lgica; si
aado una segunda negacin, obtengo No es verdad que no me apasiona la
lgica. Se niega que no me apasione la lgica, lo cual quiere decir que me
apasiona.
Me gusta dormir - Afirmacion
No me gusta dormir - La negacin de una proposicin es verdadera cuando
dicha proposicin es falsa, y viceversa.
Premisa
Afirmacin o idea que se da como cierta y que sirve de base a un razonamiento
o una deduccin. En lgica, una premisa es cada una de las proposiciones
anteriores a la conclusin de argumento. En un argumento vlido, las premisas
Infer r
Extraer un juicio o conclusin a partir de hechos, proposiciones o principios,
sean generales o particulares. Sacar una consecuencia de otra cosa, deducir
algo, conducir a un resultado. La inferencia nace a partir de una evaluacin
mental entre distintas expresiones, que al ser relacionadas como abstracciones,
permiten trazar una implicacin lgica.
2) Juan es un hombre
3) Por lo tanto Juan es mortal.