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

Layers of distributed system architecture, Q. Layers of Distributed System ...

Q. Layers of Distributed System architecture? Layers of Distributed System architecture are: Presentation Layer is actual user interface. This layer receives input and

Pre-os and runtime sub-os functionality, In a raw Itanium, a "Processor Abs...

In a raw Itanium, a "Processor Abstraction Layer" (PAL) is integrated into the system. When it is booted the PAL is loaded into the CPU and gives a low-level interface that abstrac

What is efi framework, The Extensible Firmware Interface (EFI) is a specifi...

The Extensible Firmware Interface (EFI) is a specification that defines a software interface among an operating system and platform firmware. EFI is intended as a significantly imp

Explain the term- wire and register, What is the difference between wire an...

What is the difference between wire and reg? Net types: (wire,tri)Physical connection between structural elements. Value assigned by a continuous assignment or a gate output.

Explain difference between dynamic and static binding, Explain difference b...

Explain difference between Dynamic and static binding. Dynamic and static binding: Dynamic binding is a binding performed after the execution of a program has immediately beg

Determine the simplified sop boolean expression, The Karnaugh map for a SOP...

The Karnaugh map for a SOP function is given below in figure. Determine the simplified SOP Boolean expression. Ans. F= B'C' + A'C'D + B'D'

Using the memory map design an absolute decoding circuit, Using the memory ...

Using the memory map below; design an absolute decoding circuit.   The technique is to spot the differences between the start and stop of each device. The Ram chip has the follow

Explain types of assembly programs, Q. Explain types of assembly programs? ...

Q. Explain types of assembly programs? Assembly language programs can be written in two manners: COM Program: Having all segments as part of one segment EXE Program: that hav

Layered architecture.., advantages and disadvantages of layered architectur...

advantages and disadvantages of layered architecture in computer network.

What are the input devices, What are the Input devices Various devices ...

What are the Input devices Various devices are available for data input on graphics workstations. Most systems have a keyboard and one or more additional devices specially desi

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