Will a second parameter value inherit negation if the first parameter is false? Like:
(~A & B) → X
Is B
false? Would it translate to:
if A and B is false, then X
or
if A is false and B, then X
I'm very new to propositional calculus, and had a hard time phrasing the question, but any help would be much appreciated!