LGICA PROPOSICIONAL

LGICA O LGICAS?
No existe una lgica universal. Existen diferentes sistemas lgicos, cada uno de los cules se ocupa del anlisis de una clase particular de razonamientos. La lgica proposicional se ocupa de la validez o invalidez de los razonamientos constituidos por expresiones tales como: y, o, si,entonces, si y slo si, no, etc.

PROPOSICIONES SIMPLES PROPOSICIONES COMPUESTAS

Aquellas constituidas por una sola informacin. Ejemplos: *Claude Bernard efectu importantes aportes a la metodologa de las ciencias. *La Medicina es una ciencia fctica. *Pasteur logr demostrar la falsedad de la teora de la generacin espontnea.

Aquellas constituidas por una o ms proposiciones simples. Ejemplos: Vesalio fue contemporneo de Coprnico, aunque no llegaron a conocerse. El paciente contrae sida si y slo s es invadido por el virus VIH y falla su sistema inmune.

TIPOS DE PROPOSICIONES

CONDICIONES DE VERDAD
La verdad o falsedad de una proposicin simple depende de la informacin fctica que esta proporciona. La verdad o falsedad de una proposicin compuesta depende del valor de verdad de las proposiciones simples que la componen, pero tambin de las conectivas que la constituyen.

LENGUAJE SIMBLICO
Proposiciones simples: p, q, r, s, t, u, v, . Conectivas lgicas: Conjuncin: y, pero, aunque, sin embargo. Disyuncin: o, o bien, a menos que, . Negacin: no, no es cierto que, es falso que Condicional: si..entonces.., slo si,. Bicondicional: si y slo si Signos de puntuacin: ( ) [ ] { } v

SIMBOLIZACIN: UN EJEMPLO DE APLICACIN DEL LENGUAJE SIMBLICO.

Si los pacientes del pabelln 4 son trasladados al pabelln 2, aumentar el riesgo de contagio de gripe en esa sala y no se reducir el uso de antihistamnicos.

p: Los pacientes del pabelln 4 son trasladados al pabelln 2. q: En el pabelln 2 aumentar el riesgo de contagio. r: Se reducir el uso de antihistamnicos.

p ( q r )

TABLAS DE VERDAD
Conjuncin
p q

negacin
p p

disyuncin
p v q

condicional
p q

bicondicional
p q

f v f

f f f

v f f

f v f

v v f

v f f

f v f

v f v

v f f

f v f

f f v

v f f

PRUEBAS DE VALIDEZ
Se denomina de ese modo a la aplicacin de mtodos para determinar si una estructura es vlida o invlida. Tales mtodos pueden ser sintcticos o semnticos.

MTODO DEL CONDICIONAL ASOCIADO

Pasos Simbolizar la estructura del razonamiento. Conjuntar las premisas, y colocarlas como antecedente de un condicional, que tendr como consecuente la conclusin del mismo. Resolver la tabla de verdad. Evaluar el resultado de la tabla. Si el razonamiento es vlido la proposicin condicional resultar tautolgica.

1.
2.

3. 4.

CONDICIONAL ASOCIADO: UNA APLICACIN

Si hubiramos sido bien diseados y nuestro cuerpo fuera tan sabio como se dice, entonces no nos enfermaramos. Pero es un hecho que nos enfermamos. De modo que, ni hemos sido bien diseados y tampoco somos tan sabios como se dice.

1.

Simbolizacin:

(p q) r r /

p q

CONDICIONAL ASOCIADO: UNA APLICACIN

2.

{[ (p q) r ] r } ( p q )
v v v f f f v

f
v f v f v f

f
f f v f f f

v
f f v v f f

v
v v v v v v

f
f f v v v v

v
v v f f f f

v
v v f f f f

f
f v v v v v

v
f v f v f v

f
f v f f f v

f
v v f f v v

CONDICIONAL ASOCIADO: UNA APLICACIN

4. El resultado de la tabla muestra que el condicional asociado no result tautolgico. Esto demuestra que el razonamiento es invlido, pues es posible que posea premisas verdaderas y conclusin falsa.