Commutatively of connectives - artificial intelligence, Computer Engineering

Commutatively of Connectives

You will be aware from the fact that some arithmetic operators have a property that it does not matter which way around you give the operator input. We call this property commutatively. For instance, when adding 2 numbers, it does not matter which one comes first, because a+b = b+a forall b and a. The similar is true for multiplication but not true for divisionand subtraction.

The ∧,∨ and <-> connectives (which operate on two sub sentences), also have the commutatively property. We can express this with 3 tautologies:

P ∧ Q ≡ Q∧ P

P ∨ Q ≡ Q ∨P

P <-> Q = Q <-> P

So, if it helps to do so, whenever we see P ∧ Q, we may rewrite it as Q ∧ P, and similarly for the other 2 commutative connectives.

Posted Date: 10/2/2012 7:47:06 AM | Location : United States







Related Discussions:- Commutatively of connectives - artificial intelligence, Assignment Help, Ask Question on Commutatively of connectives - artificial intelligence, Get Answer, Expert's Help, Commutatively of connectives - artificial intelligence Discussions

Write discussion on Commutatively of connectives - artificial intelligence
Your posts are moderated
Related Questions
How music is produced and generated - CAD Computer software and hardware advances have changed how music is produced and generated. Some of the primary reasons for this have

Solve the problem in page 346 of the paper on cell formation by Boctor using the MIP method.  Use 4 cells and no more than 3 machines per cell. Solve the problem using the MIP m

what is parsin? Source programmed statements are observed as tokens, recognizing, building block of language the task of scanning the source statement and classifying the diff

The linkage section is used to pass data from one program to one more program or to pass data from a PROC to a program.

What is reentrant tasks and functions Tasks and functions without optional keyword automatic are static , with all declared items being statically allocated. These items will b

The Orbix Connect resource adapter is packaged as a standard J2EE Connector Architecture resource adapter archive (RAR) file, corbaconn.rar. The corbaconn.rar file having all the c

What is a Priority Interrupt? A priority interrupt is an interrupt that establishes a priority over the various sources to determine which condition is to be serviced first whe

If you are using C language to implement the heterogeneous linked list, what pointer type will you use? The heterogeneous linked list having different data types in its nodes a

A script kept information on potential subjects for an experiment in a vector of structures known as "subjects".  The following show an example of what the contents may be: >> subj

SCSI Bus:   Defined by ANSI - X3.131   50, 68 or 80 pins   Max. transfer rate - 160 MB/s, 320 MB/s. SCSI Bus Signals   Small Computer System Interface