A few questions about conditional derivation and how to use the proof checker to meet the conditions. I will attach the document, which contains all the questions. It’s urgent, but not difficult if you’re familiar with conditional derivations, logic, and reasoning for computer science.
https://proof-checker.org/ i also did problem one so you know ho two use it.