Skip to main content

Теория: 03 Понятие условного утверждения

Задание

Определение

Утверждение, составленное с помощью конструкции "если ...,  то ...", называют условным.

Определение

В условном утверждении "Если утверждение\(\displaystyle \color{Orchid}{X} {\small ,}\) то утверждение\(\displaystyle \blue {Y}{\small } \)"

  • утверждение\(\displaystyle \color{Orchid} {X} {\small }\) называют условием или посылкой;
  • утверждение\(\displaystyle \blue {Y}{\small } \) называют следствием или заключением.

Информация

Условное утверждение  "Если\(\displaystyle \color{Orchid}{X} {\small ,}\) то\(\displaystyle \blue {Y}{\small } \)" записывают как \(\displaystyle \color{Orchid} {X} \rightarrow \blue {Y}{\small .} \)

Информация

Условное утверждение можно записать в виде:

если условие, то следствие       или       условие \(\displaystyle \rightarrow\) следствие.

Решение