Complete the definitions of the quantifiers below. (2) has been filled in as an example. (2)...

 

Transcribed Image Text:

Complete the definitions of the quantifiers below. (2) has been filled in as an example. (2) [More-than-six x: F(x)] G(x) is true iff |FG|> 6 (As in More than six seals barked. In each of the example sentences below the definitions, F would be {x: SEAL(x)}, and G would be {y: BARK (y)}.) 41 [All-but-four x: F(x)] G(x) is true iff (As in All but four seals barked.) 42 [Half x: F(x)] G(x) is true iff (As in Half of the seals barked.) 43 [Only x: F(x)] G(x) is true iff (As in Only seals barked.) Complete the definitions of the quantifiers below. (2) has been filled in as an example. (2) [More-than-six x: F(x)] G(x) is true iff |FG|> 6 (As in More than six seals barked. In each of the example sentences below the definitions, F would be {x: SEAL(x)}, and G would be {y: BARK (y)}.) 41 [All-but-four x: F(x)] G(x) is true iff (As in All but four seals barked.) 42 [Half x: F(x)] G(x) is true iff (As in Half of the seals barked.) 43 [Only x: F(x)] G(x) is true iff (As in Only seals barked.)