Regulile de inferență sunt principii logice fundamentale care ne permit să derivăm concluzii valide din premise date. Ele stau la baza raționamentului deductiv și sunt esențiale pentru a construi argumente corecte în logică, matematică și în viața de zi cu zi. În cadrul acestei lecții, vom analiza trei dintre cele mai importante reguli: modus ponens, modus tollens și silogismul.
- Modus ponens („modul care afirmă”): Această regulă are forma: Dacă P implică Q (P → Q) și P este adevărat, atunci Q este adevărat. Simbolic: P → Q, P ⊢ Q. Este o regulă directă și intuitivă: dacă o condiție este îndeplinită și acea condiție duce la o consecință, atunci consecința este garantată. De exemplu, dacă știm că „dacă plouă, atunci solul se udă” și observăm că plouă, putem concluziona că solul se udă. Modus ponens este folosit frecvent în demonstrații matematice și în raționamente cotidiene.
- Modus tollens („modul care neagă”): Este regula inversă: Dacă P implică Q (P → Q) și Q este fals (¬Q), atunci P este fals (¬P). Simbolic: P → Q, ¬Q ⊢ ¬P. Aceasta ne permite să respingem o premisă atunci când consecința sa nu se adeverește. De exemplu, dacă „dacă un număr este par, atunci el este divizibil cu 2” și descoperim că un număr nu este divizibil cu 2, putem concluziona că numărul nu este par. Modus tollens este util pentru a elimina posibilități false.
- Silogismul (mai exact silogismul ipotetic sau silogismul categoric): În contextul logicii propoziționale, silogismul ipotetic se referă la regula: Dacă P → Q și Q → R, atunci P → R. Aceasta exprimă tranzitivitatea implicației. De exemplu, dacă „dacă înveți, atunci treci examenul” și „dacă treci examenul, atunci primești o recompensă”, putem concluziona că „dacă înveți, atunci primești o recompensă”. În logica predicatelor, silogismul categoric (de tip aristotelic) implică raționamente cu cuantificatori, precum: Toți oamenii sunt muritori; Socrate este om; deci Socrate este muritor. La nivel de liceu, ne concentrăm pe silogismul ipotetic, dar și pe cel categoric simplu.
Aceste reguli sunt valide din punct de vedere logic, ceea ce înseamnă că, dacă premisele sunt adevărate, concluzia este inevitabil adevărată. Ele sunt instrumente puternice pentru a testa corectitudinea argumentelor și pentru a rezolva probleme de tip Bacalaureat, unde se cere identificarea formei logice sau completarea unui raționament.
Exemple
- Exemplul 1 (Modus ponens): Premisa 1: Dacă un triunghi este dreptunghic, atunci suma pătratelor catetelor este egală cu pătratul ipotenuzei (Teorema lui Pitagora). Premisa 2: Triunghiul ABC este dreptunghic. Concluzia: În triunghiul ABC, suma pătratelor catetelor este egală cu pătratul ipotenuzei. Explicație: Aplicăm direct modus ponens: P = 'triunghiul este dreptunghic', Q = 'suma pătratelor catetelor = pătratul ipotenuzei'. Avem P → Q și P, deci Q.
- Exemplul 2 (Modus tollens): Premisa 1: Dacă un număr natural se termină cu 0 sau 5, atunci el este divizibil cu 5. Premisa 2: Numărul 1234 nu este divizibil cu 5. Concluzia: Numărul 1234 nu se termină cu 0 sau 5. Explicație: P = 'numărul se termină cu 0 sau 5', Q = 'numărul este divizibil cu 5'. Avem P → Q, ¬Q, deci ¬P. Astfel, 1234 nu are ultima cifră 0 sau 5.
- Exemplul 3 (Silogismul ipotetic): Premisa 1: Dacă un animal este mamifer, atunci el are coloana vertebrală. Premisa 2: Dacă un animal are coloana vertebrală, atunci el este vertebrat. Concluzia: Dacă un animal este mamifer, atunci el este vertebrat. Explicație: P = 'animalul este mamifer', Q = 'animalul are coloana vertebrală', R = 'animalul este vertebrat'. Aplicăm regula: P → Q, Q → R, deci P → R. Concluzia este o implicație validă.
Concepte cheie: Modus ponens: P → Q, P ⊢ Q, Modus tollens: P → Q, ¬Q ⊢ ¬P, Silogism ipotetic: P → Q, Q → R ⊢ P → R, Validitate: dacă premisele sunt adevărate, concluzia este adevărată, Distincția între afirmația consecinței și negarea antecedentului (erori logice)