Solution to QUESTION 4 Below are a number of expressions. State which are terms, some are atomic … - Sikademy
Author Image

Archangel Macsika

QUESTION 4 Below are a number of expressions. State which are terms, some are atomic wffs (well-formed formulae) and some are neither. a) Tet(y) b) Logician(john) c) father_of(quinn) d) 2 + y = z2 e) Angry(x; y;2:00)

The Answer to the Question
is below this banner.

Can't find a solution anywhere?

NEED A FAST ANSWER TO ANY QUESTION OR ASSIGNMENT?

Get the Answers Now!

You will get a detailed answer to your question or assignment in the shortest time possible.

Here's the Solution to this Question

An atomic formula or atom is simply a predicate applied to a tuple of terms; that is, an atomic formula is a formula of the form P (t1 ,…, tn) for P a predicate, and the tn terms.

A term is either a single number or variable, or numbers and variables multiplied together.

a) Tet(y) - term,

b) Logician(john) - term,

c) father_of(quinn) - term,

d) 2 + y = z2 - the expression of terms,

e) Angry(x; y;2:00) - atomic wff.


Related Answers

Was this answer helpful?

Join our Community to stay in the know

Get updates for similar and other helpful Answers

Question ID: mtid-5-stid-8-sqid-4015-qpid-2714