VALIDITY OF AN ARGUMENT (MATH IN THE MODERN WORLD) - Tagalog Tutorial

Ser Pabs
9 Oct 202221:06

Summary

TLDRThis video lesson focuses on evaluating the validity of logical arguments using truth tables. The instructor explains how to determine if an argument's conclusion is valid by examining the truth values of premises. Examples are provided, including arguments with 'if P then Q' and their negations. The lesson clarifies that a valid argument is one where the conclusion is always true when the premises are true, using the concept of tautology. The video also includes practice exercises for viewers to test their understanding of argument validity.

Takeaways

  • 📘 The video discusses the validity of an argument in symbolic form.
  • 🔍 It focuses on determining whether a given argument's conclusion is valid or invalid.
  • ✍️ Example 1 uses the symbolic form: 'If P then Q and P, therefore Q', which is analyzed for validity.
  • ✅ Truth tables are used to evaluate if the premises and conclusions hold true or false.
  • 🔗 In this case, when both premises are true, the conclusion is also true, confirming the argument is valid.
  • ⚠️ Example 2 is another argument: 'If P then Q and Q, therefore P', which is found to be invalid.
  • 🔄 The video continues with different examples to test various logical structures using truth tables.
  • 📉 Example 3, involving 'If R then S and not S, therefore R', is analyzed and found to be invalid.
  • ❌ The final example also involves negation ('If M then not K and not M, therefore K'), which is evaluated as invalid.
  • 📝 The video ends with a practice exercise for viewers to test the validity of an argument, encouraging engagement through comments.

Q & A

  • What is the main topic discussed in the video?

    -The main topic discussed in the video is the validity of an argument in logic, with a focus on determining whether the conclusion of an argument is valid or invalid using truth tables.

  • What is the symbolic form of the first argument example provided?

    -The symbolic form of the first argument is: If P then Q, and P, therefore Q.

  • How is the validity of the first argument determined?

    -The validity of the first argument is determined using a truth table. If both premises are true, then the conclusion must be true, making the argument valid.

  • What is the conclusion of the first argument example?

    -The conclusion of the first argument example is that the argument is valid.

  • What is the structure of the second argument discussed?

    -The structure of the second argument is: If P then Q, and Q, therefore P.

  • Is the second argument valid or invalid, and why?

    -The second argument is invalid because the truth table does not result in a tautology, meaning the conclusion is not necessarily true.

  • What is the symbolic form of the third argument example?

    -The symbolic form of the third argument is: If R then S, and not S, therefore not R.

  • Why is the third argument considered invalid?

    -The third argument is considered invalid because the truth table does not produce consistent true outcomes across all interpretations, meaning the conclusion is not guaranteed.

  • How is the fourth argument structured in symbolic form?

    -The fourth argument is structured as: If M then not K, and not M, therefore K.

  • What is the conclusion for the fourth argument example?

    -The conclusion for the fourth argument example is that the argument is invalid, based on the truth table analysis.

Outlines

00:00

📊 Understanding Argument Validity in Symbolic Logic

In this section, the speaker introduces the lesson on argument validity in symbolic form, continuing from the previous video. They explain the focus will be on determining if conclusions of arguments are valid or invalid. The first example, 'If P, then Q' and 'P, therefore Q', is discussed using truth tables. The explanation shows how to determine whether the conclusion is valid by checking different truth values for P and Q, ultimately concluding that the argument is valid based on truth table analysis.

05:03

🧠 Validity of Arguments Through Truth Tables

This paragraph continues the discussion on argument validity. The speaker further elaborates on truth tables, testing combinations of truth values for premises and conclusions. They explain tautology, which is a statement true under all interpretations. For this argument, 'If P, then Q' and 'P, therefore Q' is again shown to be a valid argument. A second example is introduced, where 'If P, then Q' and 'Q, therefore P' is examined, and the truth table is set up to determine the argument's validity.

10:04

❌ Analyzing an Invalid Argument

The speaker analyzes a second example using the symbolic form 'If P, then Q' and 'Q, therefore P.' The truth table shows different truth values for P and Q. After thorough analysis, the speaker concludes that the argument is invalid because it does not meet the criteria for tautology. The explanation highlights how the premises and conclusion fail to align consistently, leading to the argument being considered invalid.

15:07

🌀 Exploring Another Invalid Argument

In this example, the speaker introduces an argument in symbolic form: 'If R, then S' and 'Not S, therefore R.' The argument is analyzed using truth tables with specific emphasis on the negation of S. The speaker demonstrates how negations work in truth tables and how the given premises and conclusion interact. The analysis leads to the conclusion that this argument is also invalid, with explanations rooted in the lack of tautology.

20:14

🔄 Determining Validity in Complex Arguments

Here, the speaker presents a new argument in symbolic form: 'If M, then not K' and 'Not M, therefore K.' Truth tables are used to explore different truth values for M and K. The speaker carefully explains how to apply conjunctions and negations in the truth table analysis. Ultimately, the conclusion is that this argument is invalid. The speaker ends by encouraging viewers to practice determining the validity of arguments and leave their thoughts in the comments.

Mindmap

Keywords

💡Validity

Validity refers to whether an argument's conclusion logically follows from its premises. In the video, the validity of an argument is tested by using truth tables to determine if the conclusion holds true when the premises are true. For example, in 'if P then Q and P, therefore Q,' the argument is found valid because the conclusion follows logically.

💡Truth Table

A truth table is a tool used to determine the truth value of logical expressions based on all possible truth values of their components. In the video, truth tables are constructed to test the validity of arguments like 'if P then Q,' by checking all possible truth combinations of P and Q.

💡Premises

Premises are statements or propositions that provide the basis for a conclusion in an argument. In the video, premises such as 'if P then Q' and 'P' are analyzed using truth tables to determine whether they lead to a valid conclusion.

💡Conclusion

A conclusion is the final statement in an argument that is inferred from the premises. The video focuses on testing whether conclusions, such as 'therefore Q,' logically follow from given premises by analyzing the structure of the argument using truth tables.

💡If-Then Statement

An 'if-then' statement (also known as a conditional statement) expresses a logical relationship between two propositions, where if the first proposition (P) is true, then the second proposition (Q) must also be true. The video demonstrates how to test the validity of these statements using truth tables.

💡Tautology

A tautology is a statement that is always true, regardless of the truth values of its components. In the video, arguments are sometimes tested for tautology to check if they are true under all possible circumstances, which would make the argument valid.

💡Invalid Argument

An invalid argument is one where the conclusion does not logically follow from the premises, even if the premises are true. In the video, the argument 'if P then Q and Q, therefore P' is shown to be invalid using a truth table, as the conclusion does not hold in all cases.

💡Negation

Negation is the logical operation that takes a proposition and inverts its truth value. In the video, negation is used in arguments like 'if R then S and not S, therefore R,' where 'not S' means that S is false, and this affects the truth table analysis.

💡Conjunction

Conjunction refers to a logical operation where two propositions are combined, and the result is true only if both propositions are true. In the video, conjunctions are used in arguments such as 'if P and Q,' and their validity is tested through truth tables.

💡Symbolic Logic

Symbolic logic is a formal system used to represent logical expressions with symbols like 'P,' 'Q,' and logical operators such as 'if-then' or 'and.' The video discusses how arguments are represented in symbolic form and how truth tables are used to evaluate them.

Highlights

Introduction to argument validity and determining if an argument is valid or invalid.

Explanation of the symbolic form of arguments and using truth tables to verify validity.

Example 1: If P then Q and P, therefore Q—valid argument based on truth table results.

Explanation of truth table for 'if-then' statements with combinations of true and false premises.

Clarification that if both premises in an 'if-then' statement are false, the result is still true.

Detailed walk-through of evaluating symbolic logic and the conjunction of propositions.

Example 2: If P then Q and Q, therefore P—determined to be an invalid argument based on truth table results.

Introduction to the concept of tautology—a statement that is true under any interpretation.

Example 3: If R then S, and not S, therefore R—an invalid argument as demonstrated by the truth table.

Explanation of negation and its role in the evaluation of logical propositions.

Example 4: If M then not K, and not M, therefore K—invalid argument as shown through the truth table.

Use of conjunction and negation in complex logical evaluations.

Step-by-step guide to constructing and interpreting truth tables for various symbolic arguments.

Conclusion on the importance of truth tables in verifying the validity of arguments.

Practice exercise provided to allow viewers to determine the validity of an argument using truth tables.

Transcripts

play00:00

foreign

play00:13

good day everyone Welcome to our new

play00:15

video Lesson in mathematics and the

play00:16

modern world for this video we will

play00:19

discuss the validity of an argument

play00:22

last video

play00:26

in our last video Lesson we've discussed

play00:29

about the argument in symbolic form so

play00:33

for this video we will have the

play00:35

conclusion we will determine if the

play00:37

conclusion of an argument is valid or

play00:39

invalid

play00:43

okay so arguments validity so example

play00:46

number one you have our argument so if P

play00:49

then q and P therefore Q so in symbolic

play00:52

form that will be written as if P then q

play00:55

and P therefore Q

play00:57

so we will just determine if the given

play01:00

argument is valid or invalid

play01:04

okay

play01:09

Boys

play01:14

in our if then through table so if both

play01:17

are true if both of the premises are

play01:19

true so the conclusion is true then if p

play01:23

is through p is false the conclusion is

play01:26

false then if p is false Q is true the

play01:30

conclusion is true if both are false so

play01:33

that is true so um

play01:43

automatically the if then is false and

play01:46

then that is

play01:48

and second truth tables

play01:55

p and Q

play01:57

sorry

play02:00

letter f

play02:02

in one of the

play02:04

proposition automatically

play02:07

an acting conjunction is f or false

play02:12

both propositions are true

play02:26

I think

play02:28

argument if the argument is valid or not

play02:32

so um

play02:42

if P then q and P then you have the

play02:46

argument if P then q and P therefore Q

play02:57

I think

play02:59

if then through table

play03:02

s

play03:04

automatically our if then is true

play03:10

then cqi Falls so everyone true and

play03:13

false so our if then is false if p is

play03:18

false then Q is true we have here true

play03:22

if both proposition are false or if then

play03:26

proposition is true

play03:31

so for the fourth column Naman

play03:36

so I'm adding if P then Q will be

play03:39

represented by the third column which is

play03:42

if P then Q so don't write it again

play03:45

and then the conjunction they have the

play03:47

conjunction symbols

play03:51

third column and

play03:54

foreign

play04:23

column

play04:34

okay so let's check songs

play04:37

automatically the result will be false

play04:42

so when I throw in through so we have

play04:44

true I false and true so we have false

play04:48

true and false we have false also true

play04:51

and false we have foreign

play05:03

nothing

play05:10

foreign

play05:37

foreign

play05:49

column

play05:57

if then yeah we need to test the

play06:00

validity so control and through and

play06:02

through and through so that is true if

play06:05

false and false at the false and false

play06:08

snap n so that will be true also if

play06:10

false and true so everyone Falls in

play06:13

through young false and true so we have

play06:16

also true and then false and false we

play06:18

have also through

play06:20

so the resulting conclusions are are all

play06:24

troopsology

play06:29

so tautology is a statement that is

play06:31

necessarily true under any

play06:33

interpretations

play06:45

we will consider the argument to be

play06:48

valid so the argument is valid

play06:56

[Music]

play07:00

the argument will be invalid but for

play07:03

this example valid argument

play07:06

so um example number one attend which is

play07:09

if P then q and P therefore Q is a valid

play07:14

argument

play07:20

for example number two so let's have the

play07:23

symbolic form of the given argument so

play07:25

if P then q and Q therefore

play07:31

example number one so I thought and Q

play07:34

therefore P so we will determine if the

play07:38

given argument is valid or not and to

play07:41

answer this example so again we need to

play07:43

have our truth table so

play07:51

n q

play07:53

then I'm adding

play07:55

arguments will be

play07:57

therefore

play08:01

okay so first thing to do is

play08:06

given p and Q to be true or false

play08:10

table nothing so if that is true and

play08:13

true so we have here

play08:18

so that will be

play08:24

true then false and false at the false

play08:28

and false nothing and that will be true

play08:30

also

play08:32

then for the if P then q and Q so if P

play08:37

then can nothing happens from the third

play08:39

column

play08:43

then I'm adding NQ will be taken from

play08:46

the Q column

play08:47

so cute

play09:01

if P then Q will be represented by the

play09:04

first column in our conjunction through

play09:06

table and our Q will be the second

play09:10

proposition under our two table then we

play09:13

have the resulting uh conclusion we have

play09:16

if P then q and Q

play09:19

so

play09:22

starting given uh propositions

play09:27

automatically and so through and through

play09:29

we have true false and false we have

play09:31

false through and through we have true

play09:33

and false we have false also

play09:41

for p

play09:43

they are adding if statement will be

play09:45

taken from the fourth column so that

play09:47

will be if P then q and Q

play09:50

so young adding letter piritos adding if

play09:53

then through table will be represented

play09:55

by if P then q and Q

play09:58

then you're adding then statement which

play10:00

is p

play10:01

so will be taken from the Pico Loom so

play10:04

I'm adding if P then Q will be our

play10:06

conclusion so we have through and

play10:08

through sorting and doing sat into a

play10:10

table through and through so the answer

play10:12

is true

play10:13

false and through things are through

play10:15

people Falls and through so we have

play10:18

through also then through n false

play10:21

through N4 so again

play10:24

if P then q and Q times p

play10:30

so true and false so we have true false

play10:32

so we have very false and then false and

play10:35

false so we have F and F we have here

play10:37

true

play10:41

I think

play10:43

resulting conclusion is not a topology a

play10:47

second consistent in the international

play10:51

if that will be the case our argument

play10:54

will be invalid so the argument is

play10:56

invalid

play10:59

Target invalid

play11:01

nothing is

play11:03

considered to be invalid

play11:09

okay so example number two

play11:12

answers so arguments validity so the

play11:15

argument is invalid

play11:18

so if P then q and Q are four p

play11:25

example number three so we have here

play11:28

our argument so if R then s

play11:34

and not s therefore R so

play11:37

negation symbol so symbolic form is

play11:44

and not s

play11:46

therefore are

play11:51

so we will test the validity of this

play11:53

given argument

play11:55

okay so again so I think um

play12:00

so we have the volume of R the column of

play12:03

s column of f are then s

play12:10

then we have the column of if R then if

play12:14

and not s therefore are

play12:21

and so I'm adding first reference will

play12:23

be the if then truth table so I'm adding

play12:26

letter P dito will be our letter r

play12:30

adding letter Q will be our letter s

play12:34

P then Q will be if R then f

play12:39

so we have through through so we have

play12:42

here true true and false we have here

play12:45

false false through we have through

play12:47

false false we have through based on our

play12:50

little table

play12:52

and then for the next column young

play12:55

will be in reference with the trade

play12:58

column

play12:59

if r

play13:01

then s

play13:04

Eno adding letter you will be

play13:05

represented by not s

play13:09

if

play13:14

is

play13:18

false

play13:27

true or false

play13:30

if our s is false then at s will be true

play13:34

if our s is true

play13:36

the negation is false then from false it

play13:40

will become true

play13:42

foreign

play13:48

for the negation of a so young adding

play13:51

letter Q will be represented by not if

play13:55

correct conjunctions

play14:02

automatically Falls

play14:06

number one

play14:08

conjunction number two conjunction and

play14:11

the third conjunction will all be false

play14:16

applicable language

play14:20

foreign

play14:26

false falls falls through

play14:30

then for the last column

play14:33

all right

play14:37

then s and not s so will be referred to

play14:41

the fourth column is

play14:54

so it should be in order

play14:59

okay then an adding letter R so will be

play15:03

taken from the r column

play15:06

so I'm adding letter Q will be our

play15:08

letter r you know adding letter P so

play15:11

will be the fourth column so if R then s

play15:13

n that is

play15:16

conclusion if Arden is and not s

play15:20

therefore are

play15:23

through

play15:32

your number two falls through them

play15:36

number one falls through your number two

play15:38

false and true but nothing falls through

play15:41

I through

play15:44

false false some false false I through

play15:48

also

play15:50

true false so having true false

play15:53

so if that is true false

play15:56

the if then conclusion will be false so

play16:00

again the answer is not a tautology

play16:03

because marathon is unfortunatic so the

play16:05

argument will be invalid so the argument

play16:08

is invalid

play16:13

example number four we have if M then

play16:17

not K and not M therefore k

play16:22

so

play16:25

example number three Melody m

play16:33

so they will be the negation of the

play16:35

original

play16:36

proposition K and M

play16:39

so I know

play16:43

truth is

play17:03

so if M then that case if then statement

play17:08

so I'm adding letter P will be

play17:09

represented by m or adding letter Q will

play17:11

be presented by not K Peru column

play17:19

so it is true

play17:31

nothing will be taken from this column

play17:35

so I'm adding if P then Q will be

play17:37

represented by if M then not k

play17:40

okay so now we have true and false so

play17:43

you're adding m a true or nothing not k

play17:45

a false so true and false you have a

play17:47

conclusion of false

play17:49

then through and through so my camera

play17:51

through entry we have here true false

play17:53

and false so you know false and for

play17:55

sensible back so we have true also then

play17:58

Falls in through a thing Falls in

play18:00

through internet law so Falls in through

play18:01

the answer is true so when applying some

play18:03

false pass

play18:05

okay and then for our fourth column if M

play18:09

then not K and not m

play18:12

so we will make use of the conjunction

play18:14

through people as a conjunctions type of

play18:17

proposition here

play18:19

so we have here if M then not a so it

play18:24

will be

play18:25

it will replace letter P then you know I

play18:28

think you will be replaced by not m

play18:31

so if

play18:33

M then not K so it will be taken from

play18:36

the third column then you'll notice

play18:43

so that will be the negation of the

play18:45

original M column so true true that will

play18:48

be false false false false it will be

play18:50

true through

play18:52

then you're adding p and Q will be

play18:56

if M then not K and not M so if

play19:06

so false false uh answering app and I

play19:09

false true false so that will be false

play19:12

also through through that will be true

play19:14

and true true that will be true

play19:18

and for the conclusion now for the last

play19:20

columns

play19:22

if then table if then truth table so

play19:26

young adding letter P will be

play19:28

represented by if M then not K and not m

play19:33

then I think T will be represented by K

play19:42

okay if M then not K and not M then

play19:47

adding K foreign

play20:14

so we have here if M then not K and not

play20:17

M therefore K is invalid

play20:22

and then for the practice exercise

play20:24

regarding the topic arguments validity

play20:27

so we will have example number five

play20:30

practice problems you will determine if

play20:33

the argument is valid or invalid

play20:38

and then

play20:40

comment if the argument is valid or not

play20:43

in our comment box

play20:45

and that will be all for this video

play20:47

Lesson so see you on the next video have

play20:51

a nice day

Rate This

5.0 / 5 (0 votes)

Etiquetas Relacionadas
Math LessonSymbolic LogicTruth TablesArgument ValidityMathematicsCritical ThinkingVideo TutorialLogicProblem SolvingEducational
¿Necesitas un resumen en inglés?