Member since August 12, 2011

# triclino

• Posts: 7
• Location:
• Occupation:
No Profile

### My Recent Posts

Sun 21 Aug, 2011 06:25 am - [quote="IlyaStavinsky"] [size=150][b]The energy of a charged body in freefall [/b][/size] All bodies in free fall receive the same acceleration, in other words, the acceleration is not... (view)
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... (view)
Thu 18 Aug, 2011 06:48 pm - [quote="jack phil"] This is sort of an offshoot of the "this sentence is false thread". I think the solution to this question might be simpler than the solution to that one,... (view)
Thu 18 Aug, 2011 04:08 pm - [quote="Protoman2050"] What's the difference b/w a formal and an informal proof, in mathematics? I have an informal proof that sqrt(2) is irrational: 1. Assume sqrt(2)=x/y,... (view)
Mon 15 Aug, 2011 07:44 pm - Here is a proof that the above is not a tautology: Put B=false , P=true ,S=true ,C= true and we have : for .......1) (F=>T)=>T ................................which is T... (view)
Mon 15 Aug, 2011 07:25 pm - 1) A=>B/ A=>~(~B&~C) 2) A........................................................................Hypothesis for conditional proof... (view)
Fri 12 Aug, 2011 05:27 am - This is not a tautology ,hence not provable (view)

1. Philosophy Forum
2. » triclino