Which of the following statements are true?
In all answers are function symbols of arity 1, 2, and 3 respectively, is a constant symbol, and are variable symbols.

Question

Which of the following statements are true? 
 In all answers    are function symbols of arity 1, 2, and 3 respectively,    is a constant symbol, and    are variable symbols.

Answer

The term    has 4 different subterms.

Answer

There exists a substitution    such that

Answer

The only subterm of a ground term    is    itself.

Answer

is a ground term.

Answer

is more general than

Answer

Crowdly

Which of the following statements are true? In all answers are function sym...

Want instant access to all verified answers on moodle.jku.at?