Даны высказывания:
A = «Эйфелева башня находится в Париже»,
B = «Красноярск находится в Сибири»,
C = «Москва – столица России».
Из этих высказываний составлено новое высказывание «Если Эйфелева башня находится в Париже и Красноярск находится в Сибири, то Москва – столица России». Тогда, заменив в этом высказывании операцию импликации на операцию эквиваленции, получим высказывание: