Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

No se ha añadido ninguna twiki todavía.

Fórmula lógica que expresa una verdad necesaria, o una verdad lógica. Es toda expresión lógica que pueda ser deducida sin premisas.

'

coordsize="21600,21600" o:spt="75" o:preferrelative="t" path="m@4@5l@4@11@9@11@9@5xe"

filled="f" stroked="f">


height:17.25pt'>


src="teoremalogico_archivos/image002.gif" v:shapes="_x0000_s1025">


En lógica de enunciados es también una tautología.