Заперечення: відмінності між версіями
| [неперевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
Bunyk (обговорення | внесок) м Відкинуто редагування 195.5.52.129 (обговорення) до зробленого Bunyk Мітка: Відкіт |
||
Рядок 1:
{{Інші значення}}
'''Заперечення''' в [[логіка|логіці]] — [[унарна операція]] над [[судження]]ми,
Як в класичній, так і в інтуїціоністській логіці «[[подвійне заперечення]]» ¬¬A є наслідком судження A, тобто має місце [[тавтологія (логіка)|тавтологія]]:
| |||