Исчисление высказываний

Теория

  • Введение

    Об аксиоматическом методе. Современные представления. Исчисления. Теоремы и вывод. Теория и метатеория. Цели формализации в математике. Логика высказываний и ее формализация — теория K. Подробнее

  • Основные положения теории N

    Язык теории N. Аксиомы (их одиннадцать): 1) X → (Y → X); 2) X → Язык теории N. Аксиомы (их одиннадцать): 1) X → (Y → X); 2) X → Y → (X → (Y → Z) → (X → Z)); 3) X∧Y → X; 4) X∧Y → Y; 5) (X → Y) → ((X → Z) → (X → Y ∧Z)); 6) X → X∨Y; 7)Y → X∨Y;8)X → Z → (Y → Z → (X∨Y → Z));9)X → Y → (¬Y → ¬X);10)¬¬X → X; 11) X → ¬¬X. Подробнее

  • Правила естественного вывода

    Теорема о дедукции: если Γ, X ⊢ Y , то Γ ⊢ X → Y . Структурные правила естественного вывода. Логические правила естественного вывода. Подробнее

  • Глобальные свойства теории N

    Выводимые формулы и тавтологии. Непротиворечивость теории N . Полнота теории N . Разрешимость теории N. Независимость аксиом в теории N.Подробнее