Buscar este blog

lunes, 4 de noviembre de 2019

Filosofía de la problemática cotidiana.

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).

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.

Disyunción (simple):
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 vale 0 y vale 0.
Se lee p ó q.

Disyunción excluyente:
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

Condicional:
p
->
q
1
1
1
1
0
0
0
1
1
0
1
0
El condicional es verdadero en todos los casos menos cuando vale 1 y vale 0.
Se lee si p entonces q

Bicondicional:
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

Negación:
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 es falsa y es falsa si ¬p es verdadera.