Произведите логическую операцию деления понятия по видообразующему признаку, укажите основание деления: А. Женщина Б. Дети

Определите вид модальности каждого суждения и запишите суждения, переформулировав их, с помощью стандартного модального оператора (модального слова).

Формализовать представленное рассуждение в виде формул алгебры логики: Если Джонс не встречал этой ночью Смита, то либо Смит был убийцей, либо Джонс лжет. Если Смит не был убийцей, то Джонс не встречал его этой ночью

Проверьте двумя способами, будут ли эквивалентны следующие формулы и . составлением таблиц истинности; приведением формул к СДНФ или СКНФ с помощью эквивалентных преобразований.