-
>> Okay, this is the first
video in the Introduction
-
to Symbolic or Propositional Logic Series.
-
So, the first question you might
have is why bother studying this?
-
Why bother studying all these Ps
and Qs, and here are some reasons.
-
First, it'll help you better understand
how computers work at a deep level.
-
It'll lay the foundations for that.
-
It'll help you better understand and do math.
-
It'll create more logical circuitry in
your brain, so to speak, neural networks.
-
It'll help you learn habits of thinking that are
just more logical, and they become ingrained.
-
It'll help you symbolize arguments and thereby,
-
quickly and more accurately identify
their validity or invalidity.
-
So, a lot of arguments you don't even
that too think about the content.
-
You can just put them in symbols in your mind
and quickly see they're valid or invalid.
-
And finally, I think it's fun and challenging.
-
So, hopefully, that will keep you
motivated through all of this.
-
The categorical versus modern.
-
So, we're leaving the categorical Aristotelian
traditional logic and moving to the Modern,
-
and we're going to start with
this propositional logic.
-
The difference is that categorical logic
dealt with actual words and categories.
-
Like if I wanted to say all
dinosaurs are funny creatures,
-
I was symbolize that with Aristotle's
method as all S are P. But now,
-
with modern symbolic logic, the letters
will represent entire statements.
-
So, all dinosaurs are funny,
which just be represented
-
as D. It's the whole proposition
that's making a truth claim.
-
It's either true or false, right?
-
So, you're dealing with propositions
not classes,
-
and we can do much more with modern logic.
-
So, but that in mind, let's
look at an example here.
-
S, let's say that represents a
proposition that I'm wearing a blue shirt.
-
So, if S is true, then it's true
that I'm wearing a blue shirt.
-
And if S is false, then it's false
that I'm wearing a blue shirt, right?
-
Now if not S is true, that it's
true that it is not the case
-
that I'm wearing a blue shirt, right?
-
And you want to, instead of just saying I'm
not wearing a blue shirt, it's helpful in logic
-
to say it's not the case that I'm wearing
a blue shirt for reasons we'll see later.
-
Okay? So, also, when you write statements,
-
you don't want to have S represent
I'm not wearing a blue shirt.
-
Rather, you want to make a positive
assertion and then put not S
-
if you're not wearing a blue shirt.
-
We'll see why later.
-
Don't worry about right now, okay?
-
So, the letters represent true or false
statements, but there are some sentences
-
that there that don't make truth claims,
like who are you or close that door.
-
And we won't be able to translate
those sentences into our modern logic.
-
So, keep that in mind.
-
It doesn't translate everything well.
-
Here's a compound statement, because
it's making two different truth claims.
-
So, I'm wearing a blue shirt, and
I'm wearing clogging shoes, right?
-
Or I'm wearing a blue shirt and clogging shoes.
-
That would be represented as S and P or B and
C. It doesn't matter what letters you use, okay?
-
But that's a compound statement.
-
So, here's some practice.
-
See if you can just put these into
symbolic form using some letter.
-
So, for example, for number one, you
might write J or just S, you know?
-
For number two, you might write S and P, right?
-
Number three might be -- I'm either
clogging or singing might be C or S. Okay?
-
I'm going to show you the answer slide
in just a minute, and there you go.
-
Notice, number four, I put dogs like cats.
-
And then I put a not in front of that.
-
It's not the case the dogs like cats, all right?
-
Okay, now instead of using these
little words here like and and or
-
and not, we want to symbolize those, too.
-
We want to put everything into symbols, okay?
-
So, we introduce these five operators.
-
You can see the first operator here,
right here, is called the tilde.
-
It's a nice name, and it represents negation.
-
So, instead of saying not or it's not the
case that I'm going to use a little tilde,
-
and the dot will represent and also,
and it's what we call a conjunction.
-
It can joins two propositions.
-
The VA will represent the wedge.
-
It's a disjunction.
-
Usually or captures that.
-
By the way, the and is sometimes represented
with an upside down V in some books, okay?
-
The horseshoe represents if-then
sentences, and that represents implication.
-
We'll go over that later, and in some
books, it'll be an arrow pointing
-
to the right instead of the horseshoe.
-
But we'll use the horseshoe, and the last one
is the triple bar, which represents equivalence.
-
And that's if and only if statements.
-
And in some books, that's represented
with arrows going both ways.
-
Okay, so, here's those same sentences
again, statements I should say,
-
and they're represented now
with letters and operators.
-
So, look at number two.
-
"John Denver is a great singer and pilot."
-
J.P, right?
-
Number three, "I'm either clogging or singing."
-
C, whoop, I capitalized the
V. I meant to lowercase it.
-
But C wedge S, right?
-
"Dog's don't like cats," not D, and so on.
-
Okay, all right, so let's talk about
each one of these in a little more detail
-
and do some -- the truth tables for them,okay?
-
And if you look at the tilde, which
represents negation, this is --
-
let me make sure I'm going
the right -- yes, okay.
-
So, the tilde represents negation.
-
The tilde is the only operator that
can occur right after another operator.
-
So, if I say I'm eating green
beans or I'm not healthy,
-
that would be G. I'm eating green beans, right?
-
G wedge not H. H represents I'm healthy.
-
Not H, I'm not healthy.
-
Okay, so, it can occur right
after the wedge operator.
-
It's kind of neat.
-
Anyway, P, let's say a P
represents I'm wearing a blue shirt.
-
That's either true or false.
-
A statement can be true or false.
-
Based on that, we can figure out
it's not the case that P. So,
-
if it's true that I'm wearing a blue
shirt, then it's not the case that P,
-
it's not the case in wearing
a blue shirt must be false.
-
If it's false that I'm wearing a
blue shirt, then it's not the case
-
that I'm wearing a blue shirt must be true.
-
Okay? So, that's what this truth table means.
-
You just reverse the values.
-
So, sit translate these real quick.
-
Monkeys don't fly, and it's not
the case if I turn in my homework,
-
I will ace this course, and so on.
-
And here's the answers.
-
Not M. Notice number two, it's not the
case that the whole statement, if H then A,
-
because they're not saying if I don't
turn my homework, I will ace this course.
-
That would be not H then A with no parentheses.
-
However, they're saying it's
not the case that if I turn
-
in my homework, I will ace this course, right?
-
Look at at the last one, number three.
-
Neither Clemson or Virginia
will win the championship.
-
So it's not the case that Clemson
will win or Virginia will win.
-
Now, for number three, you
might have representatives
-
like this down here on the bottom.
-
It's not the case that Clemson will win, and
it's not the case that Virginia will win,
-
and these two are equivalent, the same thing.
-
So, you would be correct if
you did it that way, and later,
-
we'll use this logical equivalence
in proofs, and so on.
-
Okay, the main operator is very important.
-
So, we want to understand this concept,
because we'll later use it, the main operator,
-
to determine whether the entire
statement is true or false, okay?
-
It's the one operator that
covers the entire statement.
-
So, for example, my socks are not
a main operator metaphorically,
-
and because they only cover my feet.
-
My shirt only covers my waist
and chest and arms.
-
So, it's not a main operator.
-
But if I got, you know, well, I guess.
-
Well, let's say I'm inside a tent.
-
The tent would be a main operator,
because it covers all of me, okay?
-
So, it looks like the main operators
here, and this will help later.
-
If I say S and P are the main
operators, the only operator and, right?
-
If I say, let's say, number six, not A or
B, the main operators or because it applies
-
to the whole sentence or most of A or
B. The tilde is not the main operator,
-
because it only applies to A, not to B. Look at
number two, if S and P, then Q or R. The little
-
and dot here only applies to S and P not to Q
and R. Therefore, it's not the main operator.
-
The little wedge, Q or R, only applies --
between Q and R, only applies to Q and R not
-
to S and P. So, it's not the main operator.
-
Here is the main operator, the little
horseshoe, because it connects the whole.
-
So, once I know the value of the
horseshoe, whether true or false,
-
that I know the value of this whole statement.
-
Once I know the value of this
and, the number one, this dot,
-
I know the value of this whole statement.
-
Okay, so, on this slide, I'll show
you the answers, and there they are.
-
Here's the main operators, and you can kind of
tell the main operator will always be outside
-
of the parentheses, if you have parentheses,
-
more than one parentheses, then
this one is complex, right?
-
All these little brackets and stuff.
-
But if you think it through, I think you'll see
-
that the tilde is what applies
to the whole statement.
-
None of these apply to the whole statement.
-
The and -- because of the tilde
here only applies to P or Q,
-
not to M or B. So, the and is the main operator.
-
Okay, the next one is the conjunction.
-
The conjunction is P and Q. so, I'm
wearing a blue shirt and I'm clogging.
-
P represents blue shirt.
-
Q is I'm clogging.
-
So, if both are true, I'm wearing a blue shirt
and I'm clogging, then the conjunctive sentence,
-
the main operator of P and Q, is true.
-
But if anyone of those is false, either
P or Q is false, then it's false.
-
So, if I'm not clogging but I'm wearing a
blue shirt, then this P and Q is false, right?
-
So, they both have to be true
in order for the dot to be true.
-
And this is something that
you've got to memorize.
-
You'll be using it over and over again,
and it's helpful to talk through it,
-
like with my example with
blue shirts and clogging.
-
Let's do the wedge now.
-
The wedge, over here, the main operator for P or
Q, this is true unless both disjunct or false,
-
and one disjunct is P and one is Q.
Okay, now before I even get started,
-
I'm going to explain truth tables in the next
lesson, but notice when you have two letters,
-
you're going to have four rows, because
you're giving all possible combinations.
-
It's like flipping two coins, twice, right?
-
You're going to have four
possible combinations, heads/heads,
-
head/tails, tails/heads, and tails/tails.
-
So, that's what we're capturing
here, all possible combinations.
-
We'll get to that later, but P. I'm
wearing a blue shirt or I'm clogging.
-
If they're both true, it's true.
-
It's what we call an inclusive or,
and then, as long as one is true,
-
either I'm wearing a blue shirt or I'm
clogging, then this or, the wedge, is true.
-
But if I'm not wearing a blue shirt
and I'm not clogging, then the wedge,
-
of course, combining them, is false.
-
Okay? Now, sometimes when you
have an or sentence in English
-
like I'm in Austin or Orlando, Florida.
-
I'm in Austin Texas Orlando Florida.
-
You can't represent that with A or O,
because you can't be in both, right?
-
So, this first line wouldn't apply.
-
I can't be in both right now.
-
So, we'll learn later that you can still
represent that sentence by saying A or O,
-
but it's not the case that A and O,
and we'll get to that later, okay.
-
The next one is a conditional.
-
All right, so this is called
material implication.
-
When you see if/then sentences, they will
probably be expressed as if P then Q,
-
and the best way to remember this is
-
that it's always true unless you have a
true antecedent and a false consequence.
-
And I did a little video on conditionals
that you can check out later, but, so,
-
if it's raining then the roads are wet, okay?
-
So, P represents raining, Q the roads are wet.
-
Both are true, it's true.
-
But if it's raining and the roads aren't
wet, then my statement must be false.
-
Now if it's not raining and the
roads are wet, that's true, right?
-
If the antecedent is false, then
the conditional is going to be true.
-
It's kind of counterintuitive.
-
So, Hurley [assumed spelling] suggest
you use the example of if I make an A
-
on the final, then I'll ace the course.
-
Okay? Now, if it's false that you
make in a on the final but still true
-
that you ace the course, well,
the teacher didn't lie to you.
-
So, it could very well be true.
-
Or if it's false that you made an A on the final
and false that you made an A in the course,
-
then again, the teacher didn't lie to you.
-
So, then if P then Q is true here now
again, there's some English statements
-
that involve causation with if-then P then Q
that we just need to capture a different way.
-
So, you have to be careful, but for
now, just memorize the truth table,
-
and we'll get to those more
complicated ones later.
-
Finally, there's a biconditional, and this is
P, and then you see three lines and Q. Okay,
-
so this is P if and only if Q, and when I
see this symbol, I think of if P horseshoe Q
-
and if Q horseshoe P. That's basically
what it means, but the bottom line is
-
that this is true whenever P
and Q have the same truth value.
-
So, I'll jump over a cliff if, and
only if, you do, or off a cliff, right?
-
So, if you jump over, then I
will, right, and vice versa.
-
So, now if you don't jump over, then I
won't so it's true if they're both false,
-
P or Q are both false, and it's
true if P and Q are both true.
-
But if you jump over and
I don't, then it's false.
-
Or if I jump over and you don't then it's false.
-
So, it's a pretty easy one to remember, right?
-
Okay, so in the next video, I
will go over well-formed formulas
-
and gives some more practice on determining
the truths of compound statements.
-
Thanks.