Reputation
Top tag
Next privilege 15 Rep.
Flag posts
Badges
2
Newest
 Student
Impact
~279 people reached

  • 0 posts edited
  • 0 helpful flags
  • 0 votes cast
Nov
25
comment Proving non satisfiability of the barbers paradox with tableau method
It is easy to see that the statement can never be true. But how is the correct way to use the tableau method to show a formula is not satisfiable? I think I might be getting that part wrong...
Nov
25
comment Proving non satisfiability of the barbers paradox with tableau method
But if the domain is all men in town, isn't it implied that x and b then is a man? Do I still need to include M(y) and M(x)?
Nov
24
awarded  Student
Nov
24
awarded  Editor
Nov
24
revised Proving non satisfiability of the barbers paradox with tableau method
edited body
Nov
24
asked Proving non satisfiability of the barbers paradox with tableau method