Suppose that you flip two fair coins. There are 4 possible outcomes of the two flips:
H H H\ H H H (both coins land heads),H T H\ T H T (the first coin lands heads and the second coin lands tails),T H T\ H T H (the first coin lands tails and the second coin lands heads), andT T T\ T T T (both coins land tails).Since the coins are fair , for each coin, the probability that the coin lands heads (respectively, tails) is 0.5 0.5 0.5 . Since we are flipping two different coins (so the flips are independent ), the probability of each of the outcomes is 0.25 0.25 0.25 . Suppose that P P P means "the first coin landed heads" and Q Q Q means "the second coin landed heads". The following stochastic truth table summarizes the above information:
P P P Q Q Q 0.25 0.25 0.25 T \mathsf{T} T T \mathsf{T} T 0.25 0.25 0.25 T \mathsf{T} T F \mathsf{F} F 0.25 0.25 0.25 F \mathsf{F} F T \mathsf{T} T 0.25 0.25 0.25 F \mathsf{F} F F \mathsf{F} F
Then, as expected, P r ( P ) = P r ( Q ) = 0.5 Pr(P)=Pr(Q)=0.5 P r ( P ) = P r ( Q ) = 0.5 (the probability that each coin lands heads is 0.5 0.5 0.5 ). What is the probability that "at least one coin lands heads"?
show answer
Suppose that we learn that at least one of the coins landed heads. That is, we learn that ( ( P ∧ Q ) ∨ ( P ∧ ¬ Q ) ∨ ( ¬ P ∧ Q ) ) ((P\wedge Q)\vee (P\wedge \neg Q)\vee (\neg P\wedge Q)) (( P ∧ Q ) ∨ ( P ∧ ¬ Q ) ∨ ( ¬ P ∧ Q )) is true. Given this information about the outcome of the flip of the two coins, what is the probability that the second coin landed heads?
Since we learned something about the flip of the coins, we need to change the probabilities assigned to each row in the above stochastic truth table. We learned that there is no chance that both P P P and Q Q Q are false. So, row 4 should be assigned 0. However, simply changing the last row of the truth table to 0 is not the only change we need to make. The sum of the numbers assigned to each row of a stochastic truth table must be 1, so we must change the numbers assigned to the first three rows (otherwise the sum of the rows would be 0.25 + 0.25 + 0.25 + 0 = 0.75 0.25 + 0.25 +0.25 +0 = 0.75 0.25 + 0.25 + 0.25 + 0 = 0.75 ). Thus, we need to find three numbers: a a a assigned to row 1, b b b assigned to row 2 and c c c assigned to row 3 such that a + b + c = 1. a+b+c=1. a + b + c = 1.
Of course, there are infinitely many numbers a a a , b b b and c c c that sum to 1. We can determine which numbers to assign to the first three rows as follows: Note that the information that we learned (that at least one of the coins is heads) should not change any of the relationships between the probabilities assigned to the first three rows. For instance, before learning the new information, the probability assigned to the first row is the same as the probability assigned to the second row. Learning that at least one coin landed heads should not change this relationship. Thus, we need three numbers a a a , b b b , and c c c such that a + b + c = 1 a+b+c=1 a + b + c = 1 and a = b = c a=b=c a = b = c . The unique solution to this is a = b = c = 1 3 a=b=c=\frac{1}{3} a = b = c = 3 1 . That is, after learning the information, we have the following stochastic truth table:
P P P Q Q Q 1 / 3 1/3 1/3 T \mathsf{T} T T \mathsf{T} T 1 / 3 1/3 1/3 T \mathsf{T} T F \mathsf{F} F 1 / 3 1/3 1/3 F \mathsf{F} F T \mathsf{T} T 0 0 0 F \mathsf{F} F F \mathsf{F} F
After learning that at least one coin landed heads, the probability that the second coin landed heads is 2 3 \frac{2}{3} 3 2 (i.e., P r ( Q ) = 2 3 Pr(Q)=\frac{2}{3} P r ( Q ) = 3 2 ). Furthermore, note that in the above stochastic truth table, P r ( ( P ∧ Q ) ∨ ( P ∧ ¬ Q ) ∨ ( ¬ P ∧ Q ) ) ) = 1 Pr((P\wedge Q)\vee (P\wedge \neg Q)\vee (\neg P\wedge Q)))=1 P r (( P ∧ Q ) ∨ ( P ∧ ¬ Q ) ∨ ( ¬ P ∧ Q ))) = 1 , as expected.
We will now introduce some notation that allows us to talk about probabilities after learning some information.
Conditional Probability Suppose that X X X and Y Y Y are formulas. The conditional probability of X X X given Y Y Y is denoted P r ( X ∣ Y ) Pr(X\ |\ Y) P r ( X ∣ Y ) . The conditional probability of X X X given Y Y Y is calculated as follows:
P r ( X ∣ Y ) = P r ( X ∧ Y ) P r ( Y ) . Pr(X\ |\ Y) = \frac{Pr(X\wedge Y)}{Pr(Y)}. P r ( X ∣ Y ) = P r ( Y ) P r ( X ∧ Y ) . We assume that P r ( Y ) > 0 Pr(Y) > 0 P r ( Y ) > 0 . Otherwise, the conditional probability P r ( X ∣ Y ) Pr(X\ |\ Y) P r ( X ∣ Y ) is undefined.
Example Given the original stochastic truth table given at the beginning of this section:
P P P Q Q Q 0.25 0.25 0.25 T \mathsf{T} T T \mathsf{T} T 0.25 0.25 0.25 T \mathsf{T} T F \mathsf{F} F 0.25 0.25 0.25 F \mathsf{F} F T \mathsf{T} T 0.25 0.25 0.25 F \mathsf{F} F F \mathsf{F} F
We have the following:
If Y Y Y is the formula ( P ∧ Q ) ∨ ( ( P ∧ ¬ Q ) ∨ ( ¬ P ∧ Q ) ) (P\wedge Q)\vee ((P\wedge \neg Q)\vee (\neg P\wedge Q)) ( P ∧ Q ) ∨ (( P ∧ ¬ Q ) ∨ ( ¬ P ∧ Q )) , then:
Tutorial Consult https://setosa.io/conditional/ for a very nice interactive tutorial illustrating conditional probability (note that this website uses "A ∩ B A\cap B A ∩ B " instead of "A ∧ B A\wedge B A ∧ B ")
Practice Questions Fill in the remaining truth values and find the probabilities of the formulas.
P P P Q Q Q ( P ∧ Q ) (P\wedge Q) ( P ∧ Q ) ( Q ∧ P ) (Q\wedge P) ( Q ∧ P ) 0.2 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.3 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.3 F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F 0.2 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F
Show truth values
P r ( P ∣ Q ) = Pr(P\mid Q)\ =\ P r ( P ∣ Q ) = P r ( P ∧ Q ) Pr(P\wedge Q) P r ( P ∧ Q ) / / / P r ( Q ) Pr(Q) P r ( Q ) = \ =\ = 0.20 0.20 0.20 / / / 0.50 0.50 0.50 = 0.400 \ =\ 0.400 = 0.400 P r ( Q ∣ P ) = Pr(Q\mid P)\ =\ P r ( Q ∣ P ) = P r ( Q ∧ P ) Pr(Q\wedge P) P r ( Q ∧ P ) / / / P r ( P ) Pr(P) P r ( P ) = \ =\ = 0.20 0.20 0.20 / / / 0.50 0.50 0.50 = 0.400 \ =\ 0.400 = 0.400
Fill in the remaining truth values and find the probabilities of the formulas.
P P P Q Q Q ( P ∧ Q ) (P\wedge Q) ( P ∧ Q ) ( Q ∧ P ) (Q\wedge P) ( Q ∧ P ) 0.2 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.3 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.35 F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F 0.15 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F
Show truth values
P r ( P ∣ Q ) = Pr(P\mid Q)\ =\ P r ( P ∣ Q ) = P r ( P ∧ Q ) Pr(P\wedge Q) P r ( P ∧ Q ) / / / P r ( Q ) Pr(Q) P r ( Q ) = \ =\ = 0.20 0.20 0.20 / / / 0.55 0.55 0.55 = 0.364 \ =\ 0.364 = 0.364 P r ( Q ∣ P ) = Pr(Q\mid P)\ =\ P r ( Q ∣ P ) = P r ( Q ∧ P ) Pr(Q\wedge P) P r ( Q ∧ P ) / / / P r ( P ) Pr(P) P r ( P ) = \ =\ = 0.20 0.20 0.20 / / / 0.50 0.50 0.50 = 0.400 \ =\ 0.400 = 0.400
Fill in the remaining truth values and find the probabilities of the formulas.
P P P Q Q Q ( P → Q ) (P\rightarrow Q) ( P → Q ) ( P ∧ Q ) (P\wedge Q) ( P ∧ Q ) ( Q ∧ P ) (Q\wedge P) ( Q ∧ P ) 0 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.5 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.5 F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F 0 F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F
Show truth values
P r ( P → Q ) Pr(P\rightarrow Q) P r ( P → Q ) = \ =\ = 0.50 0.50 0.50 P r ( P ∣ Q ) = Pr(P\mid Q)\ =\ P r ( P ∣ Q ) = P r ( P ∧ Q ) Pr(P\wedge Q) P r ( P ∧ Q ) / / / P r ( Q ) Pr(Q) P r ( Q ) = \ =\ = 0.00 0.00 0.00 / / / 0.50 0.50 0.50 = 0.000 \ =\ 0.000 = 0.000 P r ( Q ∣ P ) = Pr(Q\mid P)\ =\ P r ( Q ∣ P ) = P r ( Q ∧ P ) Pr(Q\wedge P) P r ( Q ∧ P ) / / / P r ( P ) Pr(P) P r ( P ) = \ =\ = 0.00 0.00 0.00 / / / 0.50 0.50 0.50 = 0.000 \ =\ 0.000 = 0.000
Fill in the remaining truth values and find the probabilities of the formulas.
P P P Q Q Q ( P ∧ ( P ∨ Q ) ) (P\wedge (P\vee Q)) ( P ∧ ( P ∨ Q )) ( P ∨ Q ) (P\vee Q) ( P ∨ Q ) 0.1 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.2 T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T 0.6 F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T 0.1 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F
Show truth values
P r ( P ∣ ( P ∨ Q ) ) = Pr(P\mid (P\vee Q))\ =\ P r ( P ∣ ( P ∨ Q )) = P r ( P ∧ ( P ∨ Q ) ) Pr(P\wedge (P\vee Q)) P r ( P ∧ ( P ∨ Q )) / / / P r ( P ∨ Q ) Pr(P\vee Q) P r ( P ∨ Q ) = \ =\ = 0.30 0.30 0.30 / / / 0.90 0.90 0.90 = 0.333 \ =\ 0.333 = 0.333
Fill in the remaining truth values and find the probabilities of the formulas. (Compare this answer with the previous problem.)
P P P Q Q Q ( Q ∧ ( P ∨ Q ) ) (Q\wedge (P\vee Q)) ( Q ∧ ( P ∨ Q )) ( P ∨ Q ) (P\vee Q) ( P ∨ Q ) 0.1 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.2 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T 0.6 F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.1 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F
Show truth values
P r ( Q ∣ ( P ∨ Q ) ) = Pr(Q\mid (P\vee Q))\ =\ P r ( Q ∣ ( P ∨ Q )) = P r ( Q ∧ ( P ∨ Q ) ) Pr(Q\wedge (P\vee Q)) P r ( Q ∧ ( P ∨ Q )) / / / P r ( P ∨ Q ) Pr(P\vee Q) P r ( P ∨ Q ) = \ =\ = 0.70 0.70 0.70 / / / 0.90 0.90 0.90 = 0.778 \ =\ 0.778 = 0.778
Fill in the remaining truth values and find the probabilities of the formulas.
P P P Q Q Q ( P ∧ ¬ Q ) (P\wedge \neg Q) ( P ∧ ¬ Q ) ¬ Q \neg Q ¬ Q ( P ∧ Q ) (P\wedge Q) ( P ∧ Q ) 0.3 T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T 0.1 T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F 0.1 F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.5 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F
Show truth values
P r ( P ∣ ¬ Q ) = Pr(P\mid \neg Q)\ =\ P r ( P ∣ ¬ Q ) = P r ( P ∧ ¬ Q ) Pr(P\wedge \neg Q) P r ( P ∧ ¬ Q ) / / / P r ( ¬ Q ) Pr(\neg Q) P r ( ¬ Q ) = \ =\ = 0.10 0.10 0.10 / / / 0.60 0.60 0.60 = 0.167 \ =\ 0.167 = 0.167 P r ( P ∣ Q ) = Pr(P\mid Q)\ =\ P r ( P ∣ Q ) = P r ( P ∧ Q ) Pr(P\wedge Q) P r ( P ∧ Q ) / / / P r ( Q ) Pr(Q) P r ( Q ) = \ =\ = 0.30 0.30 0.30 / / / 0.40 0.40 0.40 = 0.750 \ =\ 0.750 = 0.750
Fill in the remaining truth values and find the probabilities of the formulas.
P P P Q Q Q ( P ∧ Q ) (P\wedge Q) ( P ∧ Q ) ( ¬ P ∧ Q ) (\neg P\wedge Q) ( ¬ P ∧ Q ) 0.3 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F 0.1 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.1 F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T 0.5 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F
Show truth values
P r ( P ∣ Q ) = Pr(P\mid Q)\ =\ P r ( P ∣ Q ) = P r ( P ∧ Q ) Pr(P\wedge Q) P r ( P ∧ Q ) / / / P r ( Q ) Pr(Q) P r ( Q ) = \ =\ = 0.30 0.30 0.30 / / / 0.40 0.40 0.40 = 0.750 \ =\ 0.750 = 0.750 P r ( ¬ P ∣ Q ) = Pr(\neg P\mid Q)\ =\ P r ( ¬ P ∣ Q ) = P r ( ¬ P ∧ Q ) Pr(\neg P\wedge Q) P r ( ¬ P ∧ Q ) / / / P r ( Q ) Pr(Q) P r ( Q ) = \ =\ = 0.10 0.10 0.10 / / / 0.40 0.40 0.40 = 0.250 \ =\ 0.250 = 0.250
Fill in the remaining truth values and find the probabilities of the formulas.
P P P Q Q Q ( ( P → Q ) ∧ P ) ((P\rightarrow Q)\wedge P) (( P → Q ) ∧ P ) ( ( Q → P ) ∧ P ) ((Q\rightarrow P)\wedge P) (( Q → P ) ∧ P ) 0.2 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.2 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T 0.3 F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F 0.3 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F
Show truth values
P r ( ( P → Q ) ∣ P ) = Pr((P\rightarrow Q)\mid P)\ =\ P r (( P → Q ) ∣ P ) = P r ( ( P → Q ) ∧ P ) Pr((P\rightarrow Q)\wedge P) P r (( P → Q ) ∧ P ) / / / P r ( P ) Pr(P) P r ( P ) = \ =\ = 0.20 0.20 0.20 / / / 0.40 0.40 0.40 = 0.500 \ =\ 0.500 = 0.500 P r ( ( Q → P ) ∣ P ) = Pr((Q\rightarrow P)\mid P)\ =\ P r (( Q → P ) ∣ P ) = P r ( ( Q → P ) ∧ P ) Pr((Q\rightarrow P)\wedge P) P r (( Q → P ) ∧ P ) / / / P r ( P ) Pr(P) P r ( P ) = \ =\ = 0.40 0.40 0.40 / / / 0.40 0.40 0.40 = 1.000 \ =\ 1.000 = 1.000
Fill in the remaining truth values and find the probabilities of the formulas.
P P P Q Q Q R R R ( ( P → Q ) ∧ R ) ((P\rightarrow Q)\wedge R) (( P → Q ) ∧ R ) ( ¬ P ∧ R ) (\neg P\wedge R) ( ¬ P ∧ R ) ( Q ∧ R ) (Q\wedge R) ( Q ∧ R ) 0.2 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T 0.1 T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.1 T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.1 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.1 F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.1 F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.1 F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F 0.2 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F
Show truth values
P r ( ( P → Q ) ∣ R ) = Pr((P\rightarrow Q)\mid R)\ =\ P r (( P → Q ) ∣ R ) = P r ( ( P → Q ) ∧ R ) Pr((P\rightarrow Q)\wedge R) P r (( P → Q ) ∧ R ) / / / P r ( R ) Pr(R) P r ( R ) = \ =\ = 0.40 0.40 0.40 / / / 0.50 0.50 0.50 = 0.800 \ =\ 0.800 = 0.800 P r ( ¬ P ∣ R ) = Pr(\neg P\mid R)\ =\ P r ( ¬ P ∣ R ) = P r ( ¬ P ∧ R ) Pr(\neg P\wedge R) P r ( ¬ P ∧ R ) / / / P r ( R ) Pr(R) P r ( R ) = \ =\ = 0.20 0.20 0.20 / / / 0.50 0.50 0.50 = 0.400 \ =\ 0.400 = 0.400 P r ( Q ∣ R ) = Pr(Q\mid R)\ =\ P r ( Q ∣ R ) = P r ( Q ∧ R ) Pr(Q\wedge R) P r ( Q ∧ R ) / / / P r ( R ) Pr(R) P r ( R ) = \ =\ = 0.30 0.30 0.30 / / / 0.50 0.50 0.50 = 0.600 \ =\ 0.600 = 0.600
Fill in the remaining truth values and find the probabilities of the formulas.
P P P Q Q Q R R R ( P → Q ) (P\rightarrow Q) ( P → Q ) ( P → R ) (P\rightarrow R) ( P → R ) ( Q ∧ P ) (Q\wedge P) ( Q ∧ P ) ( R ∧ P ) (R\wedge P) ( R ∧ P ) 0.2 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.1 T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F 0.1 T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T 0.1 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.1 F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F 0.1 F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F 0.1 F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F 0.2 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F
Show truth values
P r ( P → Q ) Pr(P\rightarrow Q) P r ( P → Q ) = \ =\ = 0.80 0.80 0.80 P r ( P → R ) Pr(P\rightarrow R) P r ( P → R ) = \ =\ = 0.80 0.80 0.80 P r ( Q ∣ P ) = Pr(Q\mid P)\ =\ P r ( Q ∣ P ) = P r ( Q ∧ P ) Pr(Q\wedge P) P r ( Q ∧ P ) / / / P r ( P ) Pr(P) P r ( P ) = \ =\ = 0.30 0.30 0.30 / / / 0.50 0.50 0.50 = 0.600 \ =\ 0.600 = 0.600 P r ( R ∣ P ) = Pr(R\mid P)\ =\ P r ( R ∣ P ) = P r ( R ∧ P ) Pr(R\wedge P) P r ( R ∧ P ) / / / P r ( P ) Pr(P) P r ( P ) = \ =\ = 0.30 0.30 0.30 / / / 0.50 0.50 0.50 = 0.600 \ =\ 0.600 = 0.600
Fill in the remaining truth values and find the probabilities of the formulas.
A A A B B B C C C ( ( A ∧ B ) ∧ C ) ((A\wedge B)\wedge C) (( A ∧ B ) ∧ C ) ( ( C → B ) ∧ ¬ B ) ((C\rightarrow B)\wedge \neg B) (( C → B ) ∧ ¬ B ) ¬ B \neg B ¬ B 0.2 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F 0.1 T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.1 T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T 0.2 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T 0.1 F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.1 F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.1 F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T 0.1 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T
Show truth values
P r ( ( A ∧ B ) ∣ C ) = Pr((A\wedge B)\mid C)\ =\ P r (( A ∧ B ) ∣ C ) = P r ( ( A ∧ B ) ∧ C ) Pr((A\wedge B)\wedge C) P r (( A ∧ B ) ∧ C ) / / / P r ( C ) Pr(C) P r ( C ) = \ =\ = 0.20 0.20 0.20 / / / 0.50 0.50 0.50 = 0.400 \ =\ 0.400 = 0.400 P r ( ( C → B ) ∣ ¬ B ) = Pr((C\rightarrow B)\mid \neg B)\ =\ P r (( C → B ) ∣ ¬ B ) = P r ( ( C → B ) ∧ ¬ B ) Pr((C\rightarrow B)\wedge \neg B) P r (( C → B ) ∧ ¬ B ) / / / P r ( ¬ B ) Pr(\neg B) P r ( ¬ B ) = \ =\ = 0.30 0.30 0.30 / / / 0.50 0.50 0.50 = 0.600 \ =\ 0.600 = 0.600
Fill in the remaining truth values and find the probabilities of the formulas.
A A A B B B C C C ( ( A ∨ B ) ∧ C ) ((A\vee B)\wedge C) (( A ∨ B ) ∧ C ) ( ( B → C ) ∧ ¬ B ) ((B\rightarrow C)\wedge \neg B) (( B → C ) ∧ ¬ B ) ¬ B \neg B ¬ B 0.2 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F 0.1 T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.1 T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.2 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T 0.1 F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F 0.1 F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.1 F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T 0.1 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T
Show truth values
P r ( ( A ∨ B ) ∣ C ) = Pr((A\vee B)\mid C)\ =\ P r (( A ∨ B ) ∣ C ) = P r ( ( A ∨ B ) ∧ C ) Pr((A\vee B)\wedge C) P r (( A ∨ B ) ∧ C ) / / / P r ( C ) Pr(C) P r ( C ) = \ =\ = 0.40 0.40 0.40 / / / 0.50 0.50 0.50 = 0.800 \ =\ 0.800 = 0.800 P r ( ( B → C ) ∣ ¬ B ) = Pr((B\rightarrow C)\mid \neg B)\ =\ P r (( B → C ) ∣ ¬ B ) = P r ( ( B → C ) ∧ ¬ B ) Pr((B\rightarrow C)\wedge \neg B) P r (( B → C ) ∧ ¬ B ) / / / P r ( ¬ B ) Pr(\neg B) P r ( ¬ B ) = \ =\ = 0.50 0.50 0.50 / / / 0.50 0.50 0.50 = 1.000 \ =\ 1.000 = 1.000