ספר ההגיון · פרק י״ז, י״ח

יח הַמֻכְרָח הוּא שֶׁיִּהְיֶה אֱמֶת שֶׁאִי אֶפְשָׁר לִהְיוֹת כָּזָב, אוֹ כָּזָב שֶׁאִי אֶפְשָׁר לִהְיוֹת אֱמֶת. דֶּרֶךְ מָשָׁל, אִם תֹּאמַר: הַחַי מֻכְרָח שֶׁיַּרְגִּישׁ.