3 ms·
(A && !A) is always false even if (A || !A) isn't justified . In other words, !!(A || !A). When we reject excluded middle we are no longer talking about truth,
by danharaj 9y ago
(A && !A) is always false even if (A || !A) isn't justified . In other words, !!(A || !A).
When we reject excluded middle we are no longer talking about truth, but evidence.