Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ 1 сообщение ] |
|
Автор | Сообщение | |
---|---|---|
source |
|
|
Пусть аксиомами теории, определяющими свойства этих символов, будут: [math]L\to A\,\&\,B~~~~~~~~~\bar{L}\to \bar{A}\vee \bar{B}.[/math] Несложно показать, что эти аксиомы непротиворечивы и независимы. Вопрос: что означает полнота в подобных теориях? Часто говорят, что предметная теория полна, если некоторая формула без переменных или выводима или опровергаема. В исчислении высказываний у нас нет переменных. Однако, очевидно, что в этой сигнатуре можно записать множество формул которые недоказуемы и не опровергаемы. Означает ли это, что она неполна? Каков может быть тогда пример полной предметной теории? |
||
Вернуться к началу | ||
[ 1 сообщение ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Построить вывод в исчислении высказываний | 1 |
173 |
14 дек 2020, 02:26 |
|
Правило введения конъюнкции в исчислении высказываний | 0 |
159 |
18 май 2023, 22:02 |
|
Полнота/неполнота теории | 1 |
284 |
07 окт 2019, 17:16 |
|
Производная в вариационном исчислении
в форуме Дифференциальное исчисление |
5 |
131 |
29 сен 2023, 11:24 |
|
Система уравнений в двоичном исчислении
в форуме Линейная и Абстрактная алгебра |
1 |
393 |
14 апр 2014, 04:32 |
|
Метод резолюций в исчислении предикатов | 0 |
274 |
20 дек 2018, 17:21 |
|
Как вывести формулу в исчислении высказывания ?
в форуме Информатика и Компьютерные науки |
7 |
329 |
08 апр 2022, 12:17 |
|
Определение вывода в исчислении предикатов у Игошина | 6 |
329 |
08 авг 2021, 01:46 |
|
Полнота
в форуме Функциональный анализ, Топология и Дифференциальная геометрия |
0 |
386 |
25 июн 2022, 17:11 |
|
Полнота отношения | 1 |
240 |
30 мар 2021, 22:42 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 16 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |