Bucuros să te ajut! Vreau să învățăm împreună, pas cu pas, ca la final să poți rezolva singur exerciții de Bacalaureat. Îți propun mai jos o lecție introductivă de logică, exact pe structura pe care o folosim la EduBro.
• --
Tu ai cerut „lecții de logică”. E o cerere largă — logica e o materie întinsă. Ca să nu ne pierdem, îți dau acum lecția de bază (ce este logica și cum traducem propozițiile din limbaj natural în limbaj formal), iar la final îți propun direcțiile pe care putem continua.
• --
Logica este studiul raționamentului corect. Ea are două ramuri mari:
• Logica formală — studiază inferențele deductiv valide, adică acele raționamente în care concluzia decurge cu necesitate din premise, datorită formei argumentului, nu conținutului.
• Logica informală — se ocupă de argumentele din limbaj natural, de gândirea critică și de erorile de raționament (sofismele).
> O concluzie este consecință logică a unor premise atunci când este imposibil ca premisele să fie adevărate și concluzia falsă.
Aceasta este cheia întregii logici formale!
• --
Limbajul natural (româna) e plin de ambiguități și capcane. Logica formală vrea să le elimine, folosind simboluri și reguli stricte.
Hai să vedem cele 5 conective logice și corespondența lor în română:
| Simbol | Nume | Se citește | Cuvânt în română |
|--------|------|------------|------------------|
| ¬ | negație | „nu” | nu, nu este adevărat că |
| ∧ | conjuncție | „și” | și, dar, însă |
| ∨ | disjuncție | „sau” (inclusiv) | sau, cel puțin unul |
| → | implicație | „dacă... atunci” | dacă... atunci, implică |
| ↔ | echivalență | „dacă și numai dacă” | dacă și numai dacă |
1. „Și” nu e mereu conjuncție logică.
• „El a intrat și a închis ușa” → exprimă succesiune temporală, nu simultaneitate logică.
2. „Sau” poate fi:
• Inclusiv (cel puțin unul): A \lor B
• Exclusiv (unul singur, nu ambele): A \oplus B , adică (A \lor B) \land \neg(A \land B)
3. Implicația materială A \to B este adevărată și când antecedentul e fals — nu exprimă neapărat o legătură cauzală!
• --
Propoziția: „Dacă un număr este par, atunci el este divizibil cu 2.”
Notăm:
• P(x) = „x este par”
• Q(x) = „x este divizibil cu 2”
Formalizare:
\boxed{\forall x\, \big(P(x) \to Q(x)\big)}
Aceasta este o propoziție universală afirmativă.
• --
Propoziția: „Sau merge la cinema, sau stă acasă, dar nu ambele.”
Notăm:
• A = „merge la cinema”
• B = „stă acasă”
Formalizare:
\boxed{(A \lor B) \land \neg(A \land B)} \quad \text{sau echivalent} \quad A \oplus B
• ��️ Dacă am folosi doar A \lor B , am pierde sensul exclusivității!
• --
Propoziția: „Niciun elev nu este leneș.”
Notăm:
• E(x) = „x este elev”
• L(x) = „x este leneș”
Formalizare:
\boxed{\neg \exists x\, \big(E(x) \land L(x)\big)}
Echivalent (prin legile lui De Morgan pentru cuantificatori):
\forall x\, \big(E(x) \to \neg L(x)\big)
Regulă de reținut:
\neg \exists x\, P(x) \;\equiv\; \forall x\, \neg P(x)
\neg \forall x\, P(x) \;\equiv\; \exists x\, \neg P(x)
• --
Încearcă singur (fără să te uiți mai sus 😉):
1. Formalizează: „Toți câinii sunt mamifere.”
Indiciu: folosește \forall x și o implicație — gândește-te care e antecedentul și care consecventul.
2. Formalizează: „Unii elevi nu sunt harnici.”
Indiciu: e o propoziție particulară negativă — folosește \exists x cu o conjuncție și o negație.
• --
Spune-mi ce te interesează și construim lecția:
1. Logica propozițională — tabele de adevăr, tautologii, legile lui De Morgan.
2. Logica predicatelor — cuantificatori, formalizări complexe.
3. Logica modală — necesitate \Box , posibilitate \Diamond , implicația strictă \subset .
4. Tipuri de raționamente — deducție, inducție, analogie; validitate vs. corectitudine.
5. Sofisme și erori de raționament (logica informală).
6. Metode de demonstrație — directă, prin reducere la absurd, prin contraexemplu.
• --
💬 Ce alegi? Scrie-mi numărul lecției care te interesează sau pune-mi o întrebare concretă (de exemplu, o problemă de la Bac) și o rezolvăm pas cu pas împreună. Ești pe drumul cel bun — logica devine ușoară când o înveți cu exemple și exerciții! 🚀