Jaynes discusses a “tricky point” with regard to the difference between the everyday >meaning of the verb “imply” and its logical meaning; are there other differences between >the formal language of logic and everyday language?
In formal logic, the disjunction “or” is inclusive—“A or B” is true if A and B are true. In everyday language, typically “or” is exclusive—“A or B” is meant to exclude the possibility that A and B are both true.
In formal logic, the disjunction “or” is inclusive—“A or B” is true if A and B are true. In everyday language, typically “or” is exclusive—“A or B” is meant to exclude the possibility that A and B are both true.