Está en la página 1de 12

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 Aquellas constituidas por


una sola informacin. una o ms proposiciones
Ejemplos: simples.
Ejemplos:
*Claude Bernard efectu
importantes aportes a la Vesalio fue
metodologa de las contemporneo de
ciencias. Coprnico, aunque no
*La Medicina es una ciencia llegaron a conocerse.
fctica.
El paciente contrae sida si
*Pasteur logr demostrar la
falsedad de la teora de la y slo s es invadido por el
generacin espontnea. virus VIH y falla su
sistema inmune.
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.
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: () [] {}
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 )
Conjuncin negacin disyuncin condicional bicondicional

p q p p p v q p q p q

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

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

f f f f f f f
v v v v v
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.
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.
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
2.
{[ (p q) r ] r } ( p q )
v f f v f f f
v v f v
f f v f v f f
f v v v
f f f v f f f v
v v v
f f f v v v v v
f v v
v v f f v f f f
v v v
f v f f v v f f
f v v
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.