Правильність: відмінності між версіями

У математичній логіці, логічна система має властивість правильності тоді і тільки тоді, коли її правила виводу доводять тільки формули, що є чинними відноснощодо її семантики. У більшості випадків, це зводиться до того, що її правила мають властивість збереження істини, проте це не так у загальному випадку.