Отрицание: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Ochkarik (обсуждение | вклад) отмена правки 88403480 участника 195.208.129.89 (обс.) |
·1e0nid· (обсуждение | вклад) м →Преамбула: оформление |
||
Строка 18:
|Таблица истинности =<math>(10)</math>
}}
'''Отрица́ние''', '''инве́рсия''' (
Как в [[Классическая логика|классической]], так и в [[интуиционизм|интуиционистской]] логике «двойное отрицание» ¬¬A является следствием<!-- ну не скажешь же «свойством»? не поймут --> суждения A, то есть имеет место [[тавтология (логика)|тавтология]]:
| |||