A system with --------- will provide absurb equation
Answers
Answered by
0
Answer:
Any formula or derivation which implies or is equivalent to something of the form B∧¬B for some formula B is considered as a contradiction or an absurd. Note 1: B∧¬B means "B and (not B)"
Step-by-step explanation:
Similar questions