3 ms·
It doesn't lead to a contradiction, the contradiction was already there. If you have a contradiction on your system you can prove everything: 1- Assume ¬X 2-
by caiquelira 4y ago
It doesn't lead to a contradiction, the contradiction was already there. If you have a contradiction on your system you can prove everything:
1- Assume ¬X
2- Point out the contradiction
3- Therefore X is true
- aristofun 4y agoHow and why does a specific contradiction "coll_conj and ¬coll_conj" apply to all possible conjectures?