Argument Lecture 5 Example An interesting teacher keeps

  • Slides: 23
Download presentation
Argument Lecture 5

Argument Lecture 5

Example • An interesting teacher keeps me awake. I stay awake in XYZ class.

Example • An interesting teacher keeps me awake. I stay awake in XYZ class. Therefore, my XYZ teacher is interesting. • Is the above argument valid?

Definition • An argument is a sequence of declarative sentences • One of which

Definition • An argument is a sequence of declarative sentences • One of which is intended as a conclusion • The remaining sentences, the premises, are intended to prove or at least provide some evidence for the conclusion.

ARGUMENT: • An argument is a list of statements called premises (or assumptions or

ARGUMENT: • An argument is a list of statements called premises (or assumptions or hypotheses) followed by a statement called the conclusion. P 1 Premise P 2 Premise P 3 Premise. . Pn Premise _______ ∴C Conclusion

VALID AND INVALID ARGUMENT: • An argument is valid if the conclusion is true

VALID AND INVALID ARGUMENT: • An argument is valid if the conclusion is true when all the premises are true. • Alternatively, an argument is valid if conjunction of its premises imply conclusion. • That is (P 1∧ P 2 ∧ P 3 ∧. . . ∧ Pn) → C is a tautology. • An argument is invalid if the conclusion is false when all the premises are true. • Alternatively, an argument is invalid if conjunction of its premises does not imply conclusion.

EXAMPLE: • Show that the following argument form is valid: p→q p ∴ q

EXAMPLE: • Show that the following argument form is valid: p→q p ∴ q

EXAMPLE • Show that the following argument form is invalid: p→q q ∴ p

EXAMPLE • Show that the following argument form is invalid: p→q q ∴ p

EXERCISE: Use truth table to determine the argument form p∨q p → ~q p→r

EXERCISE: Use truth table to determine the argument form p∨q p → ~q p→r ∴ r is valid or invalid.

WORD PROBLEM • If Tariq is not on team A, then Hameed is on

WORD PROBLEM • If Tariq is not on team A, then Hameed is on team B. If Hameed is not on team B, then Tariq is on team A. • ∴ Tariq is not on team A or Hameed is not on team B. SOLUTION Let t = Tariq is on team A , h = Hameed is on team B Then the argument is ~ t → h ~ h → t ∴ ~ t ∨ ~ h

EXERCISE • If at least one of these two numbers is divisible by 6,

EXERCISE • If at least one of these two numbers is divisible by 6, then the product of these two numbers is divisible by 6. Neither of these two numbers is divisible by 6. • ∴ The product of these two numbers is not divisible by 6.

EXERCISE • If I got an Eid bonus, I’ll buy a stereo. If I

EXERCISE • If I got an Eid bonus, I’ll buy a stereo. If I sell my motorcycle, I’ll buy a stereo. • ∴ If I get an Eid bonus or I sell my motorcycle, then I’ll buy a stereo

Applications of logic SWITCHES IN SERIES

Applications of logic SWITCHES IN SERIES

SWITCHES IN PARALLEL:

SWITCHES IN PARALLEL:

SWITCHES IN SERIES:

SWITCHES IN SERIES:

SWITCHES IN PARALLEL:

SWITCHES IN PARALLEL:

NOT-gate • A NOT-gate (or inverter) is a circuit with one input and one

NOT-gate • A NOT-gate (or inverter) is a circuit with one input and one output signal. If the • input signal is 1, the output signal is 0. Conversely, if the input signal is 0, then the output signal is 1.

2. AND-gate • An AND-gate is a circuit with two input signals and one

2. AND-gate • An AND-gate is a circuit with two input signals and one output signal. • If both input signals are 1, the output signal is 1. Otherwise the output signal is 0.

OR-gate • An OR-gate is a circuit with two input signals and one output

OR-gate • An OR-gate is a circuit with two input signals and one output signal. • If both input signals are 0, then the output signal is 0. Otherwise, the output signal is 1

COMBINATIONAL CIRCUIT: • A Combinational Circuit is a compound circuit consisting of the basic

COMBINATIONAL CIRCUIT: • A Combinational Circuit is a compound circuit consisting of the basic logic gates such as NOT, AND, OR.

DETERMINING OUTPUT FOR A GIVEN INPUT: • Indicate the output of the circuit below

DETERMINING OUTPUT FOR A GIVEN INPUT: • Indicate the output of the circuit below when the input signals are P = 1, Q = 0 and R = 0

FINDING A BOOLEAN EXPRESSION FOR A CIRCUIT

FINDING A BOOLEAN EXPRESSION FOR A CIRCUIT

CONSTRUCTING THE INPUT/OUTPUT TABLE FOR A CIRCUIT

CONSTRUCTING THE INPUT/OUTPUT TABLE FOR A CIRCUIT

CONSTRUCTING THE INPUT/OUTPUT TABLE FOR A CIRCUIT

CONSTRUCTING THE INPUT/OUTPUT TABLE FOR A CIRCUIT

3 interesting the most interesting more interesting good3 interesting the most interesting more interesting good
Interesting Interfaces Interesting Interfaces Interesting Interfaces Where WeInteresting Interfaces Interesting Interfaces Interesting Interfaces Where We
Interesting Story 1 Interesting Story 2 Interesting StoryInteresting Story 1 Interesting Story 2 Interesting Story
What Keeps Teachers Going What Keeps Teachers DevelopingWhat Keeps Teachers Going What Keeps Teachers Developing
He who keeps a mitzvah keeps himself safeHe who keeps a mitzvah keeps himself safe
God Keeps His Promises Christmas 2012 God KeepsGod Keeps His Promises Christmas 2012 God Keeps
Christmas God keeps His promises Christmas God keepsChristmas God keeps His promises Christmas God keeps
What Keeps it Running Cool Or Keeps itWhat Keeps it Running Cool Or Keeps it
Ontological Argument Ontological Argument Teleological argument depends uponOntological Argument Ontological Argument Teleological argument depends upon
Argument Expanding the definition of argument Argument aArgument Expanding the definition of argument Argument a
Analysis of Speeches Argument 1 Argument 2 ArgumentAnalysis of Speeches Argument 1 Argument 2 Argument
REASONING LOGICAL ARGUMENT ARGUMENT An argument is aREASONING LOGICAL ARGUMENT ARGUMENT An argument is a
Ontological Argument Ontological Argument Teleological argument depends uponOntological Argument Ontological Argument Teleological argument depends upon
Making An Argument for Argument WCPSS Academics ArgumentMaking An Argument for Argument WCPSS Academics Argument
Argument Everythings an Argument Argument in its bestArgument Everythings an Argument Argument in its best
ROOM ACOUSTICS II EXAMPLE PROBLEM EXAMPLE EXAMPLE EXAMPLEROOM ACOUSTICS II EXAMPLE PROBLEM EXAMPLE EXAMPLE EXAMPLE
Example 1 Example 2 Example 3 Example 4Example 1 Example 2 Example 3 Example 4
DECISION TREE Example Example DECISION TREE Example ExampleDECISION TREE Example Example DECISION TREE Example Example
Deadlocks Example 1 Example 2 Example 2 ExampleDeadlocks Example 1 Example 2 Example 2 Example
Objectives Example 1 Example 2 Example 3 ExampleObjectives Example 1 Example 2 Example 3 Example
Discrete Mathematics Lecture 8 Example An interesting teacherDiscrete Mathematics Lecture 8 Example An interesting teacher
Something Interesting About Finding Something Interesting COSC 6335Something Interesting About Finding Something Interesting COSC 6335