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
design a sequential circuit that continuously computes the function 2X + 3 or 3X + 1 where the variable X is a three-bit unsigned integer available on a serial interface. A special

Define Mapping and List  mapping procedure? The transformation of data from main memory to cache memory is known as an Mapping. Associative mapping Direct mapping

Q. Operation codes used in assembly instructions? Now let's describe various operation codes needed for this machine so that we can translate High level language instructions t

Syntax of $display and $strobe -  $display ("format_string", par_1, par_2, ... ); -  $strobe ("format_string", par_1, par_2, ... ); -  $monitor ("format_string", par_1, p

The conversation speed of an analog to digital converter is maximum with which technique? Ans. With parallel comparator AD converter technique the conversation speed of an ana

The following are just a few return types of a controller action process. In common an action process can return an instance of an any class that derives from Action Result class.

create a stored procedure to debit a bank account user must enter account no. and amount to debited from account .the minimum balance in account should be 500. if the debited amoun

Q. Compute Physical address of data byte? Offset of data byte = 0020h Value of data segment register (DS) = 3000h Physical address of data byte   This computation

Describe the three mapping techniques used in cache memories with suitable Example. The cache memory is a fast memory that is inserted among the larger slower main memory and t

If  the input to T-flipflop is 100 Hz signal, the final output of the three T-flipflops in cascade is ? Ans. The  final  output  of  the  three  T-flip-flops in cascade is 12.5 H