Given p and q are arbitrary propositional variables, are $($s $->$t $)$ and $($ sideways L s V t$)$ equivalent