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

Explain functions introduction, Common used functions are placed within lib...

Common used functions are placed within libraries in the SQABasic directory. Files ending with ".SBH" have the public interface they give to other libraries and scripts. Files endi

Explain simplifying the sop boolean expression using k-map, Explain Simplif...

Explain Simplifying the SOP f the Boolean expression using the K-Map? To simplify the SOP of the Boolean expression using the K map, first identify all the input combinations tha

Simplify following using k-map, Q. Explain XNOR gate with three input varia...

Q. Explain XNOR gate with three input variable and draw necessary circuits. Q. Simplify FOLLOWING Using K-Map 1. m0 + m1 + m6 + m7 + m12 + m13 + m8 + m9 2. m0 + m2 + m4 +

Analysis the pc configuration, 1) Identify the software needs of each PC an...

1) Identify the software needs of each PC and whether or not anything needs to change. a. State the changes that you would make (and why) b. If no "change" needs to be made b

Explain what are user controls, Briefly explain what user controls are and ...

Briefly explain what user controls are and what server controls are and the differences between the two.   An ASP.NET control (sometimes known as a server control) is a server-

File structures, Write in brief about UNIX process structure.

Write in brief about UNIX process structure.

Best method between linear and matrix addressing modes, Which of the best m...

Which of the best method between linear addressing and matrix addressing modes ? Ans: Best Method: Matrix Addressing is the suitable method, since this configuration on

What a header script can specify in cgi, A header in CGI script can specify...

A header in CGI script can specify? A header into CGI script can give format of document and New location of perticular the document.

Fuzzy logic - artificial intelligence, Fuzzy Logic - artificial intelligenc...

Fuzzy Logic - artificial intelligence: In the above logic, we have been concerned with truth whether propositions and sentences are true. But, with some natural language statem

What is disadvantage of distributed systems, What is disadvantage of Dis...

What is disadvantage of Distributed systems? Ans. Reliability is disadvantage of Distributed system.

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