Comienza Ya. Es Gratis
ó regístrate con tu dirección de correo electrónico
LÓGICA PROPOSICIONAL por Mind Map: LÓGICA PROPOSICIONAL

1. Concepto

2. la lógica proposicional (o de enunciado) también denominada como lógica de las funciones de verdad, e la mas antigua en la rama de la lógica matemática que estudia, proposiciones, argumentos, oraciones o afirmaciones, métodos de relaciones mediante conectores lógicos y enlaces.

3. Características

4. EL VALOR DE LA VERDAD

5. Las Conectivas Veritativo- Funcionales y sus Tablas

6. Dada la proposición es verdadera, V, o es falsa, F. Si una proposición p es verdadera, su negación, que se escribe p y se lee “no p”, es falsa. Los valores de verdad en una proposición p son V o F.

7. Dada una proposición p sucede que p es verdadera o que p es verdadera.

8. En los lenguajes naturales hay muchas maneras de combinar oraciones entre sí. Generalmente se realiza por medio de una variedad de partículas que la gramática llama popularmente “conjunciones”.

9. De dichas conjunciones únicamente un subconjunto de ellas posee interés para la lógica proposicional. Normalmente, se califican como conectivas principales las siguientes: no, y, o, si… entones, si y sólo si (sii), siendo sus símbolos

10. Los operadores lógicos, son aquellos que permiten conectar proposiciones simples para formar proposiciones compuestas.

11. operadores lógicos

12. operadores lógicos se encuentran las siguientes características

13. CONJUNCION

14. Disyunción débil

15. Disyunción fuerte

16. Negación

17. Notación

18. El operador de conjunción se emplea para vincular dos proposiciones que se deben corresponder para que se pueda lograr un resultado verdadero. Esto quiere decir, la proposición compuesta que encierra una conjunción, está confirmando que las proposiciones más sencillas se están cumpliendo.

19. Con este operador de disyunción débil se consigue un resultado verdadero cuando una de las proposiciones es verdadera. Se representa frecuentemente con el símbolo ∨. Se le llama también suma lógica, operador “or”, operador “o”. Para representarlo se utilizan estos símbolos “+∪” y “”. De igual forma se le conoce como: disyunción débil, disyunción no rigurosa, «disyunción copulativa» y » «disyunción inclusiva».

20. Por medio del operador disyunción fuerte se encuentra una salida puntualmente cierta si uno de los operandos es cierto y el otro es falso. Si ambos operandos cuentan con el mismo valor de verdad la salida es falsa. Además, recibe el nombre de disyunción divisoria, disyunción rigurosa y disyunción exclusiva. Para representarlo se usa el símbolo v con un punto en el ‘interior’, de igual manera se puede representar con la letra griega delta en mayúscula Δ.

21. La negación es una conectiva especial porque no relaciona proposiciones, sino que se aplica exclusivamente a una sola proposición.

22. Las proposiciones se representan usando letras minúsculas del alfabeto comenzando generalmente por las letras p, q, r…z. En algunos casos es necesario representar muchas más proposiciones. En estos casos se podrán utilizar cualquiera de las otras letras del alfabeto, siempre y cuando sea en minúsculas.