Conectivos Logicos
Enviado por Jesszica • 3 de Junio de 2013 • 209 Palabras (1 Páginas) • 599 Visitas
Conectivos Lógicos (Términos de Enlace)
“Son palabras y/o símbolos que enlazan proposiciones con el fin de construir un lenguajes (verbal o simbólico)
más amplio”.
Los conectivos lógicos más usuales son:
Simbolo Palabra Nombre
(), [] Agrupación
¬
No, no es cierto, not Negación
Y, and Conjunción
O, or Disyunción inclusiva, permite todos los casos.
0..0, xor Disyunción exclusiva, permite solo uno de todos los casos.
→ Si… entonces Si condicional o implicación
↔ Si y solo si Bicondicional o implicación doble
La jerarquía de las proposiciones son: negación, conjunción, disyunción, implicación, bicondicional y son
asociadas por la izquierda.
De esta manera sin nos encontramos ante la siguiente proposición:
p → q ¬r
El correcto para resolverlo sería para este caso:
1. Primero negamos r ( ¬r )
2. Luego resolvemos la conjunción (q ¬q)
3. Por último resolvemos la implicación →
Pero tiene mayor los signos de agrupación, des esta manera, si nos encontramos con la proposición:
(p → q) ¬r
...