Filosofie Logică
Exercitii rezolvate logica propozitiilor bac
Exercițiile rezolvate de logică a propozițiilor pentru bacalaureat implică aplicarea regulilor de adevăr și inferență la enunțuri simbolice. Ele testează abilitățile de a determina valabilitatea argumentelor, a construi tabele de adevăr și a utiliza legi logice. De exemplu, un exercițiu tipic cere să se verifice dacă o implicație este tautologie.
Pași pentru rezolvarea unui exercițiu de logică
- 1 Pasul 1: Simbolizarea propozițiilor Transformă enunțurile din limbaj natural în simboluri logice (exemplu: "Dacă plouă, atunci străzile sunt ude" devine p → q).
- 2 Pasul 2: Construirea tabelului de adevăr Listează toate combinațiile posibile de valori de adevăr pentru variabile și calculează valoarea formulei compuse.
- 3 Pasul 3: Analiza rezultatelor Verifică dacă formula este întotdeauna adevărată (tautologie), întotdeauna falsă (contradicție) sau contingentă.
Exemplu rezolvat: Verificarea unei tautologii
- 1 Enunț: (p → q) ↔ (¬p ∨ q) Simbolizează: p → q este implicația, ¬p este negația lui p, ∨ este disjuncția, ↔ este echivalența.
- 2 Tabel de adevăr p: A/F, q: A/F. Calculează: p → q este A când p=F sau q=A; ¬p ∨ q este A când ¬p=A sau q=A. Pentru toate combinațiile, ambele părți au aceeași valoare, deci echivalența este întotdeauna A.
- 3 Concluzie Formula este tautologie, deci validă; acest lucru demonstrează o lege logică importantă pentru examene.
Pentru a exersa, rezolvă cel puțin 5 exerciții pe zi cu tabele de adevăr și verifică răspunsurile folosind manuale de logică.