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
What is Page-Stealer process? This is the Kernel process that makes rooms for the incoming pages, by swapping the memory pages that are not the part of the working set of a pro

Benefits of object oriented Modelling There are many benefits and advantages of object oriented modelling. Emphasis on quality and reuse are the major highlights of OOM. OOM p

What is USB USB (UNIVERSAL SERIAL BUS) is intended to connect peripheral devices like mouse, keyboards, modems and sound cards to microprocessor through a serial data path and

The Communication Traffic gives a pictorial view of the communication traffic in the interconnection network with respect to the time in progress. The Communication Traffic shows t

Role of Internet, Intranet and extranet in e-business The following information activities are carried out in many business: 1.  Selling of raw materials 2.  Advertising o

Why address bus is unidirectional and data bus is bidirectional? Ans) Because there is no require address transaction among processor and peripheral device but data bus is req

Whenever a developer is signing into the code project you will have three options they are disable the macro, enable the macro and explicitly trusting the publisher. You can trust

What are the requirements for a swapper to work? The swapper works on the highest scheduling priority. Firstly it will look for any sleeping method, if not found then it will

Direct inward dialling is used as a feature in? Direct inward dialling is utilized as a feature in EPABX.

Human intelligence in culture: Understand human intelligence in culture  "AI" can be seen as just the latest tool in the philosopher's toolbox for answering questions about