[2] viXra:1408.0211 [pdf] replaced on 2014-08-29 22:58:49
Authors: Ihsan Raja Muda Nasution
Comments: 2 Pages.
Our result is the explicit form of the infinitesimals.
Category: Set Theory and Logic
[1] viXra:1408.0039 [pdf] submitted on 2014-08-07 22:42:05
Authors: Oh Jung Uk
Comments: 8 Pages.
If B(P) is the truth value of proposition P then connectives could be translated to arithmetic operation in the congruent expression of 2 as described below.
B(~p)≡1+B(p)( mod 2 ),B(p∧q)≡B(p)B(q)( mod 2 )
B(p∨q)≡B(p)+B(q)+B(p)B(q)( mod 2 )
B(p⟶q)≡1+B(p)+B(p)B(q)( mod 2 )
B(p⟷q)≡1+B(p)+B(q)(mod 2)
By using this, logical laws could be proved, compound proposition could be simplified, and logical equation could be solved.
Category: Set Theory and Logic