3. 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
4. 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.
7. CONDICIONAL
Conectivo
• →
Proposición compuesta
• P →Q
Se lee
• Si P entonces Q
Tabla de la verdad
BI-CONDICIONAL
Conectivo
• ↔
Proposición compuesta
• P ↔ Q
Se lee
• P si y solo si Q
Tabla de la verdad
8. TABLAS DE VERDAD DE LAS FORMAS
PROPOSICIONALES
Se forman dándole valores a las
variables y resolviendo los conectores
lógicos según las combinaciones y
siempre siguiendo un orden de
prioridad.
Se forma dándole valores a la variable
Prioridad:
Condicional o
disyunción
Disyunción exclusiva
Condicional
Bicondicional
Siempre primero ()
Luego [ ] y por ultimo
{ } de izquierda a
derecha
9. TAUTOLOGÍAS Y
CONTRADICCION
ES
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 lógico
pose valores de verdadero y falso.
11. 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.