Legea lui Clavius

Legea lui Clavius este o lege logică care leagă implicația („dacă, atunci”) și negația . Numit după matematicianul german Christopher Clavius . Clavius a menționat legea în comentariul său [1] la Geometria lui Euclid . Euclid și-a demonstrat una dintre teoremele sale, făcând ipoteza că este falsă.

Definiție

Formal, legea lui Clavius poate fi scrisă după cum urmează:

(\neg A\rightarrow A)\rightarrow A

Cu alte cuvinte, dacă o afirmație este consecința negației sale, atunci acea afirmație este adevărată.

Note

↑ Euclidis elementorum libri XVI cum scholiis ( 1574 )

Literatură

Ivin A. A. Logic. Manual pentru facultăți umanitare. - M. : „FAIR-PRESS”, 2001. - 320 p. — ISBN 5-8183-0045-5 .

Legile logicii

Legile

Principal	Legea identității Legea contradicției Legea mijlocului exclus Legea dublei negații Legea lui Pierce Legea Rațiunii Suficiente
legile lui De Morgan Legile raționamentului deductiv Legea lui Clavius

Principii și proprietăți ale legilor

Principiul exploziei
Monotonitatea implicării
Idempotenta de atractie
Comutativitatea conjuncției
Principiul diviziunii