Propositional logic, Computer Engineering

Assignment Help:

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.


Related Discussions:- Propositional logic

Payroll pc, Purpose: Payroll processing and storage for the client database...

Purpose: Payroll processing and storage for the client database (accessed from the Reception-PCover the network),word processing (reports etc.) and spreadsheets. Software: . • W

Example of assembly program, Sample Program In this program we only dis...

Sample Program In this program we only display: Line                             Offset Numbers                          -----------------Source Code-----------------

Plot2fnhand, Write a function "plot2fnhand" that will receive 2 function ha...

Write a function "plot2fnhand" that will receive 2 function handles as input arguments, and will show in two Figure Windows plots of these functions, with the function names in the

What is wmfc, What is WMFC? WMFC if the control signals that causes the...

What is WMFC? WMFC if the control signals that causes the processor's control circuitry to wait for the arrival of the MFC signal.

Neural networks, Given a collection of DNA sequences (it can be downloaded ...

Given a collection of DNA sequences (it can be downloaded in the assignment directory), where true binding sites as positive examples have been provided. The objective of this assi

Learning weights in perceptrons, Learning Weights in Perceptrons - Artifici...

Learning Weights in Perceptrons - Artificial neural network In detail we will look at the learning method for weights in multi-layer networks next chapter. The following descri

Block diagram of a microcomputer system, Q. Block Diagram of a Microcompute...

Q. Block Diagram of a Microcomputer System? Before going on to consider the I/O sub/systems of a computer, let's discuss how a digital computer system can be realized by a micr

Operations from events, Operations from events During analysis, events...

Operations from events During analysis, events which are sent to target objects. An operation on these object are presented as labels on transitions and should not be explicit

Explain about instruction cycle, Q. Explain about Instruction Cycle? Th...

Q. Explain about Instruction Cycle? The instruction cycle for this provided machine comprises four cycles. Presume a 2-bit instruction cycle code (ICC). The ICC can represent t

What are the modes in which any update tasks work, What are the modes in wh...

What are the modes in which any update tasks work? Synchronous and Asynchronous.

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