Тавтологія (логіка)
Тавтологія — це формула логіки, що має значення «істина» не залежно від конкретних значень аргументів.
Приклади
ред.- (закон виключення третього),
- (закон подвійного заперечення),
- (закон протиріччя),
- (використовується для доведення від супротивного).
Дивіться також
ред.
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |