Este documento presenta los elementos básicos de la lógica proposicional, incluyendo símbolos propios y conectivos, reglas de formación y simbolización. Define símbolos como variables y conectivos, y explica cómo estos se usan para construir fórmulas bien formadas siguiendo las reglas de formación. Además, muestra ejemplos de cómo simbolizar diferentes proposiciones lógicas usando los símbolos definidos.

1. 8/26/2009 CÁLCULO PROPOSICIONAL 1 LÓGICA Profesor: José Briceño

3. SÍMBOLOS O VOCABULARIO 3 SIGNOS PROPIOS O VARIABLES P, Q, R, S………. SIGNIFICAN OBJETOS VOCABULARIO DE PUNTUACIÓN SIGNOS IMPROPIOS CONECTIVOS SIGNIFICAN FUNCIONES. CONSTANTES DE OPERACIÓN NO CONECTIVOS

4. ( ), [ ], { }. DE PUNTUACIÓN SIGNOS IMPROPIOS NO CONECTIVOS DE OPERACIÓN CONECTIVOS LOGICA SIMBOLICA ELEMENTAL, ANGEL MUÑOZ GARCIA SÍMBOLOS O VOCABULARIO

5. FUNCIÓN SÍMBOLO [ P. M. ] SE LEE…. NEGACIÓN NO CONJUNCIÓN Y DISYUNCIÓN O IMPLICACIÓN SI……. ENTONCES EQUIVALENCIA SI Y SOLO SI LOGICA SIMBOLICA ELEMENTAL, ANGEL MUÑOZ GARCIA SIGNOS DE OPERACIÓN

6. SIGNOS DE OPERACIÓN SÍMBOLO [ P. M. ] SE LEE…. NO, ES FALSO QUE, NO ES CIERTO QUE, NO SUCEDE QUE, ETC. NEGACIÓN EJEMPLO NO LLUEVE, ES FALSO QUE LLUEVE Y HACE SOL PROPOSICIÓN P . Q SIMBOLIZACIÓN ( P . Q) LOGICA SIMBOLICA ELEMENTAL, ANGEL MUÑOZ GARCIA

7. SIGNOS DE OPERACIÓN SÍMBOLO [ P. M. ] SE LEE…. CONJUNCIÓN Y, A LA VEZ, TAMBIÉN, PERO, SINO, SIN EMBARGO, ETC. EJEMPLO ESTUDIAS Y JUEGAS, JUAN CANTA, PERO LO HACE MUY MAL PROPOSICIÓN P Q SIMBOLIZACIÓN LOGICA SIMBOLICA ELEMENTAL, ANGEL MUÑOZ GARCIA

8. SIGNOS DE OPERACIÓN SÍMBOLO [ P. M. ] SE LEE…. DISYUNCIÓN O, EJEMPLO PROPOSICIÓN LLUEVE O NEVAA, P Q SIMBOLIZACIÓN LOGICA SIMBOLICA ELEMENTAL, ANGEL MUÑOZ GARCIA

9. SIGNOS DE OPERACIÓN SÍMBOLO [ P. M. ] SE LEE…. IMPLICACIÓN SI “A”, ENTONCES “B”. EJEMPLO SI LLUEVE, ENTONCES ME MOJO SI CORRO, ENTONCES SUDO PROPOSICIÓN P Q SIMBOLIZACIÓN LOGICA SIMBOLICA ELEMENTAL, ANGEL MUÑOZ GARCIA

10. SIGNOS DE OPERACIÓN SÍMBOLO [ P. M. ] SE LEE…. SI Y SOLO SI. SE DA P SI Y SOLO SI, SE DA Q EQUIVALENCIA EJEMPLO APRUEBAS EL EXAMEN, SI Y SOLO SI, ESTUDIAS CON DEDICACIÓN. PROPOSICIÓN P Q SIMBOLIZACIÓN LOGICA SIMBOLICA ELEMENTAL, ANGEL MUÑOZ GARCIA

11. SIGNOS DE OPERACIÓN ALCANCE PODER DE UNIÓN NEGACIÓN - CONJUNCIÓN + DISYUNCIÓN IMPLICACIÓN EQUIVALENCIA + - LOGICA SIMBOLICA ELEMENTAL, ANGEL MUÑOZ GARCIA

12. SIGNOS DE OPERACIÓN ( ), [ ], { }.

13. SIGNOS DE OPERACIÓN EL SIGNO PRINCIPAL DE LA FORMULA SIGNO DE MAYOR ALCANCE EL QUE DA NOMBRE A LA FORMULA EL QUE DIVIDE A LA FORMULA EN DOS SUB-FORMULAS LOGICA SIMBOLICA ELEMENTAL, ANGEL MUÑOZ GARCIA

14. SIGNOS DE OPERACIÓN LOGICA SIMBOLICA ELEMENTAL, ANGEL MUÑOZ GARCIA

15. SIGNOS DE OPERACIÓN ( ), [ ], { }. DE PUNTUACIÓN EL PARÉNTESIS DISMINUYE EL ALCANCE DE LOS SIGNOS DE OPERACIÓN QUE ESTÁN DENTRO DE EL, CON RESPECTO A LOS SIGNOS QUE ESTÁN FUERA SE HA CONVENIDO ESCRIBIR EN LOS CASOS QUE SEA NECESARIO UN SEGUNDO PARÉNTESIS COMO CORCHETE [ ] Y EL TERCERO COMO LLAVE { } LOGICA SIMBOLICA ELEMENTAL, ANGEL MUÑOZ GARCIA

16. SIGNOS DE PUNTUACIÓN LOGICA SIMBOLICA ELEMENTAL, ANGEL MUÑOZ GARCIA

17. SIGNOS DE PUNTUACIÓN

18. REGLAS DE FORMACIÓN LOGICA SIMBOLICA ELEMENTAL, ANGEL MUÑOZ GARCIA

19. SIMBOLIZACIÓN PROPOSICIÓN SI VIENE A CLASES, ENTONCES NO LLUEVE. 1-IDENTIFICAR LA ESTRUCTURA – EL SIGNO PRINCIPAL SI VIENE A CLASES, ENTONCES NO LLUEVE. B A 2- SE IDENTIFICAN LAS VARIABLES A- SI VIENE A CLASES/ P B- NO LLUEVE/ Q P Q RESULTADO LOGICA SIMBOLICA ELEMENTAL, ANGEL MUÑOZ GARCIA

21. El agua moja o el hielo enfría

22. De Gaulle fue presidente de Francia y Camilo Torres fue un guerrillero

23. Si llegas tarde al examen, tendrás que justificarlo

24. Si hizo sus tareas, las hizo mal o las hizo incompletasLOGICA SIMBOLICA ELEMENTAL, ANGEL MUÑOZ GARCIA

26. Si vienes o cantas y comes, duermes

27. Si vienes, cantas o comes y duermes

28. Si vienes o cantas, comes y duermes

29. Ricardo es un buen alumno, pero diana le aventaja