EJERCICIO DE TRADUCCIÓN

Traduzca al lenguaje formal los siguientes argumentos:

1) Si no hay un control de nacimientos, entonces la población crece ilimitadamente.
Pero si la población crece ilimitadamente, aumentará el índice de pobreza. Por
consiguiente, si no hay control de nacimientos, aumentará el indicie de pobreza.
p: hay control de nacimientos
q: la población crece ilimitadamente
r: aumenta el indicie de pobreza.
¬p→q, q→r Ͱ ¬p→r

2) Si los jóvenes socialistas alemanes apoyan a Brandt, entonces renuncian a su

programa de reivindicaciones. Y si combaten a Brandt, entonces favorecen a
Strauss. Pero una de dos: o apoyan a Brandt o lo combaten. Por consiguiente,
habrán de renunciar a su programa de reivindicaciones o favorecer a Strauss.
p: Los jóvenes socialistas alemanes apoyan a Brandt
q: Los jóvenes socialistas renuncian a sus reivindicaciones
r: Los jóvenes socialistas alemanes combaten a Brandt
s: Los jóvenes socialistas alemanes favorecen a Strauss.
p→q, r→s, p v r, Ͱ q v s

3) Si dos gases tienen la misma temperatura, entonces sus moléculas tienen el mismo
promedio de energía cinética. Volúmenes iguales de dos gases tienen el mismo
número de moléculas. Las presiones de dos gases son iguales si es el mismo su
número de moléculas y sus energías cinéticas son iguales. Por consiguiente, si dos
gases tienen la misma temperatura y el mismo volumen, tienen la misma presión.
p: tener la misma temperatura
q: tener idéntico promedio de energía cinética
r. tener volúmenes iguales
s: tener el mismo número de moléculas
t: tener presiones iguales
p→q, r→s, (s & q) →t Ͱ (p & r) → t

4) Todo número entero o es primo o es compuesto. Si es compuesto, es un producto

de factores primos, y si es un producto de factores primos es divisible por ellos.
Pero si un número entero es primo, no es compuesto, aunque es divisible por sí
mismo y por la unidad y, consiguientemente, también divisible por números
primos. Por tanto, todo número entero es divisible por números primos.
p: ser número primo
q: ser número compuesto
r: ser producto de factores primos
 s: ser divisible por números primos
t: ser divisible por sí mismo y por la unidad

p v q, q→r, r→s, p→¬q, p→t, t→s Ͱ s

5) Helena no está bien educada si cree que hay vida inteligente en marte. Pero
Helena está bien educada. Por lo que Helena no cree que haya vida en marte.
p: Helena está bien educada
q: Helena cree que hay vida en marte
¬p→q, p, Ͱ ¬q

6) O fue su sirvienta quien mato al señor Watson o fue el mayor domo el quien lo
hizo. Pero si fue la sirvienta, entonces el señor Watson fue envenenado. Por todo
lo que se sabe el señor Watson no fue envenenado. Por lo tanto fue el mayordomo
el asesino.
p: la sirvienta mato al señor Watson
q: el mayordomo mato al señor Watson
r: el señor Watson fue envenenado
p v q, p→r, ¬r Ͱq

Bibliografía
Garrido, M. (2005). Logica simbólica. Madrid: Tecnos.