Символы и примеры эквиваленции в логике