<<
>>

9. Метод доказательства от противного. Противоречия

Множество высказываний непротиворечиво, если существует по меньшей мере одно такое распределение истинностных значений простым компонентам, что все А одновременно получают значение Т. Противоречивость множества высказываний есть отрицание его непротиворечивости. Так, есть противоречивое множество, если при всяком распределении истинностных значений простым компонентам по меньшей мере одно из А получает значение F. Короче говоря, непротиворечиво, если имеет значение Т по меньшей мере для одной комбинации приписываемых простым компонентам истинностных значений, и противоречиво, если имеет значение F для всех комбинаций истинностных значений, приписываемых простым компонентам.

Противоречие есть формула, которая всегда принимает истинностное значение F (например, )

<< | >>
Источник: Лекции по математической логике. 2017

Скачать готовые ответы к экзамену, шпаргалки и другие учебные материалы в формате Word Вы можете в основной библиотеке Sci.House

Воспользуйтесь формой поиска

9. Метод доказательства от противного. Противоречия

релевантные научные источники: