Quimica

LOGICA MATEMATICA
PROPOSICIONES SIMPLES
Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer términos de enlace en el sujeto o en el predicado, pero no entre oraciones.
VALOR DE VERDAD DE UNA PROPOSICION
El valor de verdad de una proposiciónlógica atómica es, por definición, verdadero o falso (podemos representarlo como V o F).
Así el enunciado “llueve” es verdadero si y sólo si está lloviendo en ese momento. Pero si dicho enunciado se considera como proposición lógica atómica, p, entonces puede ser tanto verdadera como falsa.
Es una verdad de hecho o contingente, porque tiene los dos posibles valores de verdad, por la propia definiciónde proposición lógica.
El contenido de la relación de un enunciado con lo real no es objeto de la lógica sino de otras ciencias.

PRINCIPIO DE NO CONTRADICCION
El principio de no contradicción, o a veces llamado principio de contradicción, es un principio clásico de la lógica y la filosofía, según el cual una proposición y su negación no pueden ser ambas verdaderas al mismo tiempo y en elmismo sentido.[1] El principio también tiene una versión ontológica: nada puede ser y no ser al mismo tiempo y en el mismo sentido; y una versión doxástica: nadie puede creer al mismo tiempo y en el mismo sentido una proposición y su negación.[2] El principio de no contradicción es, junto con el principio de identidad y el principio del tercero excluido, una de las leyes clásicas del pensamiento.[3]El principio de no contradicción puede expresarse en la lógica proposicional, así:

donde A no es una fórmula del lenguaje, sino una metavariable que representa a cualquier fórmula del lenguaje.
El principio de no contradicción permite juzgar como falso todo aquello que implica una contradicción. De ahí la validez de los argumentos por reducción al absurdo.

PRINCIPIO DE TERCER EXCLUIDO
Elprincipio del tercero excluido o nefasto, propuesto y formalizado por Aristóteles, también llamado principio del tercero excluso o en latín principium tertium exclusum (también conocido como tertium non datur o una tercera (cosa) no se da), es un principio clásico de la filosofía y de la lógica según el cual la disyunción de una proposición y su negación es siempre verdadera.[1] [2] Por ejemplo,es verdad que "es de día o no es de día", y que "el Sol está ardiendo o no está ardiendo". El principio del tercero excluido frecuentemente se confunde con el principio de bivalencia, según el cual toda proposición o bien es verdadera o bien es falsa.[1] [2] El principio del tercero excluido es, junto con el principio de no contradicción y el principio de identidad, una de las leyes clásicas delpensamiento.[3]
En la lógica proposicional, el principio del tercero excluido se expresa:

donde A no es una fórmula del lenguaje, sino una metavariable que representa a cualquier fórmula del lenguaje.
En la lógica aristotélica, se distingue entre juicios contradictorios y juicios contrarios. Dados dos juicios contradictorios, no puede darse un juicio intermedio, pero sí en cambio entre dosjuicios contrarios. Por ejemplo, si se afirma "Juan es bueno" y "esta proposición es verdadera", entonces los juicios contradictorios son "Juan no es bueno" y "esta proposición no es verdadera", y no hay posibilidad de un juicio intermedio. Pero en cambio, los juicios contrarios son Juan es malo y esta proposición es falsa, y entonces sí cabe la posibilidad de otros juicios intermedios, como "Juan esmás o menos bueno" y "esta proposición es probablemente falsa".[cita requerida]
Según Stuart Mill, la frase "abracadabra es una segunda intención" no es ni verdadera ni falsa, sino que carece de sentido.[4]
La negación del principio del tercero excluido de un sistema lógico da lugar a las llamadas lógicas polivalentes.

CONECTIVOS LOGICOS
Conectiva | Expresión en el
lenguaje natural |...