Filosofie Logică
Exercitii rezolvate logica propozitiilor.
Logica propozițiilor este o ramură a logicii care studiază structura și valoarea de adevăr a propozițiilor compuse. Exercițiile rezolvate implică aplicarea regulilor logice, cum ar fi conjuncția, disjuncția și implicația. Voi prezenta două exemple pas cu pas.
Exercițiu 1: Evaluarea unei formule
- 1 Enunț Fie p = Adevărat, q = Fals. Evaluează (p ∧ q) → ¬p.
- 2 Pasul 1: Conjuncția p ∧ q = Adevărat ∧ Fals = Fals.
- 3 Pasul 2: Negația ¬p = nu Adevărat = Fals.
- 4 Pasul 3: Implicația Fals → Fals = Adevărat (implicația este falsă doar când antecedentul este Adevărat și consecventul Fals).
- 5 Rezultat Valoarea formulei este Adevărat.
Exercițiu 2: Tabel de adevăr
- 1 Enunț Construiește tabelul de adevăr pentru p ∨ (q ∧ ¬r).
- 2 Pasul 1: Variabile Listează toate combinațiile pentru p, q, r (8 rânduri).
- 3 Pasul 2: Calcul intermediar Calculează ¬r, apoi q ∧ ¬r pentru fiecare rând.
- 4 Pasul 3: Disjuncția finală Calculează p ∨ (q ∧ ¬r) folosind rezultatele anterioare.
- 5 Exemplu numeric Pentru p=A, q=A, r=F: ¬r=A, q ∧ ¬r=A, p ∨ A = A.
Exersează cu mai multe formule simple pentru a înțelege regulile logice de bază.