a.

Expresión simbólica: [ ( r → ¬q ) ∧ ( p ∨ s ) ∧ ( q ∧ p ) ]→¬ r

Premisas:
P1:r →¬ q
P2: p ∨ s
P3:q ∧ p

Conclusión: ¬ r

r: Camilo trabaja
q: vive con la familia
p: tiene dinero
s: depende de la familia

Razonamiento en lenguaje natural:

Si Camilo trabaja, entonces, no vive con la familia y tiene

dinero, o depende de la familia y vive con la familia y tiene
dinero, entonces Camilo no trabaja.
 Tabla de verdad con el simulador Lógica UNAD:
r q p s (r→¬q) (p∨ s) (r→¬q) ∧ (p∨ s) (q∧ p) [(r→¬q) ∧ (p∨ s) ∧ (q∧ p)] (¬r [(r→¬q) ∧ (p∨ s) ∧ (q∧ p)]→¬r
¬ )
q
V V V V F F V F V V F V
V V V F F F F F V V F V
V V F V F F F F V V F V
V V F F F F F F V V F V
V F V V V F V V V V F V
V F V F V F F V V V F V
V F F V V F F V F F F V
V F F F V F F V F F V V
F V V V F V V F V V V V
F V V F F V F F V V V V
F V F V F V F F V V V V
F V F F F V F F V V V V
F F V V V V V V V V V V
F F V F V V F V V V V V
F F F V V V F V F V V V
F F F F v V F V F V V V
 Tabla de verdad manual:

 Resultado de la tabla de verdad: Tautología.

 validez del argumento mediante las leyes de la inferencia

lógica:
1. r⟶¬q
2. pvs
3. q^p
¬r