а) Представим умозаключение в виде следующей логической формы: Если A простужается, то B повышается. B не повысилась

a) Данное умозаключение представлено в форме импликации "Если A, то B". Предположим, что это умозаключение неверно, исходя из предложенных условий. Если A простужается и это приводит к повышению B, а затем мы видим, что B не повысилась, это означает лишь, что условие "A простужается" не может быть истиной.

У нас есть два возможных сценария:
1. Возможно, A не простужается, что означает, что первое условие в умозаключении ложно. Однако, это не противоречит предоставленной информации, так как в условиях этого умозаключения нигде не говорится о том, что A должно простужаться.
2. Возможно, B повышается не только из-за простуды A, что делает второе условие ложным или неполным. В этом случае мы не можем быть уверены, что A не простудился только потому, что B не повысилась.

Таким образом, умозаключение не может быть однозначно подтверждено на основе предоставленной информации.

b) Проверка правильности данного умозаключения связана с анализом его формы и логической структуры, а не с искренностью или достоверностью его составляющих частей.

Умозаключение представляет собой пример т.н. модус-поненс логического вывода. Эта логическая форма гласит: "Если P, то Q. P верно. Следовательно, Q верно."

Изначально дано умозаключение "Если A простужается, то B повышается." Затем дано предположение "B не повысилась."
Следовательно, мы можем сделать логический вывод, что "A не простудился".

Таким образом, данное умозаключение является правильным в рамках модус-поненс логического вывода.