Наш преподаватель логики в подобных ситуациях требовал: *излагаете максимально простыми общеупотребительными словами. Если таких слов не хватает или необходимо ввести специализированные термины - даёте каждому полное толкование вкладываемых смыслов. И, если при доказательстве чего-либо вы используете заявленный термин в несвойственном ему либо расширенном смысле (сравнительно с заявленными) - ваше доказательство становится ложным.