2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Конструктивное доказательство закона Де Моргана
Сообщение11.09.2017, 08:23 
Заслуженный участник
Аватара пользователя


06/10/08
6294
arseniiv в сообщении #1246894 писал(а):
Xaositect в сообщении #1246869 писал(а):
Так ведь тут действительно известно: из обоих выводится. $A \Rightarrow A \vee B \Rightarrow C$, $B \Rightarrow A \vee B \Rightarrow C$
А не напишете функцию с типом (Either a b -> c) -> Either (a -> c) (b -> c)? По-моему, её всё-таки нет. :?
Аж две напишу: f1 g = Left (g . Left) и f2 g = Right (g . Right).

 Профиль  
                  
 
 Re: Конструктивное доказательство закона Де Моргана
Сообщение11.09.2017, 15:47 
Заслуженный участник
Аватара пользователя


27/04/09
27142
Да, действительно. Как же мою интуицию заклинило-то, оказывается. :|

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

Модераторы: Модераторы Математики, Супермодераторы



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

Сейчас этот форум просматривают: mihaild


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

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group