math-public:neobhodimo_i_dostatchno
Различия
Показаны различия между двумя версиями страницы.
| Предыдущая версия справа и слеваПредыдущая версияСледующая версия | Предыдущая версия | ||
| math-public:neobhodimo_i_dostatchno [2019/09/27 16:11] – labreslav | math-public:neobhodimo_i_dostatchno [2019/09/27 16:12] (текущий) – labreslav | ||
|---|---|---|---|
| Строка 1: | Строка 1: | ||
| + | ^1^2^ | ||
| + | | | ||
| - **Необходимо** | - **Необходимо** | ||
| * Для того, чтобы предмет был морковкой, | * Для того, чтобы предмет был морковкой, | ||
| Строка 17: | Строка 19: | ||
| - **Признак** | - **Признак** | ||
| * У морковок есть такой признак: | * У морковок есть такой признак: | ||
| + | | - **Необходимо** | ||
| + | * Для того, чтобы предмет был морковкой, | ||
| + | - **Достаточно** | ||
| + | * Для того, чтобы предмет был морковкой, | ||
| + | - **Тогда, | ||
| + | * Предмет будет морковкой тогда, когда он будет овощем. НЕВЕРНО (бывают овощи и не морковки) | ||
| + | * Предмет будет морковкой, | ||
| + | - **Только тогда, когда (только если)** | ||
| + | * Предмет будет морковкой только тогда, когда он будет овощем. ВЕРНО (если не овощь, то уж точно и не морковка) | ||
| + | * Предмет будет морковкой, | ||
| + | - **Следовательно** | ||
| + | * Из того, что предмет являетя морковкой, | ||
| + | - **Обратное следствие** | ||
| + | * То, что предмет является морковкой, | ||
| + | - **Свойство** | ||
| + | * У всех морковок есть такое свойство: | ||
| + | - **Признак** | ||
| + | * У морковок есть такой признак: | ||
| + | | | ||
| - | |d|d| | ||
| - | |b|b| | ||
math-public/neobhodimo_i_dostatchno.1569589873.txt.gz · Последнее изменение: — labreslav
