00:03
So we have a list of premises.
00:10
The given list of premises is g, horseshoe quantity n horseshoe k.
00:19
That was line one.
00:21
In line two, we have r, wedge, quantity, d, horseshoe, f.
00:31
And in line three, we've got s, dot, quantity t wedge u.
00:42
So when you have the horseshoe, that's read as if then, or just then.
00:50
So if g, then, quantity, if n, then, or n, then k.
00:59
In line number two, we've got r or quantity d, then f.
01:10
And in line three, we've got s and quantity t or u.
01:20
And they say the conclusion will be drawn based on distribution.
01:29
Now with distribution, you can distribute a disjunction onto a conjunction or a conjunction or a conjunction onto a disjunction.
01:44
So that's only going to work for line number three.
01:50
So if i were to write this out, it would distribute into something like this.
02:04
So if i draw that maybe over here, that would be parentheses, s, s.
02:17
Dot t other parenthesis wedge parenthesis s dot you not to be confused with horseshoe so because of distribution the s and or s dot is distributed on the t.
02:51
Keep the wedge, so you keep the disjunction, and then you've got s and u.
02:59
So for a brief recap of the ideas behind distribution, we can talk about the distributed property.
03:10
So if i go over here, see if i can write it, distributive property.
03:29
So for this one i'm going to use numbers.
03:36
Let's see if i can keep those numbers in color.
03:44
So maybe i'll just have this color for this color for one.
03:53
Keep my parentheses as a neutral color.
04:06
Then we'll use this color.
04:15
Maybe i'll keep my operators as a different color.
04:42
So we've got a math problem, which would be read as three times quantity four plus five.
04:54
And if we use the distributive property, we could rewrite it to something like this.
05:07
So i'm going to try to match my colors.
05:12
So it's going to be something like parentheses.
05:16
Oops...