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

What is redefines clause, Redefines clause is used to permit the similar st...

Redefines clause is used to permit the similar storage allocation to be referenced by dissimilar data names.

Applications of electronic data interchange in business, What are the appli...

What are the applications of Electronic Data Interchange in business? The applications of Electronic Data Interchange are as given below: 1. Organisations that use EDI 2

Sigmoid units, Sigmoid units: Always remember that the function inside...

Sigmoid units: Always remember that the function inside units take as input the weighted sum, S and of the values coming from the units connected to it. However the function i

Explain about system deadlock, Q. Explain about System Deadlock? A dead...

Q. Explain about System Deadlock? A deadlock denotes to the condition when simultaneous processes are holding resources and putting off each other from finishing their executio

Octave project, i need help with an octave program

i need help with an octave program

What is the necessity of interfacing in digital ic, What is the necessity o...

What is the necessity of Interfacing in digital ICs and what are the points to be kept in view, while interfacing between TTL gate and CMOS gate? Ans: To realize the optimum

Give the example of first come first served scheduling, Consider  the  foll...

Consider  the  following set of jobs with  their  arrival  times,  execution  time  (in minutes), and deadlines. Job Ids Ar r ival Time E

Describe the structure of a neuron - artificial intelligence, 1. Figure 1 b...

1. Figure 1 below shows the truth table for five different functions. Each truth table shows the inputs x1, x2 and the desired output d. (a) Write down which of these functions

what is code for adding two integers in java?, import java.util.Scanner;  ...

import java.util.Scanner;   class AddNumbers {    public static void main(String args[])    {       int x, y, z;       System.out.println("Enter two integers to calculate their sum

What is a accepting computation history, What is a accepting computation hi...

What is a accepting computation history?  An accepting computation history is explained as , Let M be a Turing machine and w be a input string,  for M on w is a sequence of con

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