proposiciones simples negacion premisas

filas p q r s ~p ~q ~r ~s (� ∨ �) (� ⟶∼ �) (∼ � ⟶ �) (∼ �) (� ⟶ �)
fila 1 v v v v f f f f v f v f v
fila 2 v v v f f f f v v f v f f
fila 3 v v f v f f v f v v f f v
fila 4 v v f f f f v v v v f f v
fila 5 v f v v f v f f v v v f v
fila 6 v f v f f v f v v v v f f
fila 7 v f f v f v v f v v v f v
fila 8 v f f f f v v v v v f f v
fila 9 f v v v v f f f v f v v v
fila 10 f v v f v f f v v f v v f
fila 11 f v f v v f v f v v f v v
fila 12 f v f f v f v v v v f v v
fila 13 f f v v v v f f f v v v v
fila 14 f f v f v v f v f v v v f
fila 15 f f f v v v v f f v v v v
fila 16 f f f f v v v v f v f v v
 union de las premisas conclusion
(� ∨ �) ∧ (� ⟶∼ �) ∧ (∼ � ⟶ �) ∧ (∼ �) ∧ (� ⟶ �) r
f v
f v
f f
f f
f v
f v
f f
f f
f v
f v
f f
f f
f v
f v
f f
f f
 union de las premisas y la conclusion
[(� ∨ �) ∧ (� ⟶∼ �) ∧ (∼ � ⟶ �) ∧ (∼ �) ∧ (� ⟶ �)] ⟶ (�)
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v