b.

Expresión simbólica:

[ ( ¬ p → q ) ∧ ( q → ¬r ) ∧ ( ¬ r → s ) ∧ ( ¬ p ) ∧ ( ¬ s ∨r ) ] → r

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

Conclusión: r
P Frank estudia ingeniería
Q la profesora contesta
R estudio para el parcial
S la universidad ofrece muchos recursos .
Frank no estudia ingeniería entonces la profesora contesta y la profesora contesta entonces no estudio
para el parcial y no estudio para el parcial entonces la universidad ofrece muchos recursos y Frank no
estudia ingeniería y la universidad no ofrece muchos recursos o estudio para el parcial por lo tanto estudio
para el parcial.
p q r s ¬ p (¬ p → q) ¬r ( q → ¬r ) ( ¬r → s ) ¬s ( ¬ s ∨r ) ( ¬ p → q ) ∧ ( q → ¬r ) ( ¬ p → q ) ∧ ( q → ¬r ) ∧ ( ¬ r → s )
v v v v f v f F v f v f F
v v v f f v f F v v v f F
v v f v f v v V v f f v V
v v f f f v v V f v v v F
v f v v f v f V v f v v V
v f v f f v f V f v v v F
v f f v f v v V v f f v V
v f f f f v v V f v v v F
f v v v v v f F v f v f F
f v v f v v f F v v v f F
f v f v v v v f v f f f F
f v f f v v v f v v v f F
f f v v v f f v v f v f F
f f v f v f f v f v v f F
f f f v v f v v v f f f F
f f f f v f v v f v v f F

( ¬ p → q ) ∧ ( q → ¬r ) ∧ ( ¬ r → s ) ∧ ( ¬ p ) [ ( ¬ p → q ) ∧ ( q → ¬r ) ∧ ( ¬ r → s ) ∧ ( ¬ p ) ∧ ( ¬ s ∨r ) ] [ ( ¬ p → q ) ∧ ( q → ¬r ) ∧ ( ¬ r → s ) ∧ ( ¬ p ) ∧ ( ¬ s ∨r ) ] →

F F V
F F V
F F V
F F V
F F V
F F V
F F V
 F F V
F F V
F F V
F F V
F F V
F F V
F F V
F F V
F F V
Premisas:
P1: ¬ p → q
P2: q → ¬r
P3: ¬ r → s
P4: ¬ p
P5: ¬ s ∨ r

Conclusión: r
P6 = p1yp4 =¬ p → q PP p9 =p5y p8=¬ s ∨ r
¬p S

=q =r
P7 = p2yp6=q → ¬r PP
q

= ¬r
P8 = p3yp7=¬ r → s PP
¬r

=s