Associativity of connectives - artificial intelligence, Computer Engineering

Associativity of Connectives:

In order to tell us brackets are useful when to perform calculations in arithmetic and when to evaluate the truth of sentences in logic. Imagine we want to add 10, 7 and 5. We could do this: (10 + 7) + 5 = 22. Alternatively, we could do this: 10 + (7 + 5) = 22. We, in this case, can alter the bracketing and the answer still comes out the same. We say that addition is associative because it fulfills this property with respect to bracketing.

The ∧ and  connectives are associative. This can be true, because the order in which we examine truth values does not matter when we are working with sentences only involving or only involving . For example, assume we wanted to know the truth of P ∧ (Q ∧ R). To do this, we just have to examine that every proposition is true, in which case the complete sentence will be true, or else the entire sentence will be false. Due to this reason, it does not matter how the brackets are arranged, and hence the ∧ is associative.

Similarly, assume we wanted to work out the truth of:

(P  Q)  (R (X Z))

Then all we have to do is examine whether 1 of these propositions is true, and the bracketing is beside the point. As equivalences, the 2 associativity results are then:

(P ∧ Q) ∧ R = P ∧ (Q ∧ R)

(P ∨ Q) ∨ R = P ∨ (Q ∨ R)

 

Posted Date: 10/2/2012 7:54:55 AM | Location : United States







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

Write discussion on Associativity of connectives - artificial intelligence
Your posts are moderated
Related Questions
Post interrupts - computer architecture: Post interrupts Exact interrupts examine interrupt bit on entering WB Longer latency Handle immediately

Determine the analog output voltage of 6-bit DAC (R-2R ladder network) with Vref as 5V when the digital input is 011100. Ans. The analog output for 6-bit R-2R DAC ladder network

Computer Organization 1. Draw a flowchart of a Booth's multiplication algorithm and explain it. 2. What is the concept of memory interleaving? 3. Explain virtual memory? Expla

Question: (a) Explain the five different types of element content defined by DTDs. (b) Compare XML schema's against DTDs. (c) Consider the following two element decla

Q. What is Random Access Memory? We will discuss RAM as an example of sequential circuit. A memory unit is a collection of storage cells or flip flops along with associated cir

Discuss the WAP stack in brief. The protocol stacks part implemented by WAP Stack for the WAP development and research platform. The protocol stack will be exploited into many

Task: Sets and bags In mathematics, the notion of multiset (or bag) is a generalisation of the notion of set. A bag is a special kind of container in which the items may be

A full adder logic circuit will have ? Ans. The full adder logic circuit also accounts the carry i/p generated in the earlier stage and it will add two bits. Hence three inputs

Explain Sequential sharing. Sequential sharing: In this technique of sharing, a file can be shared through only one program at a time, it is file accesses by P1 and P2 are

Take the following recurrence relation consider only for n = 2k for integers k ≥ 1: T(2) = 9, and for n ≥ 4, T(n) = n + T(n /2). Three students were working together in a stu