4 ms·

That's basically "infinite" DeMorgan: https://en.wikipedia.org/wiki/De_Morgan's_laws#Extension_to_predicate_and_modal_logic https://en.wikipedia.org/wiki/De_Mo

by FabHK 2y ago

That's basically "infinite" DeMorgan: https://en.wikipedia.org/wiki/De_Morgan's_laws#Extension_to_predicate_and_modal_logic https://en.wikipedia.org/wiki/De_Morgan's_laws#Extension_to_...