This is a Logic question,

Translate each argument into LSL by setting out a key and representing the arguments in LSL. Determine the validity or the invalidity of each sequent. If valid state that it is valid; if invalid, state that it is invalid and provide interpretation that shows it to be invalid

odining a only if, it is cloudy. If you are here then I am here; I am here unless she is here, from which it follows that you are not here or she is here. 2