00:01
Suppose that someone gives you this definition of a calculator.
00:04
They say that a calculator is a machine that performs computations with members.
00:10
Is this a good definition? we can tell that by splitting this into p and q and trying to write this as a bi -conditional statement.
00:19
Our bi -conditional statement, remember, is p, if and only if, q.
00:27
To see if our bi -conditional statement would be true, we have to examine first the conditional statement p implies q and it's converse q implies p.
00:40
Let's examine the conditional statement first.
00:44
If we were to rewrite the conditional statement, p implies q, in terms of this example, we would say, if a machine is a calculator, then it performs computations with numbers.
01:01
This is true, right? we see that calculators certainly perform computations with numbers.
01:10
So if p is true, if a machine is a calculator, then definitely it performs computations with number.
01:18
So the conditional statement is true...