Page 135 - Intelligent Communication Systems

I I 4 INTELLIGENT COMMUNICATION SYSTEMS
Example 2:

This expression is a contradiction and is unsatisfactory.
Example 3:

The expression is satisfactory.

10.4 PREDICATE LOGIC

Prepositional logic deals with a statement in a logical function, whereas predicate
logic uses semantics and an internal structure of a sentence. For example, given
the two propositions, "A human dies" and 'Ted is a human," we can infer "Ted
dies." With prepositional logic this problem is solved as follows: If "A human
dies" is represented as p, "Ted is a human" is represented as q, and "Ted dies" is
represented as r, then (p A q) —» r should have the value T. This interpretation is