Main.LOTReasoning History

Hide minor edits - Show changes to output

Changed line 3 from:
Suppose this is one of the rules : '''If there is a sentence Φ, and another sentence "if Φ then Ψ", then write down Ψ in the belief box.'''
to:
Suppose this is one of the rules : '''If there is a sentence Φ, and another sentence "if Φ then Ψ", then add sentence Ψ to the belief box.'''
Changed lines 1-5 from:
Suppose the belief box contains various sentences, and there are rules that operate on those sentences.

Rule : If there is a sentence Φ, and another sentence (Φ→Ψ), then write down Ψ in the belief box.

Example
,
to:
Imagine a belief box with various sentences that express our beliefs, and there is a mechanism that applies rules to those sentences.

Suppose this is one of the rules : '''If there is a sentence Φ
, and another sentence "if Φ then Ψ", then write down Ψ in the belief box.'''

# Suppose the belief box contains "if the interest rate is going to rise, the stock market will fall".
# Suppose a new sentence is added to the belief box, "the interest rate is going to rise".
# The rule will then add a new sentence to the box "the stock market will fall".
Changed lines 3-5 from:
Rule : If there is a sentence Φ, and another sentence (Φ→Ψ)
to:
Rule : If there is a sentence Φ, and another sentence (Φ→Ψ), then write down Ψ in the belief box.

Example,
Changed line 3 from:
Rule #1: If a sentence has a small letter, replace that letter with ∃ φ
to:
Rule : If there is a sentence Φ, and another sentence (Φ→Ψ)
Changed line 3 from:
Rule #1: If a sentence has a small letter, replace that letter with &#exist;
to:
Rule #1: If a sentence has a small letter, replace that letter with ∃ φ
Added lines 1-3:
Suppose the belief box contains various sentences, and there are rules that operate on those sentences.

Rule #1: If a sentence has a small letter, replace that letter with &#exist;