Суперечливість
Матеріал з Ukrainian Logical Encyclopedia
(відмінності між версіями)
Logic (обговорення | внесок) (Створена сторінка: '''Супере́чливість''' або '''контрадикто́рність''' — логічне відношення між формулами) |
Logic (обговорення | внесок) |
||
| Рядок 1: | Рядок 1: | ||
| - | '''Супере́чливість''' або '''контрадикто́рність''' | + | '''Супере́чливість''' — 1) властивість окремої формули, множини формул, формальної системи (числення, теорії) або їхніх [[інтерпретант]]ів |
| + | |||
| + | 2) те саме, що й '''контрадикто́рність'''; логічне відношення між формулами | ||
Поточна версія на 14:07, 2 червня 2010
Супере́чливість — 1) властивість окремої формули, множини формул, формальної системи (числення, теорії) або їхніх інтерпретантів
2) те саме, що й контрадикто́рність; логічне відношення між формулами
