trabajo

4
SOLUCION P1: P Q P2: Q r P3: S P P4: t nr P5: nt u C: SU C1: P→ r sil, hip P1,2 C2: P simp, P3 C3: r modas ponen C1,2 C4: nt mod. T.T P4 y C3 C5: U mod. Ponen C4, P5 C6: S simpl. P3 C7: S∧ U ad. C 5, 6 2. B P: Los precios son bajos Q: los salarios son bajos r: Hay control de precios S: hay inflación Conclusión: Los salarios son bajos (Q)

Upload: juana-de-arco

Post on 11-Jan-2016

8 views

Category:

Documents


0 download

DESCRIPTION

final

TRANSCRIPT

Page 1: Trabajo

SOLUCION

P1: P → Q

P2: Q → rP3: S ∧ P

P4: t→ nr

P5: nt→u

C: S∧ U

C1: P→ r sil, hip P1,2

C2: P simp, P3

C3: r modas ponen C1,2

C4: nt mod. T.T P4 y C3

C5: U mod. Ponen C4, P5

C6: S simpl. P3

C7: S∧ U ad. C 5, 6

2. B

P: Los precios son bajos

Q: los salarios son bajos

r: Hay control de precios

S: hay inflación

Conclusión: Los salarios son bajos (Q)

Page 2: Trabajo

SOLUCION:

P1: P→S

P2: P∨ ~ r

P3: nr→S

P4: nS

Conc. Q

C1: r mod. T.T P3, 4

C2: P silog. Olisy. C1 y P2

C3: Q modus ponen P1 y C3

3. A

P Q r p→(Q∨ r) q∨ r p→q p→r (p→q) ∨ (p→r)

V F V V V F V V

V F F V V F F F

V V V V V V V V

V V F V V V F V

F F V V V V V V

F F F V F V V V

F V V V V V V V

F V F V V V V V

R1 R2

Page 3: Trabajo

R1⇔R2

V

F

V

V

V

V

V

V

3. B

~ [(~ p∧~q) ∧ (p ∨ q)] ⇔ ~ [(p∨ q) ∧ (p∨ q)] De Morgan

⇔ ~ [(p∨ q)] simplificación

Tabla: ~ (p∨ q)

F

F

F

V