11 reputation
2
bio website
location
age
visits member for 1 year, 4 months
seen Feb 20 at 11:58

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