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
a) Input names of students from the user, terminated by "ZZZ", 0, 0, 0 and create a data file grades with records of the following form: Student (string), test1 (integer), test2 (i

Q. Explain about Butterfly permutation? Butterfly permutation:  This kind of permutation is attained by interchanging the most significant bit in address with least significant

Define bus. When a word of data is transferred among units, all the bits are transferred in parallel over a set of lines called bus. In addition to the lines that take the data

Create a new project, LastNameFirst 05, for this assignment. You will need to define the classes depicted in the class diagram below. All of the classes should contain complete ja

Question Use the National Geophysical Data Center software tool to find the magnetic declination. The link to the web site is in Useful Links on the course Blackboard home page

There is a pebble merchant.He sells the pebbles,that are used for shining the floor.His main duty is to take length of the room''s sides. program 1 : package test.padovanstring

A device driver is software interface that manages communication with and control of a particular I/O device or type of device. It is task of device driver to convert logical reque


Explain the raster scan monitors The refresh process must also be performed for raster scan monitors. Most television monitors are raster scan display devices : one scan-line a

The 68Hc11 is actually a complex micro-controller its contains internally RAM, EEPROM, Parallel IO and serial ports, hardware timers and a 8 channel ADC.  The internal structure is