Every picture pleased everyone

Every picture is such that (it pleased everyone)

(∀x: x is a picture) x pleased everyone

(∀x: Cx) everyone is such that (x pleased him or her)

(∀x: Cx) (∀y: y is a person) x pleased y

C: [ _ is a picture]; L: _ pleased _ ; P: [ _ is a person]

No picture pleased everyone

No picture is such that (it pleased everyone)

(∀x: x is a picture) ¬ x pleased everyone

(∀x: Cx) ¬ everyone is such that (x pleased him or her)

(∀x: Cx) ¬ (∀y: y is a person) x pleased y

C: [ _ is a picture]; L: _ pleased _ ; P: [ _ is a person]

No picture pleased anyone.

Everyone is such that (no picture pleased him or her)

(∀x: x is a person) no picture pleased x

(∀x: Px) no picture is such that (it pleased x)

(∀x: Px) (∀y: y is a picture) ¬ y pleased x

C: [ _ is a picture]; L: _ pleased _ ; P: [ _ is a person]

Notice that we are forced here to change from anyone to everyone when using subject-predicate expansion because the result of retaining anyone would be awkward at best. In general, although it is not impossible for anyone to serve as the subject of a sentence (see f below), it is best to avoid using it as the subject of sentence in expanded form.

Each provision of the law affected every sector of the economy.

Each provision of the law is such that (it affected every sector of the economy)

(∀x: x is a provision of the law) x affected every sector of the economy

(∀x: Pxl) every sector of the economy is such that (x affected it)

(∀x: Pxl) (∀y: y is a sector of the economy) x affected y

A: [ _ affected _ ]; P: _ is a provision of _ ; S: [ _ is a sector of _ ]; e: the economy; l: the law

No picture pleased anyone except photographers.

All people except photographers are such that (no picture pleased them)

[or: Everyone who is not a photographer is such that (no picture pleased him or her)]

(∀x: x is a person ∧ ¬ x is a photographer) no picture pleased x

(∀x: Px ∧ ¬ Hx) no picture is such that (it pleased x)

(∀x: Px ∧ ¬ Hx) (∀y: y is a picture) ¬ y pleased x

C: [ _ is a picture]; H: _ is a photographer; L: [ _ pleased _ ]; P: _ is a person

The phrase all people is used in the first restatement so that it agrees in number with except photographers. It has the disadvantage that no picture pleased them might be misunderstood to say that no picture pleased them all. (That would be a misunderstanding because them used in the context them all would need a subject not already containing all—something like people other than photographers—as its antecedent.) The alternative using everyone who isn’t a photographer instead of all people except photographers is designed to avoid this misunderstanding. In general, it is best to choose a singular subject when using subject-predicate expansion.

Anyone who likes all mammals likes all horses

Everyone who likes all mammals is such that (he or she likes all horses)

(∀x: x is a person ∧ x likes all mammals) x likes all horses

(∀x: Px ∧ every mammal is such that (x likes it)) every horse is such that (x likes it)

(∀x: Px ∧ (∀y: y is a mammal) x likes y) (∀z: z is a horse) x likes z

The law stimulated only sectors of the economy that were affected by all the law’s provisions

Only sectors of the economy that were affected by all the law’s provisions are such that (the law stimulated them)

(∀x: ¬ x is a sector of the economy that was affected by all the law’s provisions) ¬ the law stimulated x

(∀x: ¬ (x is a sector of the economy ∧ x was affected by all the law’s provisions)) ¬ Tlx

(∀x: ¬ (Sxe ∧ every provision of the law is such that (x was affected by it))) ¬ Tlx

(∀x: ¬ (Sxe ∧ (∀y: y is a provision of the law) x was affected by y)) ¬ Tlx

F: [ _ was affected by _ ]; P: _ is a provision of _ ; S: [ _ is a sector of _ ]; T: _ stimulated _ ; e: the economy; l: the law

No one who doesn’t like all mammals likes any badger.

Every badger is such that (no one who doesn’t like all mammals likes it)

(∀x: x is badger) no one who doesn’t like all mammals likes x

(∀x: Bx) no one who doesn’t like all mammals is such that (he or she likes x)

(∀x: Bx) (∀y: y is a person who doesn’t like all mammals) ¬ y likes x

(∀x: Bx) (∀y: y is a person ∧ y doesn’t like all mammals) ¬ Lyx

(∀x: Bx) (∀y: Py ∧ ¬ y likes all mammals) ¬ Lyx

(∀x: Bx) (∀y: Py ∧ ¬ every mammal is such that (y likes it)) ¬ Lyx

(∀x: Bx) (∀y: Py ∧ ¬ (∀z: z is a mammal) y likes z) ¬ Lyx

B: [ _ is a badger]; L: _ likes _ ; M: [ _ is a mammal]; P: _ is a person

Everyone saw everything that anyone saw.

Everyone is such that (everyone saw everything that he or she saw)

(∀x: x is a person) everyone saw everything that x saw

(∀x: Px) everyone is such that (he or she saw everything that x saw)

(∀x: Px) (∀y: y is a person) y saw everything that x saw

(∀x: Px) (∀y: Py) everything that x saw is such that (y saw it)

(∀x: Px) (∀y: Py) (∀z: z is a thing that x saw) y saw z

(∀x: Px) (∀y: Py) (∀z: x saw z) Syz

No one saw anything that anyone liked.

Everyone is such that (no one saw anything that he or she liked)

(∀x: x is a person) no one saw anything x liked

(∀x: Px) everything x liked is such that (no one saw it)

(∀x: Px) (∀y: y is a thing x liked) no one saw y

(∀x: Px) (∀y: x liked y) no one is such that (he or she saw y)

(∀x: Px) (∀y: Lxy) (∀z: z is a person) ¬ z saw y

The quantifier phrases could have been analyzed in a different order to yield an equivalent interpretation but that would have forced us to change one or both of the two anys to some.

No one who anyone could recall spoke to everyone.

Everyone is such that (no one who he or she could recall spoke to everyone)

(∀x: x is a person) no one who x could recall spoke to everyone

(∀x: Px) no one who x could recall is such that (he or she spoke to everyone)

(∀x: Px) (∀y: y is a person who x could recall) ¬ y spoke to everyone

(∀x: Px) (∀y: y is a person ∧ x could recall y) ¬ everyone is such that (y spoke to him or her)

(∀x: Px) (∀y: Py ∧ Rxy) ¬ (∀z: z is a person) y spoke to z

P: [ _ is a person]; R: _ could recall _ ; S: [ _ spoke to _ ]

No one who everyone could recall spoke to anyone

everyone is such that (no one who everyone could recall spoke to him or her)

(∀x: x is a person) no one who everyone could recall spoke to x

(∀x: Px) no one who everyone could recall is such that (he or she spoke to x)

(∀x: Px) (∀y: y is a person who everyone could recall) ¬ y spoke to x

(∀x: Px) (∀y: y is a person ∧ everyone could recall y) ¬ Syx

(∀x: Px) (∀y: Py ∧ everyone is such that (he or she could recall y)) ¬ Syx

(∀x: Px) (∀y: Py ∧ (∀z: z is a person) z could recall y) ¬ Syx

Of the pictures anyone saw, no candid ones pleased everyone in them

Everyone is such that (of the pictures he or she saw, no candid ones pleased everyone in them)

(∀x: x is a person) of the pictures x saw, no candid ones pleased everyone in them

(∀x: Px) of the pictures x saw, no candid one is such that (it pleased everyone in it)

(∀x: Px) (∀y: y is a picture x saw ∧ y is candid) ¬ y pleased everyone in y

(∀x: Px) (∀y: (y is a picture ∧ x saw y) ∧ y is candid) ¬ everyone in y is such that (y pleased him or her)

(∀x: Px) (∀y: (Cy ∧ Sxy) ∧ Dy) ¬ (∀z: z is a person in y) y pleased z

(∀x: Px) (∀y: (Cy ∧ Sxy) ∧ Dy) ¬ (∀z: z is a person ∧ z is in y) Lyz

C: [ _ is a picture]; D: _ is candid; L: [ _ pleased _ ]; P: _ is a person; S: [ _ saw y]

No law will affect only sectors of the economy that figure in all its provisions

No law is such that (it will affect only sectors of the economy that figure in all its provisions)

(∀x: x is a law) ¬ x will affect only sectors of the economy that figure in all x’s provisions)

(∀x: Lx) ¬ only sectors of the economy that figure in all x’s provisions are such that (x will affect them))

(∀x: Lx) ¬ (∀y: ¬ y is a sector of the economy that figures in all x’s provisions) ¬ x will affect y

(∀x: Lx) ¬ (∀y: ¬ (y is a sector of the economy ∧ y figures in all x’s provisions)) ¬ Axy

(∀x: Lx) ¬ (∀y: ¬ (Sye ∧ all x’s provisions are such that (y figures in them))) ¬ Axy

(∀x: Lx) ¬ (∀y: ¬ (Sye ∧ (∀z: z is a provision of x) y figures in z)) ¬ Axy

A: [ _ affects _ ]; F: _ figures in _ ; L: [ _ is a law]; P: _ is a provision of _ ; S: [ _ is a sector of _ ]; e: the economy

(∀x: x is a mosquito) (∀y: y is a person) x despises y

(∀x: x is a mosquito) every person is such that (x despises him or her)

(∀x: x is a mosquito) x despises every person

Every mosquito is such that (it despises every person)

Every mosquito despises every person or: Every mosquito despises all people

(∀x: x is a person) ¬ (∀y: y is a mosquito) x despises y

(∀x: x is a person) ¬ every mosquito is such that (x despises it)

(∀x: x is a person) ¬ x despises every mosquito

No one is such that (he or she despises every mosquito)

No one despises every mosquito

(∀x: x is a mosquito) (∀y: y is a person) ¬ y despises x

(∀x: x is a mosquito) no person is such that (he or she despises x)

(∀x: x is a mosquito) no one despises x

Every mosquito is such that (no one despises it)

No one despises any mosquito or: No one despises a mosquito

(∀x: x is a person) (∀y: y is a mosquito ∧ y has bitten x) ¬ x despises y

(∀x: x is a person) (∀y: y is a mosquito that has bitten x) ¬ x despises y

(∀x: x is a person) no mosquito that has bitten x is such that (x despises it)

(∀x: x is a person) x despises no mosquito that has bitten x

Every person is such that (he or she despises no mosquito that has bitten him or her)

A person despises no mosquito that has bitten him or her

The sentence No one despises any mosquito that has bitten him or her is equivalent, and more natural, but its closest analysis would take a slightly different form.

(∀x: x is a person ∧ (∀y: y is a mosquito) x despises y) (∀z: z is a mosquito) ¬ z has bitten x

(∀x: x is a person ∧ every mosquito is such that (x despises it)) no mosquito is such that (it has bitten x)

(∀x: x is a person ∧ x despises every mosquito) no mosquito has bitten x

(∀x: x is a person who despises every mosquito) no mosquito has bitten x

Every person who despises every mosquito is such that (no mosquito has bitten him or her)

No mosquito has bitten anyone who despises every mosquito or: No mosquito has bitten anyone who despises mosquitoes

∀x (∀y: x is smaller than y) ¬ y is smaller than x

∀x nothing that x is smaller than is such that (it is smaller than x)

∀x nothing that x is smaller than is smaller than x

Everything is such that (nothing that it is smaller than is smaller than it)

Nothing that anything is smaller than is smaller than it