2014 dxdy logo

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

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


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


В этом разделе нельзя создавать новые темы.



Начать новую тему Ответить на тему
 
 Упражнение из учебника Мендельсона Введение в мат.логику
Сообщение12.06.2013, 18:00 


12/06/13
3
Пропозициональная форма, содержащая только связку эквивалентности, является тавтологией тогда и только тогда, когда всякая пропозициональная буква входит в нее четное число раз.

 Профиль  
                  
 
 Re: Упражнение из учебника Мендельсона Введение в мат.логику
Сообщение12.06.2013, 19:48 
Заслуженный участник


08/04/08
8562
Это очень простое задание :-)
Надо только вспомнить, как еще называется связка эквивалентности (вспомните про полиномы Жегалкина).
Либо докажите ассоциативность эквивалентности и вспомните про ее коммутативность.

 Профиль  
                  
 
 Re: Упражнение из учебника Мендельсона Введение в мат.логику
Сообщение14.06.2013, 15:24 


12/06/13
3
Sonic86 в сообщении #736005 писал(а):
Это очень простое задание :-)
Надо только вспомнить, как еще называется связка эквивалентности (вспомните про полиномы Жегалкина).
Либо докажите ассоциативность эквивалентности и вспомните про ее коммутативность.



А вы бы не могли мне помочь с этим, пожалуйста. У меня просто времени очень мало..завтра уже сдавать.

 Профиль  
                  
 
 Re: Упражнение из учебника Мендельсона Введение в мат.логику
Сообщение14.06.2013, 21:12 
Супермодератор
Аватара пользователя


20/11/12
5728
EvgeniaChoo в сообщении #736590 писал(а):
А вы бы не могли мне помочь с этим, пожалуйста. У меня просто времени очень мало..завтра уже сдавать.
Здесь не решают задачи целиком, хотя бы потому, что это запрещено правилами. Вам дали подсказку:
Sonic86 в сообщении #736005 писал(а):
докажите ассоциативность эквивалентности и вспомните про ее коммутативность.
- попытайтесь воспользоваться ею. Напишите, что получилось, а что нет - получите подсказку дальше.

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

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



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

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


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

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