Ley de Clavio

La ley de Clavius  ​​es una ley lógica que conecta implicación ("si, entonces") y negación . Nombrado en honor al matemático alemán Christopher Clavius . Clavius ​​​​mencionó la ley en su comentario [1] sobre la Geometría de Euclides . Euclides probó uno de sus teoremas, asumiendo que es falso.

Definición

Formalmente, la ley de Clavius ​​se puede escribir de la siguiente manera:

En otras palabras, si un enunciado es la consecuencia de su negación, entonces ese enunciado es verdadero.

Notas

1. ↑ Euclidis elementorum libri XVI cum scholiis ( 1574 )

Literatura

• Ivin A. A. Lógica. Libro de texto para las facultades humanitarias. - M. : "FERIA-PRENSA", 2001. - 320 p. — ISBN 5-8183-0045-5 .