Professional Documents
Culture Documents
Lógica
Cálculo proposicional.
Es la parte de la lógica que se ocupa de estudiar los enunciados, es decir las proposiciones.
En lógica, hablar de “enunciado”, “proposición”, “juicio” o “sentencia” es lo mismo. Una
proposición es una oración declarativa que puede ser verdadera o falsa. Las órdenes, las
preguntas, las exclamaciones y las expresiones de deseo no son proposiciones porque no
declaran nada, es decir no tienen un valor de verdad. Solamente las “oraciones
declarativas” decimos que son enunciados, es decir proposiciones, porque informan sobre
algún hecho en la realidad y tienen la posibilidad de ser o verdaderos o falsos.
Cabe aclarar que solamente las proposiciones pueden ser o verdaderas o falsas. De los
razonamientos decimos que pueden ser válidos o inválidos pero no verdaderos o falsos.
Variables proposicionales: se simbolizan con las letras minúsculas (p, q, r, s…z) que
reemplazan a un enunciado atómico cualquiera. Un enunciado atómico es una oración
declarativa que describe un hecho simple.
Conectivas: son símbolos que conectan dos o más enunciados y obtener así un enunciado
molecular (enunciado compuesto). Se las llama también “constantes lógicas” porque su
significado lógico no varía.
Reglas de formación
Me indican que tipo de combinaciones pueden efectuarse, es decir cuando una fórmula es
bien formada y cuando no lo es.
tienen al mismo
tiempo el mismo
valor de verdad.
Negación “─” ─p “no” Si p es verdadero,
“no es cierto que”, entonces ─p es falso
“no es verdad que”, y viceversa.
“es falso que”
Ejemplos de simbolizaciones
13. Es incomprensible la indecisión con la que los indígenas invitaron a los invasores.
14. Se estudia para aprobar y aprender, sin embargo no siempre apruebo o aprendo.
16. No es cierto que Argentina ganará el Mundial y Messi será elegido el mejor jugador
del torneo.
17. Tengo esperanza en que hice bien los siete ejercicios anteriores, como así también
21. El que fue y volvió cincuenta veces, es porque volvió y fue cincuenta veces.
22. Puedo estudiar para lógica pero no estoy segura de que voy a aprobar, ¿me
entendés?, o puedo presentarme al examen sin haber estudiado y dejar que la suerte
me ayude.
23. ¡No tenés idea del sacrificio que hago para que algo de esto me quede en la cabeza!
24. No es cierto que no sea verdad que entiendo pero no comprendo este trabalenguas.
25. Aunque no quiera, voy a ir igual, pero voy a dejar en claro que no me interesa ir.
6
Tema: Razonamiento
Validez: