u/Alternative_Fan2438

Hi all! I am very behind in my logics class and a bit unsure on a question! I have been given this arguement:

(a ∧ (s ∨ j)) ∨ (¬o ∧ (t ∨ i))

s ∨ j

----------------

(s ∨ j) ∨ (t ∨ i)

I have then been asked to submit a proof, in the form:

---- x

Where the two "x's" are spaces for me to write sentences.

If anyone could please help or explain that would be fabulous 🙏