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

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



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

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


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

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