Условные утверждения отличаются от других логических конструкций тем, что они состоят из двух утверждений, соединённых словами «если» и «то». videouroki.net Первое утверждение называют условием или посылкой, второе — следствием. videouroki.net
Некоторые особенности условных утверждений:
- Истинность. videouroki.net Условное утверждение истинно, если следствие истинно или посылка ложна. videouroki.net
- Функция. books.ifmo.ru Главная функция условных утверждений — обоснование одних утверждений ссылкой на другие. books.ifmo.ru
- Независимость от содержания. books.ifmo.ru Даже если утверждения, из которых составлено условное, никак не связаны друг с другом по смыслу, условное утверждение может быть истинным. books.ifmo.ru