0
   

finite satisfiability of 0 is not successor and successors of distinct numbers are distinct

 
 
Reply Wed 10 Jun, 2015 03:17 am
In Edit [Moderator]: Link removed it says that:

Indeed, the conjunction of the following two propositions is not satisfiable in any finite universe of discourse.
1) Zero is not the successor of any number.
2) Every two numbers which are successors respectively of distinct numbers are themselves distinct.

Which, according to my understanding of wikipedia, means, that there is no finite model for which both of these propositions are true. But I don't see any problem for any finite universe. Can anyone explain what I'm missing?
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 0 • Views: 799 • Replies: 0
No top replies

 
 

Related Topics

Evolution 101 - Discussion by gungasnake
Typing Equations on a PC - Discussion by Brandon9000
The Future of Artificial Intelligence - Discussion by Brandon9000
The well known Mind vs Brain. - Discussion by crayon851
Scientists Offer Proof of 'Dark Matter' - Discussion by oralloy
Blue Saturn - Discussion by oralloy
Bald Eagle-DDT Myth Still Flying High - Discussion by gungasnake
DDT: A Weapon of Mass Survival - Discussion by gungasnake
 
  1. Forums
  2. » finite satisfiability of 0 is not successor and successors of distinct numbers are distinct
Copyright © 2021 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 09/22/2021 at 05:41:06