Ejercicios de logica

Simbolizar las siguientes proposiciones usando funciones proposicionales y cuantificadores.

1. Bienaventurado el que se preocupa por el necesitado.(Salmo 41: 1)
Bx: x es bienaventurado.
Px: x se preocupa por un necesitado.
(נּx) (Bx ∙ Px)

2. Es parco en palabras quien tiene la sabiduría. (Proverbios17: 27)
Px: x es un parco en palabras.
Sx: x tiene sabiduría.
(נּx) (Px • Sx)

3. El que haya mujer encuentre la ventura. (Proverbios 18: 22)
Mx: xhaya una mujer.
Vx: x encuentra la ventura.
(נּx) (Mx ∙ Vx)

4. El que de prisa se enriquece no lo hará sin culpa. (Proverbios 28: 20)
Ex: x de prisaenriqueció.
Cx: x tiene culpa
(x) (Ex Cx)

5. Se sentara cada una bajo su parra y bajo su higuera. (Miqueas 4: 4)
Sx: x esta sentado.
Px: x bajo suparra.
Hx: x bajo su higera.
(x) [Sx (Px ∙ Hx)

6. Aquel que aumenta su saber, aumenta su dolor.
Ax: x aumento su saber.
Dx: x aumento su dolor.
(x)(Ax Dx)

7. Nada hay secreto que no haya de converse y salir a la luz.
Sx: x hay un secreto.
Cx: x se converse.
Lx: x salió a la luz.
(x) [Sx (Cx ∙Lx)]

8. El señor a quien ama le reprende.
Sx: x es el señor.
Ax: x ama.
Rx: x es reprendido.
(x) [Sx (Ax Rx)]

9. En el camino hay un chacal; un leónen la plaza.
Cx: x un camino.
Tx: x un chacal.
Lx: x un león en la plaza.
(נּx) [Cx ∙ (Tx v Lx)]

10. El que aborrece se enmascara con los labios;pero dentro lleva la traición.
Ax: x hay uno que aborrece.
Lx: x se enmascara con los labios.
Tx: x lleva dentro la traición.
(נּx) [Ax ∙ (Lx v Tx)]