Associativity of connectives - equivalences rules, Computer Engineering

Assignment Help:

Associativity of Connectives :

Here brackets are very important in order to tell us where to perform calculations in arithmetic and logic. By using these brackets we evaluate the truth of sentences in logic. By assuming , we want to add 10, 5 and 7. So now we could do this: (10 + 5) + 7 = 22. Otherwise we could do this: 10 + (5 + 7) = 22. So in such case, we can alter the bracketing and then the answer still comes out the same. It good complement to say that addition is associative it means that it has this property with respect to bracketing. 

The ^ and ? connectives are as associative. Because this makes sense, and the order in that we check truth values doesn't matter where we are working with sentences only involving  ?  or ^only involving  . For case in point expect that we wanted to know the truth of P ^  (Q ^  R). Rather than any other action, we just find to check that every proposition is true, such case the whole sentence will be true, or else the whole sentence will be false. There is no matter how the brackets are arranged, and hence the ^ is associative.


Related Discussions:- Associativity of connectives - equivalences rules

What are advantages and drawbacks of flip-flop, What are advantages and dra...

What are advantages and drawbacks of flip-flop? Usually area of a Flip-flop for features in more than a latch. Power consumption is normally higher, because of the area and

Why use a DTD (Document Type Definition), Why use a DTD ( Document Type Def...

Why use a DTD ( Document Type Definition )? XML gives an application independent method of sharing data. Along with a DTD, independent group of people can agree to employ a com

Which techniques are utilized to gain on the number pairs, Which techniques...

Which techniques are utilized to gain on the number pairs and also explain how it helps in connecting number of subscribers. In rural areas, subscribers are usually dispersed.

What is linear addressing mode, What is Linear Addressing Mode. Ans. L...

What is Linear Addressing Mode. Ans. Linear Addressing: Addressing is the procedure of selecting one of the cells in a memory to be written in or to be read from. So as to fa

Functions for message passing, Functions for Message Passing: MPI proc...

Functions for Message Passing: MPI processes don't share memory space and one process can't directly access other process's variables. Therefore they need some form of communi

Determine the fastest logic, Which of the fastest logic: TTL, ECL, CMOS and...

Which of the fastest logic: TTL, ECL, CMOS and LSI ? Ans. The fastest logic family of all logic families ECL. High  speeds  are  possible  in  ECL  since the  transistors  a

Why we need web browser, Q. why we need Web Browser? A Web browser is s...

Q. why we need Web Browser? A Web browser is software program which allows you to easily display Web pages and navigate the Web. The first graphical browser, Mosaic, was develo

Atom-collider, Many physicists believe that the universe is governed by a s...

Many physicists believe that the universe is governed by a single system. A system which is capable of describing the behaviour of the very large (stars and planets) and the very s

Define locality of reference, Define locality of reference? What are its ty...

Define locality of reference? What are its types?  During the course of implementation of a program memory references by the processor for both the instruction and the data ten

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