Double negation, Computer Engineering

Double Negation :

All parents are forever correcting their children for the find of double negatives,  there we have to be very alert with them in natural language like: "He didn't tell me not to do it" doesn't essentially means the same as "He did tell me to do it". So there is same true with logical sentences: that we cannot, let see example, change ¬(P ^ Q) to (¬ P ^ ¬Q) without risking the meaning of the sentence changing. Moreover, when we can alter expressions with negation there are certain cases. But there is two possibilities are given by de Morgan's law below, so we can also justify statements by removing double negation. Thus there are some cases when a proposition has two negation signs in front of it, like : ¬¬P. 

Here you may be questioning that why on earth anyone would ever write down a sentence with just like a double negation in the first place. But really, you're right. As there humans, so we wouldn't write a sentence in logic such that. Wherever, remember that our agent will be doing search utilising rewrite rules. So there it may be that as part of the search, but they introduce a double negation, through following a particular rewrite rule to the letter.

Posted Date: 1/11/2013 5:40:01 AM | Location : United States







Related Discussions:- Double negation, Assignment Help, Ask Question on Double negation, Get Answer, Expert's Help, Double negation Discussions

Write discussion on Double negation
Your posts are moderated
Related Questions
Which language  is a platform free language Java language

What is electronic cash? E-cash is cash that is demonstrated by two models. One is on-line type of e-cash that allows for the completion of all kinds of internet transactions.


1. Solve the following grouping problem using the DCA method. 2.  Use the ROC methodfor the previous problem. 3. Use the MIP method for the problem above assuming a tota

Illustrated three stages of data mining process? Stage 1: Exploration: This stage generally starts along with data preparation that may involve cleaning data, selecting subse

SWT (Standard Widget Toolkit) is a totally independent Graphical User Interface (GUI) toolkit from IBM. They formed it for the creation of Eclipse Integrated Development Environmen

Chains of Inference: Now we have to look at how to get an agent to prove a given theorem using various search strategies? Thus we have noted in previous lectures that, there i

Yes, you have to have some form of X server (unless you're running Windows, of course). It requires an X server for image processing, and for font manipulation. Though, if you wish

What is the draw back of micro programmed control? It leads to a slower operating speed because of the time it takes to fetch microinstructions from the control store.

First-Order Logic We, as humans, have always prided ourselves on our ability to think things through for this reason things are out and come to the only conclusion possible in