Дисциплина логика — легко, доступно, логично

д.

Также тривиальным, но уже имеющим логический характер, является доказательство аналитически истинных высказываний. В данном случае состоит просто в извлечении необходимой информации из соответствующего определения.

Пример. Истинность утверждения, что у всякого параллелограмма противоположные стороны параллельны, следует прямо из определения параллелограмма как четырехугольника, у которого противоположные стороны попарно параллельны.