Formal logical entailment is defined truth-conditionally, independent of any psychological facts abo...