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