2014 dxdy logo

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

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




 
 матлогика
Сообщение06.11.2008, 12:32 
Народ помогите пожалуйста вывести вот эту формулу по матлогике: a\/b-->b\/a
Зарание спасибо!!!!

 
 
 
 
Сообщение06.11.2008, 14:52 
Аватара пользователя
попробуйте построить таблицу истинности

 
 
 
 Таблица истиности
Сообщение06.11.2008, 15:37 
Спасибо конечно за совет, только если бы я понимал что нить, мне нужно сдать зачет просто, нодо эту хреноматию решить, поэтому я и прошу помощь. :(

 
 
 
 
Сообщение06.11.2008, 16:20 
Аватара пользователя
kadr в сообщении #156368 писал(а):
только если бы я понимал что нить
Знания приходят в процессе изучения предмета.
kadr в сообщении #156368 писал(а):
мне нужно сдать зачет просто
Так пойдите и просто сдайте его :D :D :D
kadr в сообщении #156368 писал(а):
нодо эту хреноматию решить, поэтому я и прошу помощь.
Решить за Вас? То есть поучаствовать в обмане Вашего преподавателя? И Вы смеете предлагать нам такую гнусность?

 
 
 
 Спасибо
Сообщение06.11.2008, 17:46 
Спасибо за помощь[/b]

 
 
 
 вывод
Сообщение07.11.2008, 02:44 
Аватара пользователя
Hack attempt!

Номера схем аксиом - из Клини (там другие обозначения для импликации и эквивалентности ), правило 2 - модус поненс. Остальные номера справа соответствуют пунктам списка.

Если нужно только ($\to$) уберите лишние пункты из списка.
постулаты исчисления высказываний

 
 
 
 
Сообщение07.11.2008, 11:29 
Аватара пользователя
Brukvalub в сообщении #156391 писал(а):
И Вы смеете предлагать нам такую гнусность?


Ась? Что? А-а-а-а-а-а, понятно, так Вы это об обмане преподавателя. Я уж думал, что тут гомосекуализм какой-то.

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


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group