Условие - заключение
Таким образом, высказывание, в котором имеются слова «если», «то», состоит из двух высказываний и его можно показать так:
Если высказывание 1 то высказывание 2
Здесь «высказывание 1» является условием, а «высказывание 2» - заключением.
Например:
Если солнце заходит, то смеркается.
Если фрукт - лимон, то он кислый.
Высказывания со словами «если», «то»
часто схематично изображают так:
высказывание 1 высказывание 2
Здесь стрелка направлена от условия к заключению.
В некоторых высказываниях, если условие и заключение поменять местами, полученное новое высказывание вновь остается истинным. Например:
Солнце заходит Смеркается
Смеркается Солнце заходит
Такие высказывания схематично можно показать так:
Солнце заходит Смеркается