3 ms·
Implication isn’t actually complete - you can’t construct negation from it, because (T, …, T) can only ever get mapped to T.
by karatinversion 4y ago
Implication isn’t actually complete - you can’t construct negation from it, because (T, …, T) can only ever get mapped to T.
- ttctciyf 4y agoAh, thanks, seems I misremembered.