Filosofie Logică
Logica formala concepte de baza
Logica formală studiază structurile valide ale raționamentului, independent de conținut. Conceptele de bază includ propoziții, operatori logici și reguli de inferență. Aceasta se concentrează pe corectitudinea formei argumentelor, nu pe adevărul premiselor.
Elemente fundamentale
- Propoziții Enunțuri care pot fi adevărate sau false, notate cu litere (ex: p, q).
- Operatori logici Conjuncție (și, ∧), disjuncție (sau, ∨), negație (nu, ¬), implicație (dacă-atunci, →).
- Tabel de adevăr Tabel care arată valoarea de adevăr a unei propoziții compuse pentru toate combinațiile posibile.
Exemple practice
- Exemplu propoziție p: Plouă (poate fi adevărat sau fals).
- Exemplu operator p ∧ q: Plouă și este frig (adevărat doar dacă ambele sunt adevărate).
- Exemplu tabel Pentru p ∧ q, tabelul are 4 rânduri cu combinații de adevărat/fals.
Exersează construirea tabelelor de adevăr pentru a înțelege operatorii logici.