1

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.

Por ejemplo pq es FBF y .pq es un fmf

Signos de puntuación , ()  Sirven para delimitar el alcance de la conectiva.

Principio de composicionalidad: el valor de verdad de una expresión molecular está

determinado por el valor de verdad de sus partes componentes.
 2

Simbolización en Traducción al Significado en la

lenguaje artificial lenguaje natural tabla de verdad
Conjunción “.” p. q Y, pero, aunque, sin Es verdadera en un
embargo, “,” solo caso: cuando
sus dos enunciados
componentes son
verdaderos.
Disyunción “v” pvq “o”, “a menos que” Es verdadera en tres
inclusiva casos: cuando al
menos uno o los dos
de sus componentes
son verdaderos.
Disyunción “w” pwq “o bien” , “salvo Es verdadera
excluyente que”, “o” cuando o uno o el
otro de sus
componentes son
verdaderos, pero no
ambos al mismo
tiempo.
Condicional “” pq “si….entonces” Es verdadera en tres
“cada vez que…” casos: cuando el
“cuando” antecedente es falso
“porque” o cuando el
consecuente es
verdadero.
Bi-condicional “” pq “si y solo si” Es verdadero en dos
casos: cuando sus
dos componentes
 3

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

Conjunción p. q 1. Te acompañaré aunque estoy

indispuesto
2. A pesar de estar indispuesto, sin
embargo te acompañaré.
3. Pedro trabaja y Juan estudia.
4. Martín es joven y Carlos es valiente
Disyunción pvq 1. El señor que acompaña a la novia
es su padre o su padrino.
2. Te buscaré si tengo tiempo o si
consigo el auto.
3. Llegaré a las cuatro o a las 5.
4. Florencia o Nápoles están en Suiza.
5. A menos que llueva Darío irá a
pasar el día al campo.
Condicional p q 6. Si este objeto es azul entonces tiene
color.
7. Si esta figura es un cuadrado
entonces es un polígono.
8. Si la tierra vuela entonces tiene
alas.
9. Si hoy es lunes, mañana es martes.
 4

10. Si la tierra vuela entonces existe.

Bi-condicional pq 1. Aprobaré el examen si y solo si
estudio
2. María llora si y solo si se ha
golpeado la cabeza
3. Calos vendrá a la fiesta si y solo si
Pedro viene a la fiesta
4. Juan está mal humorado si y solo si
se acaba de
Negación ─ ─p 1. No es cierto que no saldremos de
─p vacaciones
2. Montevideo no está en la
Argentina.

Traducir del lenguaje natural al lenguaje artificial los siguientes enunciados.

1. Es ahora o más tarde.

2. El otro día me crucé con un perro y un familiar.

3. O leo un libro o miro televisión.

4. Mi hermana es cantante pero también ginecóloga.

5. Los abogados nunca mienten.

6. ¿Es necesario o no es necesario aprobar la materia?

7. Su respuesta fue imprecisa e insuficiente.

8. Argentina, Brasil y Chile están en Sudamérica.

9. Si viajo en el tiempo entonces visitaré el Renacimiento o la Edad Media.

10. Si rindo lógica, avanzaré en la carrera, y entonces podré recibirme.

11. Dos hermanos compraron dos helados y dos gaseosas.

12. Tomaré cerveza o vino, pero no comeré postre.

 5

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.

15. Si poc poc, entonces tuc tuc (pero no chac chac)

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

este octavo ejercicio.

18. La presidencia de Cristina Fernández de Kirchner duró un total de 96 meses.

19. O apruebo o desapruebo, pero no las dos cosas al mismo tiempo.

20. Prohibir es lo mismo que no mentir.

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

Definición: un argumento es un conjunto de enunciados tal que uno de ellos llamado

“conclusión” se sigue de los otros a los que se llama premisas. Los argumentos no son
verdaderos o falsos como las proposiciones, sino “bien construidos” o “mal construidos”,
“correctos” o “incorrectos”, “válidos” o “inválidos”.

Validez:

 Brota de la forma o estructura de los razonamientos y no de su materia o contenido

(asunto particular del que trata el razonamiento).
 La validez no garantiza la verdad y no depende del valor de verdad de las premisas
y conclusión sino de la relación de “consecuencia lógica” entre premisas y
conclusión.

Condiciones para que un argumento sea válido:

 Punto de vista semántico: incompatibilidad de la verdad de las premisas con la

falsedad de la conclusión.
 Punto de vista sintáctico: por una exigencia lógica decimos que si las premisas
fuesen verdaderas, podríamos estar seguros de que la conclusión lo será también,
porque así lo exige la estructura formal del argumento.

Mecanismos de decisión: nos permiten determinar de manera mecánica y en un número

finito de pasos la validez o invalidez de un razonamiento.

1. Tablas de verdad: la resolvemos a partir de las leyes de las conectivas, teniendo

presente también los signos de puntuación ya que sirven para determinar el alcance
de cada conectiva.
2. Prueba indirecta o reducción al absurdo. Consiste en negar validez al
razonamiento suponiendo verdaderas a las premisas y falsa a la conclusión. De este
supuesto de invalidez se derivan determinados valores de verdad para los
 7

enunciados moleculares en primer término, y de éstos por la aplicación de las leyes

de las conectivas, valores veritativos para los enunciados atómicos.
 Si encontramos siempre contradicciones entre aquel primer supuesto y los
valores de verdad resultantes de él, queda desautorizado dicho supuesto y el
razonamiento será válido (en tal caso hay que agotar las posibilidades de
interpretación).
 Si no aparecen en todos los casos contradicciones, la hipótesis originaria se
confirmaría y el razonamiento será inválido. Basta encontrar una fila donde
no haya contradicción para demostrar la invalidez (no hace falta seguir
buscando interpretaciones).

Traduzca al lenguaje artificial los siguientes razonamientos

1. Si Alicia es elegida presidenta de grupo, entonces o Betty es elegida vicepresidenta

o Carolina es elegida tesorera. Bety es elegida vicepresidenta. Por lo tanto, si Alicia
es elegida presidenta del grupo, entonces Carolina no es elegida tesorera.
2. Si el catálogo de semillas es correcto, entonces si las semillas se siembran en abril,
entonces las flores se abren en julio. Las flores no se abren en julio. Por lo tanto, si
las semillas se siembran en abril, entonces el catálogo de semillas no es correcto.
3. Si Eduardo gana el primer premio, entonces o Federico gana el segundo o Jorge
queda decepcionado. O Eduardo gana el primer premio o Jorge queda
decepcionado. Luego, Federico no gana el segundo premio.
4. Si el tiempo está agradable y el cielo claro, entonces vamos a nadar y a pasear en
bote. No es el caso que si el cielo está despejado entonces vamos a nadar. Por tanto,
el tiempo no está agradable.