El próximo miércoles 6 de noviembre trataremos el tema 2: La filosofía como servicio a las personas en su problemática cotidiana del libro Filosofía y Terapia.
También comentaremos los textos 9 y 10 del mismo libro (se ruega a los asistentes al seminario que los traigan leídos y, en su caso, preparadas sus intervenciones al respecto).
La filosofía de por sí puede cambiarnos la vida. Todos somos filósofos, solo tenemos que ejercer lo que somos. Cuando relaciono los términos "filosofía" y "terapia" no es tanto porque crea que exista una terapia filosófica como una alternativa a otros tipos de terapia, sino porque pienso que la filosofía en sí misma es terapéutica.
Buscar este blog
lunes, 4 de noviembre de 2019
Leyes de lógica, resumen (UPCM)
Ley de la doble negación:
¬ ¬ p ↔ p
Leyes de la simplificación:
(p ∧ q) → p
(p ∧ q) → q
(p ∧ p) → p
(p ∨ p) → p
Ley de introducción de la disyunción:
p → (p ∨ q)
Leyes de inferencia de la
alternativa:
[(p ∨ q) ∧ ¬ q] →
p
[(p ∨ q) ∧ ¬ p] →
q
Leyes de De Morgan:
¬ (p ∧ q) ↔ (¬ p ∨ ¬ q)
¬ (p ∨ q) ↔ (¬ p ∧ ¬ q)
Ley del Modus Ponens:
[(p → q) ∧ p] → q
Ley del Modus Tollens:
[(p → q) ∧ ¬ q] → ¬ p
Ley de la transitividad del condicional:
[(p → q) ∧ (q → r)] → (p → r )
Leyes del bicondicional:
(p ↔ q) → (p → q)
(p ↔ q) → (q → p)
(p ↔ q) ↔ [(p → q) ∧ (q → p)]
Leyes conmutativas:
de la conjunción: (p ∧ q) ↔ (q ∧ p)
de la disyunción: (p ∨ q) ↔ (q ∨ p)
del bicondicional: (p ↔ q) ↔ (q
↔ p)
Leyes asociativas:
[(p ∧ q) ∧ r] ↔ [
p ∧ (q ∧ r)]
[(p ∨ q) ∨ r] ↔ [
p ∨ (q ∨ r)]
Tablas de verdad, (Lógica, repaso). UPCM.
Conjunción:
p
|
^
|
q
|
1
|
1
|
1
|
1
|
0
|
0
|
0
|
0
|
1
|
0
|
0
|
0
|
La conjunción es verdadera sólo cuando ambas variables lo son y es
falsa en los demás casos.
Se lee p y q.
p
|
v
|
q
|
1
|
1
|
1
|
1
|
1
|
0
|
0
|
1
|
1
|
0
|
0
|
0
|
La disyunción es verdadera en todos los casos menos cuando p vale
0 y q vale 0.
Se lee p ó q.
p
|
w
|
q
|
1
|
0
|
1
|
1
|
1
|
0
|
0
|
1
|
1
|
0
|
0
|
0
|
La disyunción excluyente es verdadera cuando una variable es verdadera
y la otra falsa, y es falsa en los demás casos.
Se lee p ó q, pero no ambas
p
|
->
|
q
|
1
|
1
|
1
|
1
|
0
|
0
|
0
|
1
|
1
|
0
|
1
|
0
|
El condicional es verdadero en todos los casos menos cuando p vale
1 y q vale 0.
Se lee si p entonces q
p
|
<->
|
q
|
1
|
1
|
1
|
1
|
0
|
0
|
0
|
0
|
1
|
0
|
1
|
0
|
El bicondicional es verdadero cuando ambos son verdaderos o cuando
ambos son falsos, y es falso en los demás casos.
Se lee si p y solo si p entonces q
p
|
¬p
|
1
|
0
|
0
|
1
|
La negación - que se lee no p -, cambia el valor de
la variable que se niega: sólo es verdadera si p es falsa y es
falsa si ¬p es verdadera.
Suscribirse a:
Entradas (Atom)
