Clavius ​​törvénye

Clavius ​​törvénye  egy logikai törvény, amely összekapcsolja az implikációt ("ha, akkor") és a tagadást . Christopher Clavius ​​német matematikusról kapta a nevét . Clavius ​​megemlítette a törvényt Eukleidész geometriájához írt kommentárjában [1] . Eukleidész bebizonyította egyik tételét, azt a feltételezést téve, hogy az hamis.

Definíció

Formálisan Clavius ​​törvénye a következőképpen írható fel:

Más szóval, ha egy állítás a tagadásának a következménye, akkor ez az állítás igaz.

Jegyzetek

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

Irodalom


 A logika törvényei
Törvények
Fő
A törvények elvei és tulajdonságai
  • A robbanás elve
  • A következmény monotonitása
  • A vonzalom idempotenciája
  • A kötőszó kommutativitása
  • Felosztás elve