2.9. Некоторые теоремы теории £
Множество теорем теории £ бесконечно. Рассмотрим некоторые из них.
1. 
(закон двойного отрицания).
2. 
(закон двойного отрицания).
3. 
(из ложного что угодно).
4. 
(закон де Моргана)
5. 
(закон де Моргана)
и т. д.
(Вывод законов см. Ф.А. Новиков “Дискретная математика для программистов”, стр.114).
Теорема. Теоремами теории £ являются только общезначимые формулы.
Следствие. Теория £ формально непротиворечива.
Выводы.
1. Можно задать некоторые правила преобразования формул, которые обладают свойством: при применении к общезначимым формулам они дают в результате общезначимые формулы. Такими правилами являются правила вывода.
2. Можно задать конечное число общезначимых формул таких, что любая общезначимая формула может быть получена из них с помощью правил вывода.
Еще по теме 2.9. Некоторые теоремы теории £:
- § 29. Некоторые теоремы о дифференцируемыхфункциях
- 1.2 Некоторые сведения из теории групп
- Глава 6. Некоторые ограничения вышеизложенной теории
- 1.3.1. Некоторые определения из теории множеств
- Раздел 10. Предельные теоремы теории вероятностей.
- §4. Две предельные теоремы теории очередей.
- ГЛАСНЫЕ НА МЕСТЕ БУКВЫ £ ПОСЛЕ ТВЕРДЫХ ШИПЯЩИХ И
- Стативное £Ь/7Ь с номинативным субъектом
- Задание 2. Проанализируйте основные традиционные теории, которые охватывают отдельные аспекты происхождения государства, подчас возводят в абсолют некоторые его свойства и качества.
- Теорема 47. Удовольствие, возникающее вследствие того, что мы воображаем, что предмет нашей ненависти разрушается или подвергается злу, возникает не без некоторого душевного неудовольствия.
- ГЛАСНЫЕ НА МЕСТЕ БУКВ Я (А) И £ ПОСЛЕ МЯГКИХ СОГЛАСНЫХ В ПРЕДУДАРНЫХ СЛОГАХ
- ММ£РАЙЧЕВСКИЙ ЧЕРНИГОВСКИЙ КНЯЖЕСКИЙ ДОМ И АВТОР ’’СЛОВА О ПОЛКУ ИГОРЕВЕ”
- Некоторые товарищи полагают, что идеологическому противодействию свойственны некоторые особые методологические принципы. Так ли это?