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