Propositional logic, Computer Engineering

Propositional Logic:

This is a fairly restrictive logic, that allows us to be write sentences about ¬propositions - statements about the world - that can either be true or false. The symbols use in this logic are (i) capital letters like as P, Q and R which represent propositions such as: "It is raining" and "I am wet", (ii)connectives which are: and (^),or (?),implies (→)and not (¬).(iii) brackets and (iv) T that stands for the proposition "true", and F that stands for the proposition "false". The syntax of this logic are the rules specifying where that in a sentence the connectives can go, for example must be go among of two propositions, or between a bracketed conjunction of propositions, etc.

The semantics of this logic are rules just about how to consign truth values to a sentence if we know whether we have to mentioned the propositions in the sentence are may be true or not. For this instance, one rule is which the sentence P^Q is true only in the situation whether both P and Q are true. The rules also dictate how to need brackets. As a most easy example, we can represent the knowledge in

English which is "I always get wet and annoyed when it rains" as:

It is raining → I am wet ^ I am annoyed.

However, if at some stage if we just program our agent with the semantics of propositional logic, then we tell it that it's raining; it can infer which I will get wet and annoyed.

Posted Date: 1/10/2013 4:41:21 AM | Location : United States







Related Discussions:- Propositional logic, Assignment Help, Ask Question on Propositional logic, Get Answer, Expert's Help, Propositional logic Discussions

Write discussion on Propositional logic
Your posts are moderated
Related Questions

The scope of the experts system is very limited. It cannot work outside the field it is being used. The users knowledge is required to adjust to new situation. To reduce

Optical storage - computer architecture: Optical storage, the distinctive Optical disc, stores information in deformities on the surface of a circular disc and reads this info

Explain about Magnetic tape      a) They are mostly used for keeping files of data  b )It is one of the cheapest and slowest methods for storage

What are the critical capabilities for superior firm performance in e-commerce? Three firm capabilities which are critical for superior firm performance within e-commerce are:

The only way to respond effectively to a design project is to first understand the topic well yourself. To do this you need to research the topic and ask yourself a series of quest

Before we take a detailed look about software languages, let us consider the role of computers in engineering. Computers are commonly used in the areas of 'Computer Aided Design /

Q. Explain about Diodes? A single pn-junction with appropriate contacts for connecting the junction to external circuits is called a semiconductor pn-junction diode. The fundam

Common Functions of Interrupts: An Interrupt transfers control to the interrupt service routine, generally through the interrupt vector table, which contains the addresses