Set Theory and Logic

1408 Submissions

[2] viXra:1408.0211 [pdf] replaced on 2014-08-29 22:58:49

On the Infinitesimals

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

Simplifying Compound Proposition and Logical Equation

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