Adevăr

Ce este adevărul? Este mulțimea propozițiilor care nu se contrazic una pe alta. Falsul implică orice, dar adevărul implică numai adevăr. Falsul implică și propoziții care se contrazic una pe alta (propoziții contradictorii), dar adevărul implică numai propoziții care nu se contrazic.