2014 dxdy logo

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

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




 
 Исчисление высказываний
Сообщение31.03.2014, 02:37 
Добрых времени суток, уважаемые пользователи!
Помогите решить следующее задание:
Найти значение формулы (\neg$B\to A$)[\gamma],
если ($A \lor B$)[\gamma]=И
и ($A\to B$)[\gamma]=И

Буду Вам очень благодарен! Спасибо за Ваше время.

 
 
 
 Re: Исчисление высказываний
Сообщение31.03.2014, 05:19 
мне кажется, задача содержит излишние данные.. (если только я верно его понял). что означает гамма в квадратных скобках?

 
 
 
 Re: Исчисление высказываний
Сообщение31.03.2014, 10:48 
Простите, я написал \gamma вместо "γ", так как этот символ не нашел с помощью тега

 
 
 
 Re: Исчисление высказываний
Сообщение31.03.2014, 11:17 
Аватара пользователя
spyphy в сообщении #843384 писал(а):
мне кажется, задача содержит излишние данные..

Там 2 задачи?

 
 
 
 Re: Исчисление высказываний
Сообщение31.03.2014, 13:13 
Wertyfree в сообщении #843446 писал(а):
Простите, я написал \gamma вместо "γ", так как этот символ не нашел с помощью тега

не в этом суть. Просто хотелось узнать, из какого раздела матлогики или дискретки эта задача? (например, исчисление высказываний, исчисление предикатов и т.п.)

 
 
 
 Re: Исчисление высказываний
Сообщение31.03.2014, 13:45 
spyphy в сообщении #843510 писал(а):
не в этом суть. Просто хотелось узнать, из какого раздела матлогики или дискретки эта задача? (например, исчисление высказываний, исчисление предикатов и т.п.)

Так ведь посмотрите как называется Тема! Исчисление высказываний!

 
 
 
 Re: Исчисление высказываний
Сообщение31.03.2014, 13:55 
Wertyfree в сообщении #843536 писал(а):
Так ведь посмотрите как называется Тема! Исчисление высказываний!

ах да точно :) Но тем не менее не припомню таких обозначений в исчислении высказываний. Может название учебника/задачника скажите?

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


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