Definice: Porovnání verzí

Podle [[Aristotelés|Aristotela]] je definice specifickým soudem, který má strukturu trojčlenného soudu ([[subjekt]] – [[kopula]] – [[Predikát (logika)|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ýrazem definujícím užívá znak <math>=_{def}</math> nebo <math>=_{df}</math> (čte se "definičně rovno").