Президентский ФМЛ №239

Это старая версия документа!

---

1. Необходимо
   • Для того, чтобы предмет был морковкой, необходимо, что он был овощем. ВЕРНО (все морковки - овощи; если предмет не овощь, то уж точно и не морковка)
2. Достаточно
   • Для того, чтобы предмет был морковкой, достаточно, чтобы он был овощем. НЕВЕРНО (бывают овощи и не морковки)
3. Тогда, когда (если)
   • Предмет будет морковкой тогда, когда он будет овощем. НЕВЕРНО (бывают овощи и не морковки)
   • Предмет будет морковкой, если он будет овощем. НЕВЕРНО (бывают овощи и не морковки)
4. Только тогда, когда (только если)
   • Предмет будет морковкой только тогда, когда он будет овощем. ВЕРНО (если не овощь, то уж точно и не морковка)
   • Предмет будет морковкой, только если он будет овощем. ВЕРНО (если не овощь, то уж точно и не морковка)
5. Следовательно
   • Из того, что предмет являетя морковкой, следует, что предмет является овощем. ВЕРНО (если уж предмет - это морковка, то он обязательно овощь)
6. Обратное следствие
   • То, что предмет является морковкой, следует из того, что предмет является овощем. НЕВЕРНО (не все овощи это морковки)
7. Свойство
   • У всех морковок есть такое свойство: «быть овощем». ВЕРНО (действительно, все морковки являются овощами)
8. Признак
   • У морковок есть такой признак: «если овошь, то морковка». НЕВЕРНО (бывают и другие овощи, которые не морковки)