Условие:
Формализуйте высказывание: «Неверно, что на работу в это учреждение принимают тогда и только тогда, когда пройдешь собеседование и будешь аттестован положительно». Оцените его истинность, если на самом деле:
1) На работу не принимают без собеседования и без положительной аттестации.
2) На работу принимают после собеседования, но без положительной аттестации.
Решение:
Давайте формализуем данное высказывание. Обозначим: P: На работу в это учреждение принимают. Q: Ты прошел собеседование. R: Ты аттестован положительно. Исходное высказывание можно записать в логической форме как: P ↔ (Q ∧ R) Теперь нам нужно формализовать отрицание этого высказывания: ¬(P ↔ (Q ∧ R)) Согласно логике, отрицание эквивалентности можно записать как: ¬(P ↔ (Q ∧ R)) = P ↔ ¬(Q ∧ R) Это можно такж...
