Associativity of connectives - artificial intelligence, Computer Engineering

Assignment Help:

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)

 


Related Discussions:- Associativity of connectives - artificial intelligence

Give the solutions for critical section problem, Give the solutions for cri...

Give the solutions for critical section problem? A solution to the critical section problem must specify the subsequent requirements. (a) Mutual exclusion (b) Progress (c)

How to creating a key pair, How to Creating a Key Pair You can make a...

How to Creating a Key Pair You can make a key pair using the Strong Name tool (Sn.exe). Key pair files usually have an .snk extension. To create a key pair at the command

Describe about remote-load latency problem, Q. Describe about Remote-load L...

Q. Describe about Remote-load Latency Problem? When one processor requires some remote loading of data from other nodes then processor has to wait for these two remote load ope

How do you traverse a btree in backward in-order, Put the node in the right...

Put the node in the right subtree Then, Put the root  Put the node in the left subtree

How to make a datapool, When producing a datapool, you state the kinds of d...

When producing a datapool, you state the kinds of data (called data types) that the script will send for example, customer names, addresses, and unique order numbers or product nam

How e-commerce works for the customer, The customers visit the website and ...

The customers visit the website and browse through the products, looking at pictures and products details. When the customer finds his desired product, he usually adds it to his ca

Register transfer - computer architecture, Register transfer - computer arc...

Register transfer - computer architecture: Register transfer: The output and input gates for register Ri are controlled by the signals Riout and Riin respectively.

What is a microinstruction, What is a microinstruction? Each word in co...

What is a microinstruction? Each word in control memory having within it a microinstruction.  The microinstruction specifies one or more micro-operations for the system.  A seq

How do you find out if a linked-list has an end, By 2 pointers you can find...

By 2 pointers you can find it. One of them goes 2 nodes each time. The second one goes at 1 node each time. If there is a cycle, the one that goes 2 nodes every time will eventuall

Illustrate about the word processors with its design, Illustrate about the ...

Illustrate about the Word processors with its design Word processors now have many aspects over and above the original task of generating a typed document. This section would

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd