MHB Discrete Mathematics - Define a relation R on S of at least four order pairs

Haroon2
Messages
1
Reaction score
0
Let S = {1,2,5,6 }
Define a relation R on S of at least four order pairs, as (a,b)  R iff a*b is even (i.e. a multiply by b is even)
 
Physics news on Phys.org
Duplicate post
 
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...

Similar threads

Replies
1
Views
2K
Replies
35
Views
4K
Replies
13
Views
3K
Replies
7
Views
2K
Replies
14
Views
5K
Replies
8
Views
3K
Back
Top