Необходимо

Для того, чтобы предмет был морковкой, необходимо, что он был овощем. ВЕРНО (все морковки - овощи; если предмет не овощь, то уж точно и не морковка)

Достаточно

Для того, чтобы предмет был морковкой, достаточно, чтобы он был овощем. НЕВЕРНО (бывают овощи и не морковки)

Тогда, когда (если)

Предмет будет морковкой тогда, когда он будет овощем. НЕВЕРНО (бывают овощи и не морковки)

Предмет будет морковкой, если он будет овощем. НЕВЕРНО (бывают овощи и не морковки)

Только тогда, когда (только если)

Предмет будет морковкой только тогда, когда он будет овощем. ВЕРНО (если не овощь, то уж точно и не морковка)

Предмет будет морковкой, только если он будет овощем. ВЕРНО (если не овощь, то уж точно и не морковка)

Следовательно

Из того, что предмет являетя морковкой, следует, что предмет является овощем. ВЕРНО (если уж предмет - это морковка, то он обязательно овощь)

Обратное следствие

То, что предмет является морковкой, следует из того, что предмет является овощем. НЕВЕРНО (не все овощи это морковки)

Свойство

У всех морковок есть такое свойство: «быть овощем». ВЕРНО (действительно, все морковки являются овощами)

Признак

У морковок есть такой признак: «если овошь, то морковка». НЕВЕРНО (бывают и другие овощи, которые не морковки)