Tareas

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 ambasverdaderas al mismo tiempo y en el mismo 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 puedecreer 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 lasleyes clásicas del pensamiento lógico.3
El principio de no contradicción puede expresarse en el lenguaje de la lógica proposicional. Si A es una metavariable que representa una fórmula cualquiera,entonces el principio de no contradicción se escribe:
¬(A ^ ¬ A)
El principio de no contradicción permite juzgar como falso todo aquello que implica una contradicción. De ahí la validez de los argumentospor reducción al absurdo.

El principio del tercero excluido, propuesto y formalizado por Aristóteles, también llamado principio del tercero excluso o en latín principium tertium exclusum (tambiénconocido 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 siempreverdadera.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 debivalencia, 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 leyesclásicas del pensamiento.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...