Negations and Quantifiers

Not everything is DANGEROUS
1. ~∀xDx
2. ~∃xDx
3. ∀x~Dx
4. ~∀x~Dx
Nothing is as it SEEMS.
1. ∃x~Sx
2. ~∃xSx
3. ~∀xSx
4. ~∀x~Sx
It's false that all things are inVISIBLE.
1. ~∃x~Vx
2. ~∃xVx
3. ~∀x~Vx
4. ~∀xVx
There isn't anything that's inDESTRUCTIBLE.
1. ~∃x~Dx
2. ~∃xDx
3. ∀x~Dx
4. ~∀x~Dx
Nothing made of JELLO is worth DYING for.
1. ∀x(Jx→Dx)
2. ∃x~(Jx&Dx)
3. ~∀x(Jx→Dx)
4. ~∃x(Jx&Dx)
No MAMMALS should be allowed to RULE the Earth.
1. ~∀x(Mx→Rx)
2. ∃x~(Mx&Rx)
3. ~∃x(Mx&Rx)
4. ∀x~(Mx→Rx)
It's not true that all of the BUNNIES are CORRUPT.
1. ~∃x(Bx&Cx)
2. ~∀x(Bx→Cx)
3. ∀x~(Bx→Cx)
4. ~∀x~(Bx→Cx)
None of the CHILDREN are SPECIAL.
1. ~∃x(Cx&Sx)
2. ~∀x(Cx→Sx)
3. ∃x~(Cx&Sx)
4. ∀x~(Cx→Sx)
It's false that only the COURAGEOUS are FEARED.
1. ~∃x(Cx&Fx)
2. ~∀x(Cx→Fx)
3. ~∃x(Cx&Fx)
4. ~∀x(Fx→Cx)
It's not true that only BALLOONS make her HAPPY.
1. ~∃x(Bx&Hx)
2. ~∀x(Bx→Hx)
3. ~∀x(Hx→Bx)
4. ~∃x(Bx&Hx)
There is nothing in my REFRIGERATOR made of PLUTONIUM or NAUGAHYDE.
1. ~∃x(Rx&(PxvNx))
2. ~∀x(Rx→(PxvNx))
3. ∃x~(Rx&(PxvNx))
4. ∀x~(Rx→(PxvNx))
Not every FEROCIOUS GREEN MONSTER that attacks TOKYO is disLIKED.
1. ∀x~((Fx&Gx&Mx&Tx)→~Lx)
2. ~∃x(Fx&Gx&Mx&Tx&~Lx)
3. ~∀x((Fx&Gx&Mx&Tx)→~Lx)
4. ~∀x(Fx&Gx&Mx&Tx&~Lx)
None of the disHONEST POLITICIANS have real SMILES or real BELIEFS.
1. ∀x~((~Hx&Px)→(SxvBx))
2. ~∀x((~Hx&Px)→(SxvBx))
3. ∃x~(~Hx&Px&(SxvBx))
4. ~∃x(~Hx&Px&(SxvBx))
None of the LEPRECHAUNS, GNOMES, or TROLLS works in the MEDICAL field.
1. ~∃x((LxvGxvTx)&Mx)
2. ~∀x((LxvGxvTx)→Mx)
3. ∃x((LxvGxvTx)&~Mx)
4. ~∀x(Mx→(LxvGxvTx))
No one who is constructing PROOFS or symbolizing SENTENCES could be BORED or unHAPPY.
1. ~∀x((PxvSx)→(Bxv~Hx))
2. ~∃x((PxvSx)&(Bxv~Hx))
3. ∃x((PxvSx)&~(Bxv~Hx))
4. ~∀x((Bxv~Hx)→(PxvSx))
None of the GRINNING DRAGONS who TORMENT the village BRUSH or FLOSS on a daily basis.
1. ∀x~((Gx&Dx&Tx)→(BxvFx))
2. ~∀x((Gx&Dx&Tx)→(BxvFx))
3. ∃x((Gx&Dx&Tx)&~(BxvFx))
4. ~∃x((Gx&Dx&Tx)&(BxvFx))
Nothing that's made of GELATIN or TINFOIL should be given to ALIENS or placed in one's NOSE.
1. ~∃x((GxvTx)&(AxvNx))
2. ~∀x((GxvTx)→(AxvNx))
3. ∃x((GxvTx)&~(AxvNx))
4. ∀x~((GxvTx)→(AxvNx))
No one who has a long TAIL, sharp FANGS and pointy HORNS should be hired to walk your DOG or care for your CHILDREN.
1. ~∀x((Tx&Fx&Hx)→(DxvCx))
2. ~∃x((Tx&Fx&Hx)&(DxvCx))
3. ∃x((Tx&Fx&Hx)&~(DxvCx))
4. ∀x~((Tx&Fx&Hx)→(DxvCx))
It's not the case that only PHILOSOPHERS and MATHEMATICIANS enjoy thinking ABSTRACTLY and playing with SYMBOLS.
1. ~∀x((Ax&Sx)→(PxvMx))
2. ~∀x((AxvSx)→(Px&Mx))
3. ~∀x((Px&Mx)→(AxvSx))
4. ~∀x((PxvMx)→(Ax&Sx))
Not all QUEENS and PRINCESSES who rule imaginary LANDS wear WIMPLES.
1. ∀x~((Qx&Px&Lx)→Wx)
2. ~∀x((Qx&Px&Lx)→Wx)
3. ~∀x(((QxvPx)&Lx)→Wx)
4. ~∃x(Qx&Px&Lx&Wx)
Not every NERD and GEEK who loses at CHESS becomes a REVOLUTIONARY or an ANARCHIST.
1. ~∀x(((NxvGx)&Cx)→(RxvAx))
2. ~∀x((Nx&Gx&Cx)→(Rx&Ax))
3. ~∀x((Nx&Gx&Cx)→(RxvAx))
4. ~∀x((Nx&Gx&Cx)→(Rx&Ax))
It's false that none of the ANCIENT MAYAN RULERS thought pyramids were COOL.
1. ~∃x(Ax&Mx&Rx&Cx)
2. ~∀x((Ax&Mx&Rx)→Cx)
3. ~∃x(~(Ax&Mx&Rx)&Cx)
4. ~~∃x(Ax&Mx&Rx&Cx)
It's not true that nothing inside our BODIES is WEIRD, CREEPY, or DISGUSTING.
1. ~~∃x(Bx&(WxvCxvDx))
2. ~∀x(Bx→(WxvCxvDx))
3. ~∃x(~Bx&(WxvCxvDx))
4. ~∃x(Bx&(WxvCxvDx))
It's false that there aren't any LARGE UGLY RODENTS at the ZOO.
1. ~∃x((Lx&Ux&Rx)→Zx)
2. ~~∃x(Lx&Ux&Rx&Zx)
3. ~∃x(~(Lx&Ux&Rx)&Zx)
4. ~∃x(Lx&Ux&Rx&Zx)