Definice: Porovnání verzí

Podle [[Aristotelés|Aristotela]] je definice specifickým soudem, který má strukturu trojčlenného soudu ([[subjekt]] – [[kopula]] – [[predikát]]). Tvar definice je tedy "definiendum je definiens" <ref>[http://www.borber.com/files/FIL103-Odkaz-Aristotelske-logiky.doc Bernard, B. (2004). Odkaz Aristotelské logiky.]</ref>. V symbolických zápisech se pro významovou rovnost definovaného výrazu s výrazuemvýrazem definujícím užívá znak <math>=_{def}</math> nebo <math>=_{df}</math> (čte se "definičně rovno").

Tak v definici "čtverec je čtyřúhelník pravoúhlý rovnostranný" je "čtverec" definiendum, "čtyřúhelník" je nejblíže nadřazený rod a "pravoúhlý rovnostranný" je druhový rozdíl, který [[čtverec]] odlišuje od jiných [[čtyřúhelník|čtyřúhleníkůčtyřúhelníků]].<ref name="učebnice MU">[http://boss.ped.muni.cz/vyuka/material//Logika/SKRIPTALopravene.swf učebnice logiky]</ref>