Member since September 26, 2011

hannahnobanana

My Profile
hannahnobanana
  • Answered Questions: 0
  • Posts: 1
  • Location:
  • Occupation:
No Profile
Following
User has not yet added friends.
Followers
User does not yet have followers.
My Recent Posts
 
Stuck on a First Order Logic Proof
Mon 26 Sep, 2011 06:28 pm - I am stuck on a proof: R is serial, R is symmetric, and R is Euclidean, entails R is reflexive. This translates to: (for all x)(there exists a y)Rxy, (for all x)(for all y)(Rxy->Ryx),(for all... (view)
 
  1. Forums
  2. » hannahnobanana
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.02 seconds on 05/18/2024 at 02:07:06
▲ ▼