- #1
flying2000
- 40
- 0
{<->, ~} is not a complete set of connectives..
It seems that we can't use Propostions P is all true and thus lead to contradition since ~ can make it false.
Any suggestion?
It seems that we can't use Propostions P is all true and thus lead to contradition since ~ can make it false.
Any suggestion?