True or False? For every pair of formulas A

and B

$,$ if A

and A$->$B

are satisfiable then B

is satisfiable. Prove your answer.