$($A V B$)^($A $$ C$)^($B $$ C$)$ C use propositional logic to prove the arguments valid