Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
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.