Ask Computer Engineering Expert

Truth Tables - artificial intelligence:

In propositional logic, where we are limited to expressing sentences where propositions are true or false - we can check whether a specific statement is true or false by working out the truth of ever larger sub statements using the truth of the propositions themselves. To tests the truth of sub statements, in the presence of connectives, we have to know how to deal with truth assignments. For instance, if we know that  isis_male(barack_obama) and  is president(barack_obama)  are true, then we know that the sentence:

is_president(barack_obama)∧ is_male(barack_obama)

is also true, because we know that a sentence of the form P∧Q is true when P and Q both are true.

This table allows us to read the truth of the connectives in the following manner. Imagine we are looking at row 3. This says that, if Q is true and P is false, then

1.   ¬P is true

2.   P∧Q is true

3.   P ∨Q is false

4.   P -> Q is true

5.   P <-> Q is false

Note down that, if P is false, then regardless of whether Q is true or false, the statement P->Q is true. This takes a little getting used to, but may be a very valuable tool in theorem proving: if we know that something is false, it may imply anything we want it to. So, the following sentence is true: "Barack Obama is female" implies that "Barack Obama is an alien", because thesentence that Barack Obama is female was false, so the result that Barack Obama is an alien may be deduced in a sound way.

Each row of a truth table describes the connectives for a specific assignment of true and false to the individual propositions in a sentence. We say each assignment a model: it represents a specific possible state of the world. For 2 propositions P and Q there are 4 models.

In general, for propositional sentences, a model is also only a specific assignment of truth values to its distinct propositions. A sentence which contains propositions will have 2n possible models and so 2n rows in its truth table. A sentence S will be false or true for a given model M - when S is true we say 'M is a model of S'.

Sentences which are always true, regardless of the truth of the distinct propositions, are known as tautologies (or valid sentences). For all models,Tautologies are true. For illustration, if I said that "Tony Blair is prime minister or Tony Blair is not prime minister", this is basically a content-free sentence, because we could  have replaced the predicate of being Tony Blair with any predicate and the sentence would still have been correct.

Tautologies are not always as simple to notice as the one above, and we may use truth tables to be sure that a statement we have written is true, regardless of the truth of the distinct propositions it contains. For doing this, the columns of our truth table will be headed with ever larger sections of the sentence, till the final column contains the complete sentence. As before, the rows of the truth table will represent all the possible models for the sentence, for example each possible assignment of truth values to the individual propositions in the sentence.In the truth table,we will use these initial truth values to assign truth values to the subsentencesand then use these new truth values to assign truth values to bigger subsentences and so on. If the last column (the entire sentence) is always assigned true, then its means, whatever the truth values of the propositions being discussed, the complete sentence will turn out to be true.

Computer Engineering, Engineering

  • Category:- Computer Engineering
  • Reference No.:- M9509986

Have any Question?


Related Questions in Computer Engineering

Does bmw have a guided missile corporate culture and

Does BMW have a guided missile corporate culture, and incubator corporate culture, a family corporate culture, or an Eiffel tower corporate culture?

Rebecca borrows 10000 at 18 compounded annually she pays

Rebecca borrows $10,000 at 18% compounded annually. She pays off the loan over a 5-year period with annual payments, starting at year 1. Each successive payment is $700 greater than the previous payment. (a) How much was ...

Jeff decides to start saving some money from this upcoming

Jeff decides to start saving some money from this upcoming month onwards. He decides to save only $500 at first, but each month he will increase the amount invested by $100. He will do it for 60 months (including the fir ...

Suppose you make 30 annual investments in a fund that pays

Suppose you make 30 annual investments in a fund that pays 6% compounded annually. If your first deposit is $7,500 and each successive deposit is 6% greater than the preceding deposit, how much will be in the fund immedi ...

Question -under what circumstances is it ethical if ever to

Question :- Under what circumstances is it ethical, if ever, to use consumer information in marketing research? Explain why you consider it ethical or unethical.

What are the differences between four types of economics

What are the differences between four types of economics evaluations and their differences with other two (budget impact analysis (BIA) and cost of illness (COI) studies)?

What type of economic system does norway have explain some

What type of economic system does Norway have? Explain some of the benefits of this system to the country and some of the drawbacks,

Among the who imf and wto which of these governmental

Among the WHO, IMF, and WTO, which of these governmental institutions do you feel has most profoundly shaped healthcare outcomes in low-income countries and why? Please support your reasons with examples and research/doc ...

A real estate developer will build two different types of

A real estate developer will build two different types of apartments in a residential area: one- bedroom apartments and two-bedroom apartments. In addition, the developer will build either a swimming pool or a tennis cou ...

Question what some of the reasons that evolutionary models

Question : What some of the reasons that evolutionary models are considered by many to be the best approach to software development. The response must be typed, single spaced, must be in times new roman font (size 12) an ...

  • 4,153,160 Questions Asked
  • 13,132 Experts
  • 2,558,936 Questions Answered

Ask Experts for help!!

Looking for Assignment Help?

Start excelling in your Courses, Get help with Assignment

Write us your full requirement for evaluation and you will receive response within 20 minutes turnaround time.

Ask Now Help with Problems, Get a Best Answer

Why might a bank avoid the use of interest rate swaps even

Why might a bank avoid the use of interest rate swaps, even when the institution is exposed to significant interest rate

Describe the difference between zero coupon bonds and

Describe the difference between zero coupon bonds and coupon bonds. Under what conditions will a coupon bond sell at a p

Compute the present value of an annuity of 880 per year

Compute the present value of an annuity of $ 880 per year for 16 years, given a discount rate of 6 percent per annum. As

Compute the present value of an 1150 payment made in ten

Compute the present value of an $1,150 payment made in ten years when the discount rate is 12 percent. (Do not round int

Compute the present value of an annuity of 699 per year

Compute the present value of an annuity of $ 699 per year for 19 years, given a discount rate of 6 percent per annum. As