Do you want BuboFlash to help you learning these things? Or do you want to add or correct something? Click here to log in or create user.

Tags

#chapter-1 #jaynes_probability_theory

Question

one would take ‘A implies B’ to mean that B is logically deducible from A.

What's wrong?

What's wrong?

Answer

"A implies B" really **does not **mean that there is a chain of arguments so you can derive B from what's inside the statement A. "A implies B" indeed only means "whenever A, then B". You can say "**the fact that the number 3 is odd implies that the number 100 is bigger than the number 50**". "Implies" here really doesn't mean that you can derive size relations of numbers from the oddness of other numbers by looking at the concepts of "size" and "oddness". These statements haven't anything special to do with each other, they just happen to be both true.

And every true statement "follows from" / "is implied by" every other true statement in the sense of formal logic.

every statement (be it true or false) "is implied by" / "follows from" any false statement.

And every true statement "follows from" / "is implied by" every other true statement in the sense of formal logic.

every statement (be it true or false) "is implied by" / "follows from" any false statement.

Tags

#chapter-1 #jaynes_probability_theory

Question

one would take ‘A implies B’ to mean that B is logically deducible from A.

What's wrong?

What's wrong?

Answer

?

Tags

#chapter-1 #jaynes_probability_theory

Question

one would take ‘A implies B’ to mean that B is logically deducible from A.

What's wrong?

What's wrong?

Answer

"A implies B" really **does not **mean that there is a chain of arguments so you can derive B from what's inside the statement A. "A implies B" indeed only means "whenever A, then B". You can say "**the fact that the number 3 is odd implies that the number 100 is bigger than the number 50**". "Implies" here really doesn't mean that you can derive size relations of numbers from the oddness of other numbers by looking at the concepts of "size" and "oddness". These statements haven't anything special to do with each other, they just happen to be both true.

And every true statement "follows from" / "is implied by" every other true statement in the sense of formal logic.

every statement (be it true or false) "is implied by" / "follows from" any false statement.

And every true statement "follows from" / "is implied by" every other true statement in the sense of formal logic.

every statement (be it true or false) "is implied by" / "follows from" any false statement.

If you want to change selection, open original toplevel document below and click on "Move attachment"

#### Parent (intermediate) annotation

**Open it**

Note carefully that in ordinary language one would take ‘A implies B’ to mean that B is logically deducible from A. But, in formal logic, ‘A implies B’ means only that the propositions A and AB have the same truth value.

Note carefully that in ordinary language one would take ‘A implies B’ to mean that B is logically deducible from A. But, in formal logic, ‘A implies B’ means only that the propositions A and AB have the same truth value.

status | not learned | measured difficulty | 37% [default] | last interval [days] | |||
---|---|---|---|---|---|---|---|

repetition number in this series | 0 | memorised on | scheduled repetition | ||||

scheduled repetition interval | last repetition or drill |

Do you want to join discussion? Click here to log in or create user.