Математическая логика помогите

а) методом дедукции:
Доказательство истинности заключения происходит путем применения правил инферентности.

Шаг 1: Предположим, что B->(A->C) и (B->A) являются истинными.

Шаг 2: По правилу модус пonens можно доказать, что (B->A) и (A->C) являются истинными.

Шаг 3: По правилу модус тollens можно доказать, что (B->(B->C)) является истинным.

Шаг 4: Поскольку мы доказали, что (B->(B->C)) является истинным, значит заключение является истинным.

б) методом резолюции:

Шаг 1: Предположим, что B->(A->C) и (B->A) являются истинными.

Шаг 2: Применим метод резолюции для двух исходных формул: (B->(A->C)) и (B->A)

Шаг 3: Получим следующую формулу: (B->C)

Шаг 4: Применим метод резолюции для формулы (B->C) и (B->A)

Шаг 5: Получим следующую формулу:

(B->(B->C))

Шаг 6: Поскольку мы получили формулу (B->(B->C)) используя только исходные формулы (B->(A->C)) и (B->A), значит заключение является истинным.

в) методом Вонга:

Шаг 1: Предположим, что B->(A->C) и (B->A) являются истинными.

Шаг 2: Применим метод Вонга к формуле (B->(A->C)) и (B->A), заменив B на (B->C) в формуле (B->(A->C))

Шаг 3: Получим следующую формулу: (B->A) -> (B->(B->C))

Шаг 4: Поскольку мы получили формулу (B->A) -> (B->(B->C)) используя только исходные формулы (B->(A->C)) и (B->A), значит заключение является истинным.

Ты должен учить параграф дома самостоятельно ДО того как его расскажет препод на лекции. Все выучить, загуглить. Потом составляешь список всего что не понял и на лекции - ПО ХОДУ объяснения препода - СПРАШИВАЕШЬ не понятные моменты.

ОСТАЁШЬСЯ после лекции или договариваешься когда можно по скорее подойти что б он объяснил.

Находишь лучших однокурсников и общаешься с ними что бы понять сложные моменты.

Это в ШКОЛЕ тебе каждая собака могла помочь. А в университете ты должен быть на шаг впереди и учить КАЖДУЮ СТРАНИЦУ и гуглить КАЖДОЕ слово

А где такой бред преподают?))

Я знаю только методом ванга