Propunerea este un concept cu diferite utilizări. Poate fi o manifestare a unui lucru, astfel încât alți indivizi să cunoască o intenție, concretizarea unei propuneri sau o afirmație care poate fi falsă sau adevărată.

Există anumite afirmații despre care nu putem anticipa valoarea lor de adevăr la prima vedere, deoarece în conținutul lor există cel puțin o variabilă, a cărei valoare este necunoscută. După ce le observăm și analizăm, calculele necesare pot fi efectuate pentru a găsi una dintre valorile capabile să le înlocuiască, pentru a putea fi în cele din urmă capabile să se asigure că propoziția este adevărată sau falsă.

În unele cazuri, variabilele pot fi înlocuite cu mai mult de o valoare, care fac parte dintr-un set numit domeniu al variabilei . La rândul său, setul care este format din elementele acelui domeniu care returnează adevărata propunere deschisă se numește setul de soluții al propoziției deschise .

Conjunctiv matematic

Când două propoziții sunt unite prin simbolul conjuncției (^), vorbim despre o propoziție conjunctivă, care trebuie să îndeplinească următoarea condiție : poate avea doar o adevărată valoare adevărului dacă cele două componente ale sale sunt adevărate; pe de altă parte, dacă cel puțin una dintre ele dă valoarea falsă, atunci propoziția conjunctivă este falsă.

Deoarece este relația dintre două seturi, este de asemenea posibil să se determine acele elemente care fac parte din ambele domenii ale variabilelor, care aparțin setului de intersecții al ambelor propoziții matematice.

Propoziție matematică disjunctivă

În acest caz, două propoziții sunt de asemenea legate, însă se folosește simbolul opus, care poate fi citit ca cuvântul "o", deoarece propune o relație caracterizată de următoarea cerință: propoziția disjunctivă poate avea numai o valoare reală dacă cele două componente sunt false, în timp ce este suficient că unul dintre ele este adevărat, astfel încât primul este adevărat.

implicație

Acest tip de propoziție matematică este de asemenea numit condiționat și constă dintr-o conexiune care are loc în cazul în care este adevărat următorul: este falsă numai atunci când prima propoziție (numită antecedent ) este adevărată, iar a doua ( consecința ) este falsă; orice alt caz va avea ca rezultat o valoare reală.