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
Final Implementation of Object oriented modelling Final Implementation: At this phase, the final execution of classes and  relationships developed while object design takes

Q. Illustrate Organisation of DRAM Chip? The given figure is a typical organisation of 16 mega bit DRAM. It displays a typical organisation of 2048 × 2048 × 4 bit DRAM chip. Me

Business Software   Business  information  processing  is  the  biggest  single  software  application  area. Discrete "systems" (e.g., payroll accounts receivable/payable

What is C++ reference and JAVA final? Association ends must be bound at initialization and cannot be altered. C++ references can fully enforce these semantics, and the JAVA fin

What do you call an event and when do you call an assertion? Assertion based Verification Tools, checks whether a statement holds a explained  property or not, while, Event bas

System.XML.XLinq.dll has classes to provide functionality to use LINQ with XML.

Difference between the symmetric and assymetric multiprocessing

The Communication Traffic gives a pictorial view of the communication traffic in the interconnection network with respect to the time in progress. The Communication Traffic shows t

What is a shift register? Can a shift register be used as a counter? If yes, explain how?     Ans: Shift Register: A register wherein data gets shifted towards left or right

Q. What is Associative Mapping Cache? The most fastest and flexible cache organization employs an associative memory that is displayed in Figure below. The associative memory s