Закон Клавия - это...

Закон Клавия — логический закон, характеризующий связь импликации («если, то») и отрицания. Его можно передать так: если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным. Или короче: высказы­вание, вытекающее из своего собственного отрицания, истинно. Иначе говоря: если необходимым условием ложности некоторого высказывания является его истинность, то это высказывание ис­тинно. Напр., если условием того, чтобы машина не работала, является ее работа, то машина работает. Закон назван именем Клавия — ученого иезуита, жившего в XVI в., одного из создателей григорианского календаря. Клавий обратил внимание на этот закон в своем комментарии к «Нача­лам» Евклида. Одну из своих теорем Евклид доказал из допуще­ния, что она является ложной. С использованием символики логической (р — некоторое выска­зывание; -> - условная связь, «если, то»;