Copyright (C) 2018 Dennis Joe Darland
Logic consists of only the objects:
Negation,
Material Implication,
Existence, (quantifier)
Variables, (and at least denumerably infinite number).
Necessity.
An example of a logical fact [ v(a,b) or not v(a,b)] is
NEvEaEbNAvabNvab
Where A is alternation (defined by negation and material implication).
If a person P believes this then
belief_private(P,iN,iE,iv,iE,ia,iE,ib,iv,ia,ib,iN,iv,ia,ib)
The fact exactly corresponds to the statement.
The statement being a sequence:
‘N’,’E’,’v’,’E’,’a’,’E’,’b’,’A’,’v’,’a’,’b’,N’,’v’,’a’, and ‘b’.
Where we also have:
P|R(‘N’,iN)
P|R(‘E’,iE)
P|R(‘A’,iA)
P|R(‘v’,iv)
P|R(‘a’,ia)
P|R(‘b’,ib)
It is true if in addition:
S(iN,N)
S(iE,E)
S(iA,A)
S(iv,v)
S(ia,a)
S(ib,b)
It would also be true:
LNEvEaEbAvabNvab
Where L is necessity. (analyzed similarly).
Return to Dennis Joe Darland