ПравильністьУ математичній логіці, логічна система має властивість правильності тоді і тільки тоді, коли її правила виводу доводять тільки формули, що є чинними щодо її семантики. Здебільшого, це зводиться до того, що її правила мають властивість збереження істини, проте це не так у загальному випадку. Про аргументиАргумент є правильним тоді і тільки тоді, коли:
Розглянемо наступний аргумент:
Цей аргумент є правильним, оскільки усі вихідні твердження є істинними, та сам аргумент є чинним. Натомість аргумент:
є неправильним, адже хоча він і є чинним, одне твердження «усі люди вміють літати» є очевидно неістинним. Логічні численняПравильність (коректність) знаходиться поміж фундаментальних властивостей, що вивчаються у математичній логіці. Властивість правильності забезпечує початкову підставу для того, щоб розглядати логічну систему як бажану. Властивість повноти означає, що будь-яка тавтологія є теоремою. Разом вони імплікують, тавтології і тільки тавтології є теоремами Логічне числення має властивість правильності, якщо теореми логічного числення є тавтологіями. Див. такожЛітература
|
Portal di Ensiklopedia Dunia
