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 desirable features of an electronic market place, What are the des...

What are the desirable features of an Electronic Market Place? Features of an Electronic Market Place: 1. Its electronic and business center is not a physical building qu

When recursion functions are declared inline, Describe what happens when re...

Describe what happens when recursion functions are declared inline? Ans) Inline functions property says whenever it will call; it will copy the whole definition of that functi

What is blocking probability, What is blocking probability? Blocking ...

What is blocking probability? Blocking Probability: The blocking probability P is described as the probability like all the servers in system are busy. If all the servers ar

What is refactoring, What is refactoring? Refactoring is explained as t...

What is refactoring? Refactoring is explained as the changes to the internal structure of software to improve its design without changing its external functionality. It is an e

How a file can be shared among different users, Discuss the different techn...

Discuss the different techniques with which a file can be shared among different users. Several popular techniques with that a file can be shared among various users are: 1

Programming with parallel virtual machine, Q. Programming with parallel vir...

Q. Programming with parallel virtual machine? The general method for writing a program with PVM is like this:  A user writes one or more sequential programs in C++, C or FOR

Mac is the abbreviation for which type of control, MAC is the abbreviation ...

MAC is the abbreviation for: (A) Multimedia access control (B) Media access control (C) Mobile access control       (D) Master access point control Ans: MAC is th

Determine the objectives of object oriented analysis, Objectives of object ...

Objectives of object oriented analysis After going through this unit, you should be able to: define the concepts of the objects in the system; express desired syste

Difference between char a[] = "string", What is the difference between char...

What is the difference between char a[] = "string"; and char *p = "string";? Ans) In the first case 6 bytes are assigned to the variable a which is fixed, where as in the secon

Illustrate design of combinational circuits, The digital circuits that we u...

The digital circuits that we use now-a-days are constructed with NOR or NAND gates in place of AND-OR-NOT gates. NOR & NAND gates are known as Universal Gates as we can realize any

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