Académique Documents
Professionnel Documents
Culture Documents
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
Proposiciones simples:
p, q, r, s, t, u, v, .
Conectivas lgicas:
Conjuncin: y, pero, aunque, sin embargo.
Bicondicional: si y slo si
Signos de puntuacin:
() [] {}
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
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.
(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.