Download presentation

Presentation is loading. Please wait.

Published byAdela Williams Modified over 4 years ago

1
MATERI II PROPOSISI

2
2 Tautology and Contradiction Definition A tautology is a statement form that is always true. A statement whose form is a tautology is a tautological statement. A contradiction is a statement form that is always false. A statement whose form is a contradiction is a contradictory statement.

3
Definition If p and q are statement variables, the conditional of q by p is "If p then q" or "p implies q" and is denoted p → q. It is false when p is true and q is false; otherwise it is true. 3 Conditional Statements (Implication) pqp q TTFFTTFF TFTFTFTF TFTTTFTT

4
Definition Suppose a conditional statement of the form “If p then q” is given. 1.The contrapositive is “If ~q then ~p” ( ~q → ~p ) 2.The converse is “If q then p“ (q → p) 3.The inverse is "If ~p then ~q" ( ~p → ~q ) 4 The Contrapositive, Converse and Inverse of a Conditional Statement

5
Definition Given statement variables p and q, the biconditional of p and q is "p if and only if q" and is denoted p ↔ q. It is true if both p and q have the same truth values and is false if p and q have opposite truth values. The words if and only if are sometimes abbreviated iff. 5 Biconditional (Biimplication) pqp ↔ q TTFFTTFF TFTFTFTF TFFTTFFT

6
Definition An argument is a sequence of statements (or proposition). All statements (or proposition) in an argument except for the final one, are called premises (or assumptions or hypotheses). The final statement or statement form is called the conclusion. The symbol, which is read "therefore," is normally placed just before the conclusion. To say that an argument is valid means that if the resulting premises are all true, then the conclusion is also true. 6 Valid and Invalid Arguments

7
Show that the following argument form is invalid. 7 An Invalid Argument Form

8
Show that the following argument form is valid 8 A Valid Argument Form

9
Exercises Use truth tables to determine whether the following argument forms are valid. 9

Similar presentations

© 2019 SlidePlayer.com Inc.

All rights reserved.

To make this website work, we log user data and share it with processors. To use this website, you must agree to our Privacy Policy, including cookie policy.

Ads by Google