DOC PREVIEW
ASU MAT 142 - TRUTH TABLES

This preview shows page 1-2-3 out of 10 pages.

Save
View full document
View full document
Premium Document
Do you want full access? Go Premium and unlock all 10 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 10 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 10 pages.
Access to all documents
Download any document
Ad free experience
Premium Document
Do you want full access? Go Premium and unlock all 10 pages.
Access to all documents
Download any document
Ad free experience

Unformatted text preview:

TRUTH TABLESIntroductionTruth Table for ~pTruth Table for p ^ qTruth Table for p v qTruth Table for p  qNumber of RowsEquivalent ExpressionsNegation of the ConditionalDe Morgan’s LawsTRUTH TABLESSection 1.3Introduction• The truth value of a statement is the classification as true or false which denoted by T or F.•A truth table is a listing of all possible combinations of the individual statements as true or false, along with the resulting truth value of the compound statements.•Truth tables are an aide in distinguishing valid and invalid arguments.Truth Table for ~p•Recall that the negation of a statement is the denial of the statement. •If the statement p is true, the negation of p, i.e. ~p is false.•If the statement p is false, then ~p is true.•Note that since the statement p could be true or false, we have 2 rows in the truth table. pp~p~pT FF TTruth Table for p ^ q•Recall that the conjunction is the joining of two statements with the word and.•The number of rows in this truth table will be 4. (Since p has 2 values, and q has 2 value.)•For p ^ q to be true, then both statements p, q, must be true. •If either statement or if both statements are false, then the conjunction is false.ppqqp ^ qp ^ qT T TT F FF T FF F FTruth Table for p v q•Recall that a disjunction is the joining of two statements with the word or.•The number of rows in this table will be 4, since we have two statements and they can take on the two values of true and false.•For a disjunction to be true, at least one of the statements must be true.•A disjunction is only false, if both statements are false.ppqqp p vv q qT T TT F TF T TF F FTruth Table for p  q•Recall that conditional is a compound statement of the form “if p then q”.•Think of a conditional as a promise. •If I don’t keep my promise, in other words q is false, then the conditional is false if the premise is true.•If I keep my promise, that is q is true, and the premise is true, then the conditional is true.•When the premise is false (i.e. p is false), then there was no promise. Hence by default the conditional is true.ppqqp p  q qT T TT F FF T TF F TNumber of Rows•If a compound statement consists of n individual statements, each represented by a different letter, the number of rows required in the truth table is 2n.Equivalent Expressions•Equivalent expressions are symbolic expressions that have identical truth values for each corresponding entry in a truth table.•Hence ~(~p) ≡ p.•The symbol ≡ means equivalent to.pp~p~p~(~p)~(~p)T F TF T FNegation of the Conditional•Here we look at the negation of the conditional.•Note that the 4th and 6th columns are identical.•Hence p ^ ~q is equivalent to ~(p  q).ppqq~q~qp ^ ~qp ^ ~qp p  q q~(p ~(p  q) q)T T F F T FT F T T F TF T F F T FF F T F T FDe Morgan’s Laws•The negation of the conjunction p ^ q is given by ~(p ^ q) ≡ ~p v ~q.“Not p and q” is equivalent to “not p or not q.”•The negation of the disjunction p v q is given by ~(p v q) ≡ ~p ^ ~q.“Not p or q” is equivalent to “not p and not q.”•We will look at De Morgan’s Laws again with Venn Diagrams in Chapter


View Full Document

ASU MAT 142 - TRUTH TABLES

Documents in this Course
Project

Project

3 pages

Project

Project

4 pages

Geometry

Geometry

57 pages

Test

Test

2 pages

Quiz 1

Quiz 1

2 pages

1-Logic

1-Logic

9 pages

Geometry

Geometry

36 pages

Quiz 1

Quiz 1

11 pages

Finance

Finance

11 pages

Finance

Finance

11 pages

Annuities

Annuities

12 pages

Load more
Download TRUTH TABLES
Our administrator received your request to download this document. We will send you the file to your email shortly.
Loading Unlocking...
Login

Join to view TRUTH TABLES and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view TRUTH TABLES 2 2 and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?