| rdfs:comment
| - Тавтология (от греч. ταὐτός – тот же самый и λόγος – слово), термин классической формальной логики, означающий формулу (суждение, высказывание), которая остаётся тождественно истинной для любого набора истинностных значений ее переменных. Тождественная истинность такой формулы обусловлена исключительно её логической структурой. Например, в логике предикатов 1-го порядка любая атомарная формула A вида a = a (где a суть терм (термин)) является тавтологией: если a = МАСЛО, то атомарная формула A имеет вид МАСЛО = МАСЛО ("Масло масленное").
|
| abstract
| - Тавтология (от греч. ταὐτός – тот же самый и λόγος – слово), термин классической формальной логики, означающий формулу (суждение, высказывание), которая остаётся тождественно истинной для любого набора истинностных значений ее переменных. Тождественная истинность такой формулы обусловлена исключительно её логической структурой. Например, в логике предикатов 1-го порядка любая атомарная формула A вида a = a (где a суть терм (термин)) является тавтологией: если a = МАСЛО, то атомарная формула A имеет вид МАСЛО = МАСЛО ("Масло масленное"). Это значение термина "тавтология" было введено Л.Витгенштейном, а позднее сфера его применения была расширена: "тавтологией" стали называть вообще логически истинные формулы классических логических исчислений – законы классической логики. В соответствии с этим термин "тавтология" естественно относить не к "чистым", а к прикладным формальным исчислениям, в которых зафиксирована область изменения переменных (предметная область рассмотрения или универсум), не смотря на то, что тавтология не зависит от того, каков этот универсум. left|250pxПочему? Потому что известна область интерпретации абстрактной формулы: вы всегда имеете возможность проверки её тождественной истинности, а не просто выполнимости в какой-то части универсума. В классической формальной логике термины "тавтология", "логический закон", "тождественно истинная формула" являются синонимами. Одновременно в классической формальной логике термин "тавтология" используется в качестве особой разновидности логической ошибки.
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)