VII. Определить вид сложного суждения и формализовать его. Произвести отрицание формул и примеров

Если студент посещает лекции, то он сдаст экзамен

Если человек посетил ИвГУ, то он посетил Иваново

Если человек посетил Францию, то он посетил Париж

А необходимо и достаточно для В

Если и только если сегодня 30 марта, то завтра 31 марта

Сложные суждения бывают импликативные или не-импликативные

Тише едешь – дальше будешь

Стой – стрелять буду

Пример:

Если студент посещает лекции, то он сдаст экзамен. Это импликативное суждение. А ® В

º А и не-В. Студент посещает лекции и не сдаст экзамен.