TRABAJO DE LOGICA Y FUNCIONES

1. TRABAJO ENCARGADO DE LOGICA Y FUNCIONES
PRESENTADO POR: RUTH MELANIA SONCCO HUAMAN
TRABAJO ENCARGADO DE LOGICA PROPOSICIONAL
(Unidad I)
1.- convertir en proposición molecular
a) Si es cierto que Aristóteles nació en Estagira y que fue tutor de Alejandro
Magno y, además, que si nació en Estagira era macedonio por su nacimiento,
entonces era efectivamente macedonio.
p: Aristóteles nació en Estagira
q: Aristóteles fue tutor de Alejandro Magno
r: Aristóteles es de nacionalidad macedónica
[(p∧q)∧(q→r)]→r
b) Juan es francés si nació el 23 de febrero. Si es bretón, entonces es más bien
bajo. Ahora bien, nació el 23 de febrero o es bretón. Por consiguiente, es francés
o es más bien bajo.
p: Juan es francés
q: Juan nació el 23 de febrero
r: Juan es bretón
s: Juan es más bien bajo
{q→p, r→s, q∨r}⊨p∨s
c) Si es cierto que Aristóteles nació en Estagira y que fue tutor de Alejandro
Magno y, además, que si nació en Estagira era macedonio por su nacimiento,
entonces era efectivamente macedonio.
p: Aristóteles nació en Estagira
q: Aristóteles fue tutor de Alejandro Magno
r: Aristóteles es de nacionalidad macedónica
[(p∧q)∧(q→r)]→r
d) Si se elevan los precios o los salarios habrá inflación. Si hay inflación, el
gobierno ha de regularla o el pueblo sufrirá. Si el pueblo sufre, los gobernantes
se harán más impopulares. Pero es así que el gobierno no regulará la inflación y
que, sin embargo, los gobernantes no se harán más impopulares. Entonces es
que no subirán los salarios.
p: se elevan los precios
q: se elevan los salarios
r: habrá inflación
s: el gobierno ha de regular la inflación
t: el pueblo sufre
u: los gobernantes se harán más impopulares
{p∨q→r, r→s∨t, t→u, ¬s∧¬u}⊨¬q

2. TRABAJO ENCARGADO DE LOGICA Y FUNCIONES
PRESENTADO POR: RUTH MELANIA SONCCO HUAMAN
e) Si no hay subsidios del gobierno para la agricultura, hay controles sobre la
agricultura. Si hay controles sobre la agricultura, no hay depresión. Habrá
depresión a no ser que haya sobreproducción agrícola. Ahora bien, no hay
sobreproducción. Por tanto, hay subsidios del gobierno para la agricultura.
p: hay subsidios del gobierno para la agricultura
q: hay controles sobre la agricultura
r: hay depresión
s: hay sobreproducción agrícola
{¬p→q, q→¬r, r∨s, ¬s}⊨p
f) Caso que ellos quieran la paz de verdad, y que nosotros seamos superiores
en armamento, obstaculizaremos la conferencia de desarme. Habrá guerra a no
ser que dejemos de obstaculizarla. Y la habrá sólo si ellos no desean
verdaderamente la paz. Luego, es claro que ellos no desean la paz de verdad.
p: ellos quieren la paz de verdad
q: nosotros somos superiores en armamento
r: obstaculizamos la conferencia de desarme
s: habrá guerra
{p∧q→r, s∨¬r, s→¬p}⊨¬p
g) Los salarios no suben si no aumentan los precios. No obstante, subirán los
salarios y no los precios, a no ser que suban los salarios y simultáneamente se
produzca inflación. Luego, en cualquier caso se producirá inflación.
p: los salarios suben
q: aumentan los precios
r: se produce inflación
{¬q→¬p, (p∧¬q)∨(p∧r)}⊨r

3. TRABAJO ENCARGADO DE LOGICA Y FUNCIONES
PRESENTADO POR: RUTH MELANIA SONCCO HUAMAN

4. TRABAJO ENCARGADO DE LOGICA Y FUNCIONES
PRESENTADO POR: RUTH MELANIA SONCCO HUAMAN

5. TRABAJO ENCARGADO DE LOGICA Y FUNCIONES
PRESENTADO POR: RUTH MELANIA SONCCO HUAMAN

6. TRABAJO ENCARGADO DE LOGICA Y FUNCIONES
PRESENTADO POR: RUTH MELANIA SONCCO HUAMAN

7. TRABAJO ENCARGADO DE LOGICA Y FUNCIONES
PRESENTADO POR: RUTH MELANIA SONCCO HUAMAN

8. TRABAJO ENCARGADO DE LOGICA Y FUNCIONES
PRESENTADO POR: RUTH MELANIA SONCCO HUAMAN

9. TRABAJO ENCARGADO DE LOGICA Y FUNCIONES
PRESENTADO POR: RUTH MELANIA SONCCO HUAMAN

10. TRABAJO ENCARGADO DE LOGICA Y FUNCIONES
PRESENTADO POR: RUTH MELANIA SONCCO HUAMAN

11. TRABAJO ENCARGADO DE LOGICA Y FUNCIONES
PRESENTADO POR: RUTH MELANIA SONCCO HUAMAN

12. TRABAJO ENCARGADO DE LOGICA Y FUNCIONES
PRESENTADO POR: RUTH MELANIA SONCCO HUAMAN

13. TRABAJO ENCARGADO DE LOGICA Y FUNCIONES
PRESENTADO POR: RUTH MELANIA SONCCO HUAMAN

14. TRABAJO ENCARGADO DE LOGICA Y FUNCIONES
PRESENTADO POR: RUTH MELANIA SONCCO HUAMAN

15. TRABAJO ENCARGADO DE LOGICA Y FUNCIONES
PRESENTADO POR: RUTH MELANIA SONCCO HUAMAN