Propoziție

Numesc propoziție o succesiune de caractere căreia îi putem da un sens și o valoare de adevăr. De regulă, toate propozițiile pot fi scrise recursiv sub forma „Dacă p, atunci q”, unde atât p, cât și q sunt la rândul lor propoziții. În acest context, o propoziție simplă p, deci una care nu are forma „Dacă p, atunci q” poate fi scrisă sub forma „Dacă nu p, atunci p”.