Connectives in first-order logic sentences, Computer Engineering

Connectives in first-order logic sentences - Artificial intelligence

We may string predicates together into a sentence in the same way by utilising connectives that we did for propositional logic. We call a set of predicates strung together in the definite way a sentence. Notice that a particular predicate may be thought of as a sentence.

There are 5 connectives in first order logic. Firstly, we have "and", which we write ∧, and "or", which we write ∨. In the obvious ways these connect predicates together. So that if we wanted to say that "Simon lectures Artificial Intelligence and Simon lectures bioinformatics", we could write down:

lectures_ai(simon) ∧ lectures_bioinformatics(simon)

Notice also that now we are talking regarding different lectures, it must be a good idea to change our option of predicates, and make ai and bioinformatics constants:

lectures(simon, ai) ∧ lectures(simon, bioinformatics)

The other connectives existing to us in first-order logic are (a) "not", written that negates the truth of a predicate (b) "implies", written which may be used to say that 1 sentence being true follows from another sentence being true, and (c) "if and only if" (also known as "equivalence"), written ->, which may be used to state that the truth of 1 sentence is always the same as the truth of another sentence.

For example, if we want to say that "if Simon isn't lecturing Artificial Intelligence, then Bob might be lecturing AI", we could write it thus:

 ¬ lectures(simon, ai) -> lectures(bob, ai)

The things that predicates regard are terms: these may be variables, constants or the output from functions.

Posted Date: 10/2/2012 4:03:23 AM | Location : United States

Related Discussions:- Connectives in first-order logic sentences, Assignment Help, Ask Question on Connectives in first-order logic sentences, Get Answer, Expert's Help, Connectives in first-order logic sentences Discussions

Write discussion on Connectives in first-order logic sentences
Your posts are moderated
Related Questions
Q. Define Organizing? Grouping of related activities together, Identification of required activities and forming departments and coordinating various departments with the estab

Describe the advantage of using Booth algorithm? Ans:  a) It achieves efficiency in the number of additions needed when the multiplier has a few large blocks of 1's. b) It

Porcess of Identifying Input and Output Values First, recognize what data is going to be used as input to system, and what will be output from system. Input and output values

What are SIMM and DIMM? SIMM are Single In-Line Memory Module. DIMM is Dual In-Line Memory Modules. Such modules are an assembly of various memory chips on a separate small boa

A set of techniques that allow executing a program which is not entirely in memory is called ? Ans. virtual memory which allows executing a program that is not entirely in me

Q. Illustrate the Execute Cycle? The fetch and indirect cycles include a small, fixed sequence of micro-operations. Every one of these cycles has fixed sequence of micro-operat

Yes, it can be used, if an accurate clock frequency is not needed. Also, the component cost is low contrast to LC or Crystal.

The statement of Gustafson's law can be described with the help of an illustration. Let us take a problem, say P, which has to be solved using a parallel computer. Let Ts be the ti

Q. Write a menu driven program to find 9's and 10's complement of a decimal number using file. Perform necessary validation with proper message that entered numbers must be de