trabajo
DESCRIPTION
finalTRANSCRIPT
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)
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
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