e se fas:
-1. p -> q I- p -> s
-2. p -> ( q -> r)
-3. q ->( r-> s)
4.P H
5.Q—>R E—>2,4
6.Q H
7.R E—>2,6
8.S E—>3,7
9.P—>S I —>4,8
sendo o laranxa un suposto, e o morado un suposto dentro dese suposto.
Clara González Martín
e se fas:
-1. p -> q I- p -> s
-2. p -> ( q -> r)
-3. q ->( r-> s)
4.P H
5.Q—>R E—>2,4
6.Q H
7.R E—>2,6
8.S E—>3,7
9.P—>S I —>4,8
sendo o laranxa un suposto, e o morado un suposto dentro dese suposto.
Clara González Martín