27 665
редагувань
Немає опису редагування |
Alessot (обговорення | внесок) (Правопис) |
||
'''Модальна помилка''' - це {{Нп|формальна помилка|
У модальній логіці висловлювання <math>P</math> може бути обов'язково істинним або хибним (позначається як <math>\Box P</math> і <math>\Box\lnot P</math>, відповідно), що означає що логічно необхідно, щоб воно було істинним чи хибним; або воно може бути істинним або може бути хибним (позначається <math>\diamond P</math> і <math>\diamond\lnot P</math>), що означає, що воно істинне чи хибне, але логічно не обов’язково, щоб це так: його істинність чи хибність є {{Не перекладено|Непередбачуваність (філософія)|непередбачуваним|en|Contingency (philosophy)}}. Модальна помилка виникає, коли є плутанина між ними.
|