• 2022-05-29
    One of the implication calculation rules is: if A is false, then A → B is false no matter whether B is true or false.