Calculo Proposicional

Leisa Manzanares
C.I.18525996
 Son
oraciones
Proposiciones

Que
pueden ser
calificadas

Verdaderas
O
Falsas
 Operaciones Veritativas
Las operaciones veritativas son aquellas que
se forman uniendo varias proposiciones mediante el
uso de operadores lógicos, permitiéndonos crear
nuevas proposiciones llamadas moleculares.

Ejemplos:
Inglaterra está en Europa "y"
Egipto en África
"Si" trae el anuncio "entonces"
tendrá el 25% de descuento
CONECTORES LÓGICOS
Son símbolos que nos permiten realizar la unión de
dos o mas proposiciones conocidas y se describen a
continuación.
 Negación Conjunción

Conectivo Conectivo
 ¬  ˄
Proposición compuesta Proposición compuesta
 ¬P  P˄Q
Se lee Se lee
 No P  PyQ
Tabla de la verdad Tabla de la verdad
 Disyunción Disyunción exclusiva

Conectivo Conectivo
 ˄ 
Proposición compuesta Proposición compuesta
 P ˄Q  P Q
Se lee Se lee
 PóQ  ÓPóQ
Tabla de la verdad Tabla de la verdad
 Condicional Bicondicional

Conectivo Conectivo
 →  ↔
Proposición compuesta Proposición compuesta
 P →Q  P ↔Q
Se lee Se lee
 Si P entonces Q  P si y solo si Q
Tabla de la verdad Tabla de la verdad
 Tablas de verdad de
las formas
proposicionales

Prioridad:
Condicional o disyunción
Disyunción exclusiva
Condicional
Bicondicional
Siempre primero ()
Luego [ ] y por ultimo
Se forman dándole valores a las variables y
resolviendo los conectores lógicos según las { } de izquierda a
combinaciones y siempre siguiendo un orden de derecha
prioridad.
TAUTOLOGÍAS Y
CONTRADICCIONES

Una tautología se da cuando al evaluar una

expresión proposicional en el resultado del ultimo
conector lógico todos los valores son verdaderos
En el caso de las contradicciones se refiere al
caso en el cual este ultimo conector logico pose
valores de verdadero y falso.
CIRCUITOS LÓGICOS

Consisten en representar gráficamente

proposiciones compuestas solamente por
conjunciones y disyunciones de la siguiente
manera:

Conjunción = Circuito en serie

Disyunción = Circuito en paralelo

Conclusión
En conclusión el calculo proposicional
comprende un gran numero de
procedimientos que por el hecho de no ser
tan complicados resultan sumamente
efectivos a la hora de resolver problemas
lógicos, son una gran herramienta que siendo
bien utilizada nos resulta de gran ayuda.