Search found 1 match

by SynodOfDordt
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...