[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