Filosofie Logică
Formule de inferenta logica 11a
Formulele de inferență logică pentru clasa a 11-a sunt reguli de deducere care permit obținerea de concluzii din premise în logică propozițională. Ele includ tautologii și reguli de transformare.
Reguli de inferență de bază
- Modus ponens Dacă P → Q și P, atunci Q. Exemplu: Dacă plouă, străzile sunt ude. Plouă. Deci, străzile sunt ude.
- Modus tollens Dacă P → Q și ¬Q, atunci ¬P. Exemplu: Dacă e zi, soarele strălucește. Soarele nu strălucește. Deci, nu e zi.
- Silogism ipotetic Dacă P → Q și Q → R, atunci P → R. Exemplu: Dacă înveți, treci. Dacă treci, ești fericit. Dacă înveți, ești fericit.
Tautologii importante
- Legea dublei negații ¬¬P ≡ P. Exemplu: Nu este adevărat că nu plouă ≡ Plouă.
- Legile lui De Morgan ¬(P ∧ Q) ≡ ¬P ∨ ¬Q și ¬(P ∨ Q) ≡ ¬P ∧ ¬Q. Exemplu: Nu (plouă și e frig) ≡ Nu plouă sau nu e frig.
- Implicația echivalentă P → Q ≡ ¬P ∨ Q. Exemplu: Dacă plouă, străzile sunt ude ≡ Nu plouă sau străzile sunt ude.
Exersează aceste formule cu exerciții pentru a îmbunătăți raționamentul logic.