Edited, memorised or added to reading list

on 24-Dec-2018 (Mon)

Do you want BuboFlash to help you learning these things? Click here to log in or create user.

The
statusnot read reprioritisations
last reprioritisation on reading queue position [%]
started reading on finished reading on




statusnot read reprioritisations
last reprioritisation on reading queue position [%]
started reading on finished reading on




[unknown IMAGE 3711651155212] #chapter-1 #has-images #jaynes_probability_theory
The evidence does not prove that A is true, but verification of one of its consequences does
give us more confidence in A. For example, let
statusnot read reprioritisations
last reprioritisation on reading queue position [%]
started reading on finished reading on

pdf

cannot see any pdfs




Flashcard 3713100549388

Tags
#chapter-1 #has-images #jaynes_probability_theory
Question
Distributivity rule in logic

#chapter-1 #jaynes_probability_theory

Answer
[default - edit me]

statusnot learnedmeasured difficulty37% [default]last interval [days]               
repetition number in this series0memorised on               scheduled repetition               
scheduled repetition interval               last repetition or drill

pdf

cannot see any pdfs







Flashcard 3713104481548

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?
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.

statusnot learnedmeasured difficulty37% [default]last interval [days]               
repetition number in this series0memorised on               scheduled repetition               
scheduled repetition interval               last repetition or drill

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.

Original toplevel document (pdf)

cannot see any pdfs