NMTS-Group9: Difference between revisions
Jump to navigation
Jump to search
(Created page with "= Topic = Predicate logic - logical connectives The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connect...") |
(→Topic) |
||
Line 1: | Line 1: | ||
= Topic = | = Topic = | ||
Predicate logic - logical connectives | |||
'''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". | 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". |
Revision as of 09:06, 26 October 2012
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: