Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

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




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Мат.логика
СообщениеДобавлено: 11 апр 2016, 20:47 
Не в сети
Начинающий
Зарегистрирован:
11 апр 2016, 20:42
Сообщений: 1
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Применить лемму Кальмара для набора (1,0,1)
[math](P1 \supset \lnot P2) \supset ( \lnot P3 \supset P2)[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Мат.логика
СообщениеДобавлено: 11 апр 2016, 22:20 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
Напомните, пожалуйста, в чем состоит лемма. А заодно напишите, в чем сложность.

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 2 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Логика высказываний и Логика предикатов

в форуме Дискретная математика, Теория множеств и Логика

maksim-maksim

2

270

17 мар 2022, 20:06

Мат. логика. Логика высказываний

в форуме Дискретная математика, Теория множеств и Логика

Lucky721

14

1157

06 ноя 2014, 16:47

Логика

в форуме Размышления по поводу и без

nicat

3

359

07 янв 2017, 21:07

Мат. Логика

в форуме Дискретная математика, Теория множеств и Логика

II98

1

352

16 янв 2021, 21:02

Логика

в форуме Дискретная математика, Теория множеств и Логика

pikelson

6

425

15 июл 2015, 17:00

Логика

в форуме Задачи со школьных и студенческих олимпиад

Platon

2

876

09 ноя 2015, 19:43

Мат. логика

в форуме Дискретная математика, Теория множеств и Логика

bobbyserf

1

394

03 апр 2016, 17:30

Мат логика

в форуме Дискретная математика, Теория множеств и Логика

KILJHB

0

287

20 июн 2020, 09:31

Логика в выражениях

в форуме Дискретная математика, Теория множеств и Логика

maks1111

1

411

24 сен 2015, 12:48

Математическая логика

в форуме Дискретная математика, Теория множеств и Логика

Tanyaha

0

246

22 июн 2020, 19:43


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



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

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


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

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved