Yioop - PHP Search Engine

Practice Final#2 .

((resource:Screen Shot 2015-05-13 at 2.58.06 PM.png|Resource Description for Screen Shot 2015-05-13 at 2.58.06 PM.png))

-- Practice Final#2

Yukai, Kaya, Shunt

-- Practice Final#2

Hi. Can you please explain a little more what the predicate symbols are? what is "b/c." Also, why is there a blue square around 2 parts of the equation at the top?

Thanks

Hi. Can you please explain a little more what the predicate symbols are? what is "b/c." Also, why is there a blue square around 2 parts of the equation at the top? Thanks

-- Practice Final#2

The boxed items above are atomic formulas. The equals symbol is the only predicate symbol. b/c is because. A k-ary predicate symbol will be interpreted in a model as a mapping from k tuples of elements of the universe of discourse into true or false.

(Edited: 2015-05-17)

The boxed items above are atomic formulas. The equals symbol is the only predicate symbol. b/c is because. A k-ary predicate symbol will be interpreted in a model as a mapping from k tuples of elements of the universe of discourse into true or false.