You are on page 1of 20

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