Правильність: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
Немає опису редагування |
||
Рядок 24:
==Логічні числення==
Правильність ([[коректність]]) знаходиться поміж фундаментальних властивостей, що вивчаються у математичній логіці. Властивість правильності забезпечує початкову підставу для того, щоб розглядати логічну систему як бажану. Властивість [[повнота|повноти]] означає, що будь-яка тавтологія є теоремою. Разом вони імплікують, тавтології і тільки тавтології є теоремами
[[Формальна система|Логічне числення]] має властивість правильності, якщо теореми логічного числення є тавтологіями.
[[Категорія:Логіка]]
| |||