Write truth tables for the statement forms in 12-15. p ∧(q...

Key Concepts

Associativity in Logical Connectives

Associativity is a property of certain logical operators, like conjunction, where the way in which terms are grouped does not affect the outcome of the expression. This is important for simplifying and understanding the structure of compound statements in propositional logic.

Compound Statements

Compound statements consist of two or more simple statements combined using logical connectives, such as conjunction, disjunction, and negation. Their truth values depend on both the individual truth values of the simple statements and the nature of the connectives that combine them.

Truth Table

A truth table is a systematic method for listing all possible truth value combinations for the atomic propositions in a logical statement, allowing one to determine the overall truth value of the compound statement under each combination. It is fundamental in propositional logic for verifying equivalences, testing validity, and understanding logical relationships.

Logical Conjunction

Logical conjunction, represented by the symbol ?, is an operator in propositional logic that yields true if and only if both operands are true. It is key in forming compound statements and evaluating their truth by combining simpler propositions.

Transcript

00:01 So for number 41, we're told to write a truth table for a compound statement, p and q or r.

00:08 Since we have three statements, that means we're going to have eight columns.

00:12 To find that value, it's just two to the power of how many, the number of statements you have.

00:17 So there's going to be two to the power of three, which equals eight.

00:22 And we split up our columns into our three statements, our statement q or r, and our overall compound statement, p and q or r.

00:30 So we'll start with p.

00:33 For p, we're just going to have our eight values, which are four truths, four truths and four falses.

00:43 Then for q, we'll go through and start matching them up.

00:48 So for q, we could have a truth, we could have two truths and two falses.

00:57 And for falses, we could have two falses and two truths.

01:03 And lastly for r, if we had two truths here, we could have a false or a truth.

01:13 For our two true falses, we could have a false or a truth.

01:20 For our two double falses, we could have a false or a truth.

01:24 And for our two false truths, we could have a false or truth.

01:30 So now we have our eight possible combinations of true and false.

01:35 Pq and r.

01:37 So our next step is we'll use our values for q and r to determine when q or r will be true.

01:43 And since there's or, only one of these columns has to have a t in it for the statement to be true.

01:52 So this was going to be, our first two are both going to be true since they both have in the first one, q is true.

01:58 And our second one, they're both true.

02:00 Our third will be false, since q and r both false.

02:04 And remember we're ignoring p for this for q or r.

02:06 P will come back in whenever we do the final statement...

Please give Ace some feedback