Given 4 axioms in real Nos:(adsbygoogle = window.adsbygoogle || []).push({});

1) 1x = x ,for all x

2) x+0 = x ,for all x

3) (x+y)z = xz+yz ,for all x,y,z

4) xy =yx ,for all x,y

The cancellation theorem : [tex]\forall[x+y = x+z\Longrightarrow y=z][/tex]

And two laws of logic:

1) The law of Universal Elimination

2) The law of substitution.

Can we create a theorem?.

If yes ,what that theorem may be??

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Creating a theorem

Loading...

Similar Threads - Creating theorem | Date |
---|---|

A Algorithm creates representative set of data | May 23, 2016 |

Do I have enough information to create a normal distribution | Mar 13, 2015 |

Seeking advice on creating ratio scales from ordinal scale instruments | Jun 21, 2014 |

Calculate item from n-size cross product without creating product? | Mar 7, 2014 |

Create a mathematical expression using mereotopological theorem | Aug 22, 2006 |

**Physics Forums - The Fusion of Science and Community**