5 ms·
Also, I'm not sure that those two affirmations are equivalent: ~∀x (~IsAHatOfMine(x) ∨ Green(x)) ∃x ~(~IsAHatOfMine(x) ∨ Green(x))
by jblezo 2y ago
Also, I'm not sure that those two affirmations are equivalent:
~∀x (~IsAHatOfMine(x) ∨ Green(x))
∃x ~(~IsAHatOfMine(x) ∨ Green(x))
- FabHK 2y agoThat'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_...