Доказательство теоремы. Введение в математическую логику.

Модераторы: mad_math, Prokop

Страница 1 из 1

[ Сообщений: 2 ]

Для печати

Пред. тема | След. тема

Автор

Сообщение

jekaUA395

Заголовок сообщения: Доказательство теоремы. Введение в математическую логику.

Добавлено: 23 дек 2013, 19:29

Начинающий

Зарегистрирован:
27 ноя 2013, 22:20
Сообщений: 8
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 0

Подскажите пожалуйста, как доказать теорему |- [math]\overline{\overline{A}}[/math] [math]\longrightarrow A[/math]
Теория L2
Аксиомы
(A1) A [math]\to (A \And A)[/math]
(A2) A & B [math]\to A[/math]
(A3) (A [math]\to B[/math]) [math]\to (\overline{(B \And C}) \to \overline{(C \And A)})[/math]

Спасибо.

Вернуться к началу

gefest

Заголовок сообщения: Re: Доказательство теоремы. Введение в математическую логику.

Добавлено: 24 дек 2013, 01:57

Одарённый

Зарегистрирован:
06 дек 2012, 12:40
Сообщений: 173
Откуда: Кишинёв
Cпасибо сказано: 2
Спасибо получено:
57 раз в 52 сообщениях
Очков репутации: 32

Примитивные связки только конъюнкция и отрицание. [math]A\to B[/math] сокращает [math]\neg(A\And\neg B)[/math].

[math]\neg A\to\neg A\And\neg A,\ \neg A\And\neg A\to\neg A\vdash\neg(\neg\neg A\And\neg A)[/math]

Два допущения в этой строчке являются теоремами, они доказуемы из первых двух аксиом. Формула справа это та, которую надо доказать.

Вернуться к началу

Страница 1 из 1 [ Сообщений: 2 ]

Похожие темы	Автор	Ответы	Просмотры	Последнее сообщение
Дискретная математика. Введение в математическую логику в форуме Дискретная математика, Теория множеств и Логика	Katerina_K	1	133	01 июн 2020, 23:44
Доказательство теоремы в форуме Пределы числовых последовательностей и функций, Исследования функций	ELENA ASELBAEVA	1	408	25 фев 2015, 17:15
Доказательство теоремы в форуме Линейная и Абстрактная алгебра	K_A	7	503	06 апр 2018, 22:09
Доказательство теоремы в форуме Пределы числовых последовательностей и функций, Исследования функций	sfanter	1	332	10 сен 2015, 05:27
Доказательство теоремы в форуме Начала анализа и Другие разделы школьной математики	Bekimov	0	344	11 июн 2018, 14:53
Доказательство теоремы в форуме Дискретная математика, Теория множеств и Логика	MAKSUS_87	3	334	27 июн 2016, 13:52
Доказательство теоремы о свёртке в форуме Ряды Фурье и Интегральные преобразования	sunchesi	15	737	25 фев 2020, 18:46
Доказательство теоремы и выводимости в форуме Дискретная математика, Теория множеств и Логика	Fa4stik	29	620	07 янв 2021, 21:59
Доказательство теоремы Штольца в форуме Пределы числовых последовательностей и функций, Исследования функций	Space	9	1445	27 дек 2015, 16:48
Доказательство теоремы Ферма в уме в форуме Палата №6	Spirin	33	1275	10 июл 2020, 14:35

Список статей » Список форумов » Высшая математика » Дискретная математика, Теория множеств и Логика

Часовой пояс: UTC + 3 часа [ Летнее время ]

Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 2

Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Перейти: