логічне протиріччя

ЛОГІЧНЕ ПРОТИРІЧЧЯ — наявність двох висловлювань, з яких одне є запереченням іншого. Те, що стверджується в одному з них, заперечується в іншому. Л.п. має місце тільки за тих умов, коли твердження і заперечення є здійсненними стосовно одного й того ж об'єкта, у той же самий час і в одному й тому ж відношенні (Аристотель, "Метафізика"). У формальних системах формула вважається Л.п., коли в системі породжується її заперечення. З семантичної точки зору, Л.п. є формула певної логічної системи, яка хибна у всіх моделях цієї системи. Щодо множини висловлювань кажуть, що вона є суперечливою, якщо принаймні одне з її висловлювань має значення "хибне". Суперечливість множини висловлювань є запереченням її несуперечності (див. несуперечність).