Ответ:

В пунктах 3 и 4 формулы на фотографии читаются не полностью. В любом из разумных прочтений видимых отрицаний и соединений эти высказывания ложны; ниже приведены контрпримеры.

  1. A → B — ложное. Число 3 делится на 3, но не делится на 9. Значит, A истинно, а B ложно.
  2. B → A — истинное. Любое число, делящееся на 9, делится на 3, поскольку 9 делится на 3.
  3. Ложное. Например, при прочтении формулы как ¬B → A число 1 не делится ни на 9, ни на 3: условие ¬B истинно, а заключение A ложно. Если в формуле указано ¬(B ∧ C) → A, число 1 также служит контрпримером.
  4. Ложное. Например, при прочтении формулы как ¬A → C число 1 не делится на 3 и нечётное. Если указано ¬(A ∧ B) → C, контрпримером будет число 3: ¬(A ∧ B) истинно, а C ложно.

Ответ: 1) ложное; 2) истинное; 3) ложное; 4) ложное.