Professional Documents
Culture Documents
Logica
Logica
2. VERITAT I VALIDESA.
1
EL RAONAMENT LÒGIC FILOSOFIA I CIUTADANIA
Així, la lògica des del seu origen ha estat considerada una eina
fonamental per la ciència: a partir d’unes veritats científiques, la
lògica pot assegurar altres veritats que estan connectades lògicament
amb les primeres.
2
EL RAONAMENT LÒGIC FILOSOFIA I CIUTADANIA
3
EL RAONAMENT LÒGIC FILOSOFIA I CIUTADANIA
oportú.
4
EL RAONAMENT LÒGIC FILOSOFIA I CIUTADANIA
P = “ser un planeta”
s = “ ser un satèl·lit”.
5
EL RAONAMENT LÒGIC FILOSOFIA I CIUTADANIA
p ¬p
V F
F V
6
EL RAONAMENT LÒGIC FILOSOFIA I CIUTADANIA
p q (p ∧ q) p q (p ∨ q)
V V V V V V
V F F V F V
F V F F V V
F F F F F F
p q (p → q) p q (p ↔ q)
V V V V V V
V F F V F F
F V V F V F
F F V F F V
7
EL RAONAMENT LÒGIC FILOSOFIA I CIUTADANIA
V V V F V V V V
V F F V V F F V
F V V F F F F V
F F V V V V V V
c) p → [q → (p ∧ q)]
8
EL RAONAMENT LÒGIC FILOSOFIA I CIUTADANIA
d) (p → q) → (q → p)
e) ¬p → [¬(q ↔ p) ↔ p]
g) (q → r) → [(p → q) → (p → r)]
h) [p ↔ (q ↔ r)] ↔ [(p → q) ↔ r]
i) [(p ∧ q) → r] ↔ [p → (q ∨ r)]
5. EL CÀLCUL DEDUCTIU.
9
EL RAONAMENT LÒGIC FILOSOFIA I CIUTADANIA
P∧ Q
10
EL RAONAMENT LÒGIC FILOSOFIA I CIUTADANIA
.
INTRODUCCIÓ DEL CONDICIONAL O TEOREMA DE LA DEDUCCIÓ (TD)
P
Si se suposa que un enunciat (P) és
vertader i a partir d’aquest se’n
dedueix un altre (Q), llavors es pot
Q concloure que el primer (P) implica
el segon (Q). .
P →Q
-1. p → q
-2. ¬q
3. ¬¬p
4. p DN 3.
5. q MP 1, 4.
6. q ∧ ¬q IC 5, 2.
7. ¬p R. Absurd. 3 – 6.
11
EL RAONAMENT LÒGIC FILOSOFIA I CIUTADANIA
P∨ Q P→Q
P→R Q→R
Q→R P→R
P→Q P↔Q
Q→ P P→Q
P↔Q
¬ (P ∧ Q) ¬(P ∨ Q)
¬P ∨ ¬Q ¬P ∧ ¬Q
b) p ↔ q; ¬r ↔ q; p; llavors r / ¬r
c) q ∧ p; (q → ¬r) ↔ p; llavors r / ¬r
12
EL RAONAMENT LÒGIC FILOSOFIA I CIUTADANIA
d) q → ¬r; p → q; llavors p → ¬r / ¬r → p
e) ¬r → s; p ∨ ¬s; llavors ¬p → r / r → ¬p
13
EL RAONAMENT LÒGIC FILOSOFIA I CIUTADANIA
a) p → (q ∨ r); p ∨ q ⊥ q ∨ r
b) p ∧ ¬q; q ∨ s; s → w ⊥ w
d) p → q; r → ¬q ⊥ ¬p ∨ ¬r
e) p → q; q → r; r → s ⊥ ¬s → ¬p
f) p ∨ q; p → r; r → s; (r ∧ s) → t; ¬q ∨ t ⊥ t
g) p ∧ q; ¬p ∨ s; s → (w ∨ r); q → ¬w ⊥ r
h) p → q; q → r; s → w; w → t ⊥ (p ∧ ¬t) → (r ∧ ¬s)
14
EL RAONAMENT LÒGIC FILOSOFIA I CIUTADANIA
15