Kvantifikátory:
- obecný (pro všechna)
- existenční (existuje / alespoň jedno)
V zásadě:
- „pro všechna“ se mění na „existuje“ + negace,
- „existuje“ se mění na „pro všechna“ + negace.
Závěr:
Zajímavé, ale nic neříkající hrátky s implikací a obecným kvantifikátorem (předpoklad ve stylu „prvek leží v prázdné množině“).