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
Name the concepts of Object oriented There are various concepts of object oriented analysis Abstraction, Encapsulation, Identity, Modularity, Hierarchy, Typin

Q. Program size for different Instruction Set Approaches? Assumptions: Complex Instruction is: Add C, A, B having 16 bit addresses and 8 bit data operands All opera

describe briefly about the c token with suitable example program

Define Encapsulation- object-oriented technology Encapsulation also called as information hiding, is the characteristic of separating the external aspects of an object, from t

State the relation among Regular Expression, Transition Diagram and Finite State Machines. By using a simple instance establish your claim.   Answer: For each regular language,

First-Order Inference Rules -artificial intelligence: Now we have a perfect definition of a first-order model is,in the same way, we may define soundness for first-order infere

What are the advantages of Hierarchical Networks? Hierarchical networks are able of handling heavy traffic where needed, and at similar time use minimal number of trunk groups

Q. Observations of High Level Language Program? Observations Integer constants appeared nearly as frequently as structures or arrays. Most of the scalars were foun

Now that the user's command has been parsed into an array of char*, we can pass this to the OS to execute the command. To execute the command, use the execvp() function from unis

A student counted up the number of statements implemented in a program developed for sorting n integers and came up with a recurrence of the form: T(n) = a * n + b + 2T(n/2), an