2. Son
oraciones
Proposiciones
Que
pueden ser
calificadas
Verdaderas
O
Falsas
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.
5. 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
6. 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
7. 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
8. 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.
9. 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.
10. 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
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.