Для начала нужно понять, что такое простые и сложные высказывания. Простые высказывания — это высказывания, которые не содержат других высказываний в своем составе. Сложные высказывания, наоборот, составлены из нескольких простых высказываний и логических связок.
Рассмотрим сложное высказывание: «Если число делится на 4, то оно делится на 2».
Выделим простые высказывания:
- «Число делится на 4» — это одно простое высказывание. Обозначим его как ( A ).
- «Число делится на 2» — это второе простое высказывание. Обозначим его как ( B ).
Теперь нам нужно записать сложное высказывание в виде логической формулы.
Сложное высказывание имеет форму импликации (логического следования), которая в логике записывается как ( A \rightarrow B ).
Таким образом, в логической формуле наше сложное высказывание будет выглядеть следующим образом:
[ A \rightarrow B ]
Где:
- ( A ): «Число делится на 4».
- ( B ): «Число делится на 2».
Формально, если число делится на 4, то оно обязательно делится на 2. Это и есть суть импликации, которая в логике означает, что если первое высказывание истинно, то второе также должно быть истинным.