Logica propozițiilor

Logica propozițională este fundamentul raționamentului formal și al calculului boolean, studiază modul în care propozițiile simple se combină pentru a forma enunțuri complexe și cum se determină valoarea de adevăr a acestora. Înseamnă că înțelegi regulile de bază ale gândirii logice, esențiale în matematică, programare și inteligența artificială.

Ce trebuie să știi

• Propoziții atomice și compuse: Identificarea enunțurilor care au valoare de adevăr (adevărat/fals) și a operatorilor logici ($\land$, $\lor$, $\neg$, $\rightarrow$, $\leftrightarrow$).
• Tabele de adevăr: Construirea corectă a tabelelor pentru a vizualiza toate combinațiile posibile de valori de adevăr ale variabilelor.
• Tautologii și contradicții: Recunoașterea formulelor care sunt mereu adevărate (tautologie) sau mereu false (contradicție).
• Echivalența logică: Demonstrarea că două expresii logice au același tabel de adevăr, folosind legi precum De Morgan sau asociativitatea.
• Implicația materială: Înțelegerea faptului că o implicație $P \rightarrow Q$ este falsă doar când $P$ este adevărat și $Q$ este fals.

Exemplu practic

Verificăm echivalența logică a negației unei conjuncții (Legea lui De Morgan): $\neg (P \land Q) \equiv (\neg P \lor \neg Q)$

$P$	$Q$	$P \land Q$	$\neg (P \land Q)$	$\neg P$	$\neg Q$	$\neg P \lor \neg Q$
T	T	T	F	F	F	F
T	F	F	T	F	T	T
F	T	F	T	T	F	T
F	F	F	T	T	T	T

Coloanele $\neg (P \land Q)$ și $\neg P \lor \neg Q$ sunt identice, deci propozițiile sunt echivalente.

Cum să înveți

1. Exersează tabelele de adevăr: Începe cu 2-3 variabile și crește treptat numărul. Este cea mai sigură metodă de a verifica echivalențele.
2. Conectează logica la cod: Scrie mici funcții în Python sau JavaScript care implementează operatori logici pentru a vedea aplicația directă în programare.
3. Transformă enunțuri naturale: Exersează traducerea frazelor din limba română în simboluri logice și invers, pentru a înțelege nuanțele implicării și disjuncției.