Documente Academic
Documente Profesional
Documente Cultură
CALCULO PROPOCISIONAL
Lgica proposicional
Su objetivo primordial es examinar la demostracin de validez de los argumentos,
tomando como base la relacin de las proposiciones que los componen.
Un argumento
es un sistema de enunciados u oraciones declarativas en las que unas son asignadas
como premisas y otras como conclusiones.
Calculo proposicional
Es la operacin semejante a la que se hace en matemticas, por la que de ciertos
enunciados o premisas se pueden obtener como conclusiones otros enunciados
aplicando regla o leyes establecidas.
Como lenguaje simbolico formalizado estudia las relaciones lgicas que se
establecen en las premisas y las conclusiones de un argumento o de un
razonamiento.
La Lgica Proposicional
Se compone o integra de un conjunto de clculos, de smbolos lgicos,
interrelacionados para formular argumentos o inferencias.
Calculo Proposicional
Requiere un lenguaje simblico que tenga caractersticas distintas del lenguaje
ordinario o natural.
El lenguaje simblico de la lgica se caracteriza por ser sinttico o compacto.
Se forma por el empleo de signos que representan proposiciones simples y que al
unirse dos o mas forman proposiciones compuestas(razonamientos).
LETRAS PROPOCISIONALES
Tomaremos bsicamente las letras minsculas del alfabeto: (p,q,r,s) y las siguientes
si fuera necesario.
Simples o Atmicas
Se componen de una sola proposicin y carecen de trminos de enlace o
conectivos, excepto la negacin, por ejemplo :
Las matemticas son una ciencia formal
El sol es una estrella
Proposiciones Compuestas o moleculares
Como su nombre lo indica se componen de dos o mas proposiciones simples, y
adems como rasgo distintivo tienen trminos de enlace o conectivos lgicos, por
ejemplo :
F V
Tabla de Verdad
Ejemplo
Londres es la capital de Inglaterra y pars es la capital de Francia
Conjuncin
P Q PQ
V V V
V F F
F V F
F F F
Ejemplo
O arquimides y newton son matemticos o son historiadores
Disyuncin
Se lee:
PQ Si P entonces Q
P implica Q
P es suficiente para Q
Bicondicional
P Q PQ
V V V
V F F
F V F
F F V
p: Los estudiantes de 11 de la I.E.E aprobaron todas las materias.
q: Los estudiantes de 11 dela I.E.E ganaran el primer periodo
Bicondicional o
Doble Implicacin
PQ
Definicin: P Q P Q Q P
Se lee: P si y slo si Q
P es necesario y suficiente para Q
Disyuncin Exclusiva
Una disyuncin es exclusiva cuando se puede dar una de las
dos proposiciones pero no ambas a la vez.
Ejemplos: