logical puzzle?

  1. Philosophy Forum
  2. » Logic
  3. » logical puzzle?

Get Email Updates Email this Topic Print this Page

Reply Sat 20 Aug, 2011 04:17 am
Suppose we are given two axioms in Real Nos:

1) for all,x ( x+0=x)

2)for all x.y,z [ (x+y)z =xy +yz]

The equality theorem : for all ,x,y,z [ (x=y &y=z) => x=z]

The substitution law ,and

The cancellation law for addition : for all ,x,y,z [(x+y =x+z) => y=z]

Use the appropriate laws of logic to create a theorem in Real Nos
 
No0ne
 
Reply Fri 6 Jan, 2012 11:28 pm
The fact that you did not use a, b and c tells more than what you state....
 
 

 
  1. Philosophy Forum
  2. » Logic
  3. » logical puzzle?
Copyright © 2019 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.02 seconds on 12/11/2019 at 02:25:23