Suppose you have a unary function someFunction(X) and a unary predicate somePredicate(Y) . Which of the following statements provides sufficient additional information to allow the nested expression someFunction(somePredicate(Y)) to be legal?

Question

Suppose you have a unary function  someFunction(X)  and a unary predicate  somePredicate(Y) . Which of the following statements provides sufficient additional information to allow the nested expression  someFunction(somePredicate(Y))  to be legal?

Answer

The codomain of  someFunction  must be {True, False}

Answer

The domain of  someFunction  must be {True, False}

Answer

The domain of  somePredicate  must be {True, False}

Answer

The codomain of  somePredicate  must be {True, False}

Crowdly

Suppose you have a unary function someFunction(X) and a unary predicate someP...

Want instant access to all verified answers on learning.monash.edu?