Исчисление высказываний

[Wertyfree]

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

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

[spyphy]

мне кажется, задача содержит излишние данные.. (если только я верно его понял). что означает гамма в квадратных скобках?

[Wertyfree]

Простите, я написал \gamma вместо "γ", так как этот символ не нашел с помощью тега

[nikvic]

spyphy в сообщении #843384 писал(а):

мне кажется, задача содержит излишние данные..

Там 2 задачи?

[spyphy]

Wertyfree в сообщении #843446 писал(а):

Простите, я написал \gamma вместо "γ", так как этот символ не нашел с помощью тега

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

[Wertyfree]

spyphy в сообщении #843510 писал(а):

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

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

[spyphy]

Wertyfree в сообщении #843536 писал(а):

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

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