Clavius ​​lov

Clavius ' lov  er en logisk lov, der forbinder implikation ("hvis, da") og negation . Opkaldt efter den tyske matematiker Christopher Clavius ​​. Clavius ​​nævnte loven i sin kommentar [1] til Euklids geometri . Euklid beviste et af sine sætninger og antog, at det er falsk.

Definition

Formelt kan Clavius ​​lov skrives som følger:

Med andre ord, hvis et udsagn er konsekvensen af ​​dets negation, så er det udsagn sandt.

Noter

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

Litteratur

• Ivin A. A. Logik. Lærebog for humanitære fakulteter. - M. : "FAIR-PRESS", 2001. - 320 s. — ISBN 5-8183-0045-5 .