00:01
So we have an argument here.
00:03
In order for students, with a couple premises, for students to do well in a discrete mathematics course, it is necessary that they study hard.
00:09
So i'm going to say, well, sub, discrete, of x.
00:16
X here is a student.
00:19
X is an element of the set of students.
00:23
So if they do well in a discrete math course, it is necessary that they study hard.
00:26
So we do necessary, like this, study hard, of x.
00:31
This is one of our premises.
00:35
It also says, students who do well in courses, so students who do well for all courses, i'm going to write just well for all, of x, do not skip classes.
00:48
So we're going to say, not skip, of x.
00:53
Students who study hard do well in courses.
00:59
So if a student studies hard, they do well.
01:04
They do well in courses, generally.
01:09
Therefore, we have a student who does well in a discrete math course, well, discrete, does not skip class.
01:20
So not skip class.
01:25
Let's see if this follows here...