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.
TIPOS DE PROPOSICIONES
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.
 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, . v
Negacin: no, no es cierto que, es falso que
Condicional: si..entonces.., slo si,.
Bicondicional: si y slo si

Signos de puntuacin: ( ) [ ] { }
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 negacin disyuncin condicional bicondicional

p q p p p v q p q p q

v v v v f v v v v v v v v v

f f v f v f v v f v v f f v

v f f v v f v f f v f f

f f f f f f f v f f v 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
1. Simbolizar la estructura del razonamiento.
2. Conjuntar las premisas, y colocarlas como
antecedente de un condicional, que tendr
como consecuente la conclusin del mismo.
3. Resolver la tabla de verdad.
4. Evaluar el resultado de la tabla. Si el
razonamiento es vlido la proposicin
condicional resultar tautolgica.
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 v f f f
f f v v f v v f v f f
v f f v f v v f f f v
f f f v f v v v v v v
v v v v v f f v f f f

f f v v v f f v v f f
v f f v v f f v f f v

f f f v v f f v v 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.