3 ms·
What is the difference between "B [assuming A]" and "A implies B"? Is the distinction something that was introduced for the purposes of this game, or is it made
by Bromskloss 8y ago
What is the difference between "B [assuming A]" and "A implies B"? Is the distinction something that was introduced for the purposes of this game, or is it made otherwise as well?
- pulisse 8y agoConditional assertion (that is, deducibility of B under the hypothesis A) is distinct from assertion of a conditional (deducibility of the statement that A implies B). This is a fundamental distinction in formal logic. See [1]. [1] https://en.wikipedia.org/wiki/Deduction_theorem https://en.wikipedia.org/wiki/Deduction_theorem