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

Write down the basic performance equation, Write down the basic performance...

Write down the basic performance equation? T=N*S/R T=processor time N=no.of instructions S=no of steps R=clock rate

Illustrate the basic structure of the von neumann machine, Illustrate the b...

Illustrate the basic structure of the von Neumann machine The following figure shows basic structure of the von Neumann machine. A von Neumann machine has only a single path be

Write the truth table for a clocked J-K flip-flop, Write the truth table fo...

Write the truth table for a clocked J-K flip-flop that is triggered by the positive-going edge of the clock signal. Ans. Logic diagram of JK flip flop Truth T

Dic, draw 4 bit binary to gray code

draw 4 bit binary to gray code

Fail-first - artificial intelligence, Fail-first - artificial intelligence:...

Fail-first - artificial intelligence: Alternatively one such dynamic ordering procedure is known like "fail-first forward checking". In fact the idea is to take advantage of i

Define variants of turing machine, Define variants of Turing Machine?  ...

Define variants of Turing Machine?  Variants are  Non deterministic turing machine.  Mutlitape turing  machine.  Enumerators

Explain the term- looking at existing paperwork, Explain the term- Looking ...

Explain the term- Looking at existing paperwork This allows analyst to see how paper files are kept and look at operating instructions and check accounts, training manuals etc

Describe the vertical frequency or cycle, Q. Describe the Vertical Frequenc...

Q. Describe the Vertical Frequency or cycle? Like a Fluorescent lamp, the screen has to repeat same image many times per second to display an image to user. The frequency of th

When should we stop testing, When should you stop testing? It is quite ...

When should you stop testing? It is quite complex to determine as many modern software applications are so complex and run in like an interdependent environment that complete t

Develop a menu driven program, Q.  Develop a Menu driven program with follo...

Q.  Develop a Menu driven program with following menu: a.  Binary to Decimal b.  Binary to Octal c.  Binary to Hexadecimal d.  Exit (Put proper validation for input

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