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

PROPOSICIONES COMPUESTAS

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.

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
p

negacin
p

disyuncin
p

condicional
q

bicondicional
q

v v

f
v

f
v

v
f

v
v v v

v v v
f

v v

f
v v

v v
f

f v

v v
f
v

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

f
v f

f
f

v
f

v v
f

v
f

v
f

v
f

v
v

v v

v v
f

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.