Логическое высказывание, которое соответствует фразе «X не делится на 3 и делится на 2», можно записать следующим образом:
A \/ B
Это высказывание означает, что по крайней мере одно из утверждений A и B истинно. В данном случае утверждение A означает, что число X не делится на 3, а утверждение B означает, что число X делится на 2. Таким образом, высказывание A / B означает, что число X либо не делится на 3, либо делится на 2, либо и то, и другое.
Вот еще один способ записать это высказывание:
¬(A /\ ¬B)
Это высказывание означает, что неверно, что утверждение A истинно и утверждение B ложно. В данном случае утверждение A означает, что число X не делится на 3, а утверждение B означает, что число X делится на 2. Таким образом, высказывание ¬(A /\ ¬B) означает, что неверно, что число X не делится на 3 и не делится на 2. Другими словами, число X либо делится на 3, либо делится на 2, либо и то, и другое.
Какой способ записи выбрать, зависит от контекста. В данном случае оба способа записи являются равнозначными.