Рассмотрим два высказывания: “Сегодня идет дождь” (A) и “Завтра будет солнечно” (B). Согласно переместительному закону, мы можем менять порядок высказываний в логическом выражении без изменения его значения:
A и B = B и A
Таким образом, оба выражения “Сегодня идет дождь и завтра будет солнечно” и “Завтра будет солнечно и сегодня идет дождь” имеют одно и то же значение - противоречие.
Другой пример: высказывания “На улице холодно” (A), “На улице идет дождь” (B) и “На улице дует ветер” ©. Мы можем перемещать высказывания в любом порядке без изменения значения логического выражения:
A или B или C = C или B или A
Оба выражения означают одно и то же - “На улице холодно, идет дождь или дует ветер”.
Еще один пример: высказывания A = “Каникулы начались”, B = “Уроки закончились” и C = “Лето наступило”. Согласно переместительному закону, порядок высказываний не имеет значения:
A и B и C = C и B и A