Let’s get started with...
Logic!
* 1
, Logic
• Crucial for mathematical reasoning
• Used for designing electronic circuitry
• Logic is a system based on propositions.
• A proposition is a statement that is either
true or false (not both).
• We say that the truth value of a proposition
is either true (T) or false (F).
• Corresponds to 1 and 0 in digital circuits
* 2
, The Statement/Proposition Game
“Elephants are bigger than mice.”
Is this a statement? yes
Is this a proposition? yes
What is the truth value
of the proposition? true
* 3
, The Statement/Proposition Game
“520 < 111”
Is this a statement? yes
Is this a proposition? yes
What is the truth value
of the proposition? false
* 4
Logic!
* 1
, Logic
• Crucial for mathematical reasoning
• Used for designing electronic circuitry
• Logic is a system based on propositions.
• A proposition is a statement that is either
true or false (not both).
• We say that the truth value of a proposition
is either true (T) or false (F).
• Corresponds to 1 and 0 in digital circuits
* 2
, The Statement/Proposition Game
“Elephants are bigger than mice.”
Is this a statement? yes
Is this a proposition? yes
What is the truth value
of the proposition? true
* 3
, The Statement/Proposition Game
“520 < 111”
Is this a statement? yes
Is this a proposition? yes
What is the truth value
of the proposition? false
* 4