Search found 1 match
- Wed May 13, 2015 4:29 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Soundness and Completeness of a limited language
- Replies: 1
- Views: 1122
Soundness and Completeness of a limited language
I was challenged with completing this task. "Consider languages whose logical vocabulary is restricted to just negation and contradiction/absurdity/bottom. Thus, conjunction, disjunction, implication etc. do not occur in sentences of these languages. We can still conduct proofs for such languag...