La
lógica
proposicional se ocupa de la validez o
invalidez de los razonamientos constituidos por expresiones tales como: y, o, si…,entonces, si y sólo si,
no, etc.
Tipos
de proposiciones
Proposiciones simples
Aquellas
constituidas por una sola información.
Ejemplos:
*Claude
Bernard efectuó importantes aportes a la metodología de las ciencias.
*La
Medicina es una ciencia fáctica.
*Pasteur
logró demostrar la falsedad de la teoría de la generación espontánea.
Proposiciones compuestas
Aquellas
constituidas por una o más proposiciones simples.
Ejemplos:
•Vesalio
fue contemporáneo de Copérnico, aunque no llegaron a conocerse.
•El
paciente contrae sida si y sólo sí es invadido por el virus VIH y falla su
sistema inmune.
Condiciones
de verdad
La
verdad o falsedad de una proposición simple depende de la información fáctica
que esta proporciona.
La
verdad o falsedad de una proposición compuesta depende del valor de verdad de
las proposiciones simples que la componen, pero también de las conectivas que
la constituyen.
Lenguaje
simbólico
Proposiciones simples: p,
q, r, s, t, u, v, ….
Conectivas lógicas:
Conjunción:
y, pero, aunque, sin embargo…. “•”
Disyunción:
o, o bien, a menos que, …. “v”
Negación:
no, no es cierto que, es falso que… “−”
Condicional: si…..entonces…..,
sólo si,……. “→”
Bicondicional: si y sólo si “↔”
Signos de puntuación: ( ) [
] { }
Simbolización:
Un ejemplo de aplicación del lenguaje simbólico.
Si los
pacientes del pabellón 4 son trasladados al pabellón 2,
aumentará el riesgo de contagio de gripe en esa sala y no se
reducirá el uso de antihistamínicos.
p:
Los pacientes del pabellón 4 son trasladados al pabellón 2.
q:
En el pabellón 2 aumentará el riesgo de contagio.
r:
Se reducirá el uso de antihistamínicos.
p → ( q•− r )
No hay comentarios.:
Publicar un comentario