Правильність: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
м +Шаблон:Металогіка, доробити |
Немає опису редагування |
||
Рядок 29:
[[Формальна система|Логічне числення]] має властивість правильності, якщо теореми логічного числення є тавтологіями.
== Див. також ==
Правильність (вимірювання)
{{Logic-stub}}
| |||