Ed looked at every car and truck | but didn’t buy any vehicle |
Ed looked at every car and truck | ∧ Ed didn’t buy any vehicle |
every car and truck is such that (Ed looked at it) | ∧ every vehicle is such that (Ed didn’t buy it) |
(∀x: x is a car or truck) Ed looked at x | ∧ (∀y: y is a vehicle) Ed didn’t buy y |
(∀x: x is a car ∨ x is a truck) Ed looked at x | ∧ (∀y: y is a vehicle) ¬ Ed bought y |
(∀x: Cx ∨ Tx) Lex | ∧ (∀y: Vy) ¬ Bey |