Associativity of connectives - equivalences rules, Computer Engineering

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.

Posted Date: 1/11/2013 5:36:56 AM | Location : United States







Related Discussions:- Associativity of connectives - equivalences rules, Assignment Help, Ask Question on Associativity of connectives - equivalences rules, Get Answer, Expert's Help, Associativity of connectives - equivalences rules Discussions

Write discussion on Associativity of connectives - equivalences rules
Your posts are moderated
Related Questions
Q. What is Ordered directive? This directive is used in combination with for and parallel for directives to cause an iteration to be executed in order that it would have been h

Q. Sorting Circuit along with Odd-Even Merging Circuit? The merge sort algorithm needs two circuits which imply that one circuit for merging and another circuit for sorting the

Why cyclomatic complexity is important? Cyclomatic complexity is computed using a graph that verifies the control flow of the program. The nodes of the graph correspond to the

What do you understand by Electronic Funds Transfer?  Electronic Funds Transfer: It's an electronic payment method that transfers the money value from one bank account to

A router is used to Distributes information among networks.

The difference among the next and continue verb is that in the continue verb it is used for a situation where there is no EOF condition that is the records are to be accessed again

MsgBox is a built in VB function which shows a Message Box and MsgBoxQ is a function definite by the user.

8:1 Mux for a given function, f=S (0, 1,5,7,9, 13)..

what are the feasibility study of online result management system?

What are the different pieces of the virtual address in a segmented paging? The various pieces of virtual address in a segmented paging are as demonstrated below: