Propoziții și conectori logici

În logica matematică, o propoziție este o afirmație care are strict valoare de adevăr (adevărat sau fals). Conectorii logici sunt instrumentele care ne permit să combinăm aceste propoziții simple pentru a construi raționamente complexe. Înțelegerea lor este fundamentală, deoarece formează baza limbajului formal utilizat în programare, baze de date și designul circuitelor digitale. Fără acești conectori, nu am putea modela condițiile „dacă-atunci” sau intersecțiile de reguli necesare în sistemele automate.

Ce trebuie să știi

• Valoarea de adevăr: O propoziție atomică ($p$) este fie Adevărată (T/1), fie Falsă (F/0). Nu există termeni mijlocii.
• Negarea ($\neg p$): Inversează valoarea de adevăr. Dacă $p$ e T, $\neg p$ e F.
• Conjuncția ($p \land q$): Este adevărată doar dacă ambele propoziții sunt adevărate.
• Disjuncția ($p \lor q$): Este falsă doar dacă ambele propoziții sunt false (disjuncție incluzivă standard).
• Implicația ($p \rightarrow q$): E falsă doar când antecedentul ($p$) e adevărat, iar consecința ($q$) e falsă.
• Echivalența ($p \leftrightarrow q$): Este adevărată când $p$ și $q$ au aceeași valoare de adevăr.

Exemplu concret: Fie $p$: „Plouă” (T) și $q$: „Ud” (T). Verificăm formula: $\neg p \lor (p \land q)$

1. $\neg p$ devine F.
2. $p \land q$ devine $T \land T = T$.
3. Rezultat final: $F \lor T = \mathbf{T}$.

Cum să înveți

1. Folosește tabelele de adevăr: Pentru fiecare conector, scrie manual toate combinațiile posibile ($TT, TF, FT, FF$). Vizualizarea completă a cazurilor elimină confuzia, mai ales la implicație.
2. Tradu în limbaj natural: Exersează transformarea propozițiilor logice în fraze obișnuite și invers. De exemplu, $p \rightarrow q$ se citește adesea ca „Dacă $p$, atunci $q$” sau „$p$ este suficient pentru $q$”.
3. Testează cu valori extreme: Când ești blocat, înlocuiește variabilele cu 0 și 1. În IT, acest lucru se mapază direct la operațiile bitwise și la structurile if/else din cod.