SIMBOLISMO LOGICO

Actividades
Introduccin Historia de la lgica Filosofia Tablas de verdad Actividades

Introduccin
La lgica es una ciencia formal que estudia los principios de la demostracin e inferencia vlida. La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica.

 La palabra lgica proviene del griego logos que significa idea, palabra, razn o razonamiento, por lo tanto podemos considerar el estudio de la lgica, como el estudio de los mtodos y principios para diferenciar un razonamiento correcto de otro incorrecto.

Historia

MATEMATICA

FILOSOFIA

Aristteles China, Persia, India y Grecia

Siglo XIX
George Boole creo un tratado donde constituyo a la lgica como un calculo representando valores de verdad donde 0 (falsedad) y 1 (verdad) y a los cuales se les aplica operaciones matemticas. Friedrich Ludwig Gottlob Frege ofrece por primera vez un sistema completo de lgica de predicados y clculo proposicional.

Proposiciones
p: El sol brilla q: Hace frio p:Colombia esta en Europa q: Argentina esta en el norte de amrica. p: 7>4 q: El rio esta sucio

Tablas de verdad
p F V

P V

q V

V
F F

F
V F

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

Negacin
p F V ~P V F

Definicin: El valor de verdad ~p es siempre distinto al valor de verdad de p

Conjuncin
El valor de verdad de p q es verdadero si los valores de verdad de p y de q son ambos verdaderos y el valor de p q es falso en todos los otros casos. Conectiva Y , and, &&.
p V V F F q V F V F pq V F F F

Disyuncin
El valor de verdad de p v q es F si los valores de verdad de p y de q son ambos F, y el valor de verdad de p v q es V en todos los otros casos. Conectiva O , or, ||
p V V F F q V F V F pvq V V V F

CONDICIONAL
El valor de verdad de p q es F si el valor de verdad de p es V en tanto que el de q es F. y el valor de pq es verdadero en los otros casos. Entonces
p V q V pq V

V
F F

F
V F

F
V V

BICONDICIONAL
El valor de verdad de p q es V si p y q tienen el mismo valor de verdad ( V V o F F), y el valor de p q es F en los otros dos casos. Si y solo si
p q pq

V V
F F

V F
V F

V F
F V

Actividad #1
Convertir expresiones lgicas en proposiones validas P: 7 < 9 Q: El sol es un astro frio R: La temperatura esta por debajo de cero.

1. 2. 3. 4. 5.

pvq ~p q (r p) q (p q) (p r) (p q) r

Actividad #2
P: Panam esta en amrica central, Q:Colombia esta en el sur de Venezuela, R:Quito es la capital de ecuador
1. 2. 3. 4. 5. Panam esta en amrica central y Colombia esta en el sur de Venezuela. Colombia no esta en el sur de Venezuela. Colombia esta en el sur de Venezuela y quito es la capital de ecuador, o panam no esta en amrica central Quito no es la capital de ecuador ni panam esta en amrica central Si panam esta en amrica central y Colombia no esta al sur de Venezuela, entonces ni panam esta en amrica central ni quito es la capital de ecuador

Actividad #3
1. p v ~ (p q) 2. (p q) ~(p v q) 3. (p q) v (p v q) 4. *p (q v r)+ *q (p v r)+ 5. (p q) (~q ~p) 6. (p q) *(p q) (q p)+ 7. P v (q r) (p v q) ( p v r) 8. (p q) ~ (p v q) 9. [(p q) v ( (p r) + (q p) 10. ~ (p q)

Bibliografa
El lenguaje lgico http://www.econ.uba.ar/www/departamentos/ humanidades/plan97/logica/Legris/apuntes/APC -LL.pdf Vasquez Guarin, Hugo. Introduccin al simbolismo lgico. Editorial Zuluaga, 1987

OSVALDO ANDRES CIFUENTES RESTREPO

osvaldoc@misena.com Ingeniero de sistemas 2013