Eyniyyətli-həqiqi mülahizələr — məntiqi hesablamaların mülahizələri, ifadələri və ya formullarıdır. Müvafiq eyniyyətli-yanlış mülahizələr və ya formullar onların dəyişənlərinin həqiqiliyinin istənilən qiymətlərində yanlış olacaqlar.[1]