Assignatura: Filosofia – 1r de Batxillerat
Situació d'aprenentatge: SA5 — Anàlisi d'arguments i lògica informal
Nom de l'alumne/a: ___________________________
Data: ______________
Objectius
- Aplicar regles bàsiques d‟inferència de la lògica proposicional.
- Practicar deduccions formals pas a pas.
- Desenvolupar el raonament lògic i la claredat a l'argumentació.
Regles que podeu utilitzar
- Modus ponens (MP): Si p → qyp, aleshores q
- Modus tollens (MT): Si p → qy ¬q, aleshores ¬p
- Sil·logisme disjuntiu (SD): p ∨ q, ¬p ⊢ q
- Sil·logisme hipotètic (SH): p → q, q → r ⊢ p → r
- Conjunció (∧I): p, q ⊢ p ∧ q
- Simplificació (∧E): p ∧ q ⊢ p
- Addició (∨I): p ⊢ p ∨ q
Instruccions
A cada exercici se't donen unes premisses. Escriu la conclusió que se segueix (si n'hi ha) i justifica cada pas amb la regla utilitzada. Usa només una justificació per línia.
Exercicis
Exercici 1
- p → q
- p
∴ ____________
Justificació:
- (1) p → q (Premisa)
- (2) p (Premisa)
- (3) ____________________________
Exercici 2
- p ∧ q
∴ ____________
Justificació:
- (1) p ∧ q (Premissa)
- (2) ____________________________
Exercici 3
- p ∨ q
- ¬p
∴ ____________
Exercici 4
- p → q
- q → r
∴ ____________
Exercici 5
- ¬q
- p → q
∴ ____________
Exercici 6
- p
∴ ____________
(Fes servir la regla d'addició per crear una disjunció)
Exercici 7
- p
- q
∴ ____________
(Fes servir la regla de conjunció)
Exercici 8
- p ∧ (q ∧ r)
∴ ____________
(Extreu r amb simplificació)
Exercici 9
- (p → q) ∧ (r → s)
- p
- r
∴ ____________
Reflexió final
- Quina t'ha semblat més fàcil? Quina més difícil? Per què?
- Et resulta útil aquest tipus de raonament per avaluar idees a la vida diària o en altres matèries?
Lliurament: Completa la fitxa per a la propera sessió. Pots fer-la a classe o com a tasca individual.
