NMTS-Group9

From Lexical Resource Semantics

Revision as of 09:06, 26 October 2012 by Lisa (talk | contribs) (→‎Topic)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Topic

Predicate logic - logical connectives

The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with "and", "or", "if/then" and "not".

Examples

And

Symbol: ^
Sentence:

Retrieved from "https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&oldid=1286"