Recall the example of a weighted truth table describing a single card from a normal deck of cards being placed on a table where A A A means the card is an Ace and R R R means the card is a red card:
A A A R R R 2 2 2 T \mathsf{T} T T \mathsf{T} T 2 2 2 T \mathsf{T} T F \mathsf{F} F 24 24 2 4 F \mathsf{F} F T \mathsf{T} T 24 24 2 4 F \mathsf{F} F F \mathsf{F} F
Typically, we are interested in the proportion or probability of ways that a formula can be true. For a formula X X X , let P r ( X ) Pr(X) P r ( X ) be the proportion of ways that X X X is true in a weighted truth table. This is determined as follows:
P r ( X ) = # ( X ) # ( ⊤ ) Pr(X) = \frac{\#(X)}{\#(\top)} P r ( X ) = # ( ⊤ ) # ( X ) ​ Then, we have that:
P r ( A ) = # ( A ) # ( ⊤ ) = 4 52 = 1 13 Pr(A)=\frac{\#(A)}{\#(\top)} = \frac{4}{52}=\frac{1}{13} P r ( A ) = # ( ⊤ ) # ( A ) ​ = 5 2 4 ​ = 1 3 1 ​ P r ( R ) = # ( R ) # ( ⊤ ) = 26 52 = 1 2 Pr(R)=\frac{\#(R)}{\#(\top)} = \frac{26}{52}=\frac{1}{2} P r ( R ) = # ( ⊤ ) # ( R ) ​ = 5 2 2 6 ​ = 2 1 ​ P r ( A ∧ R ) = # ( A ∧ R ) # ( ⊤ ) = 2 52 = 1 26 Pr(A\wedge R)=\frac{\#(A\wedge R)}{\#(\top)} = \frac{2}{52}=\frac{1}{26} P r ( A ∧ R ) = # ( ⊤ ) # ( A ∧ R ) ​ = 5 2 2 ​ = 2 6 1 ​ P r ( A → R ) = # ( A → R ) # ( ⊤ ) = 50 52 = 25 26 Pr(A\rightarrow R)=\frac{\#(A\rightarrow R)}{\#(\top)} = \frac{50}{52}=\frac{25}{26} P r ( A → R ) = # ( ⊤ ) # ( A → R ) ​ = 5 2 5 0 ​ = 2 6 2 5 ​ Rather than starting with a weighted truth table, in many cases it is more convenient to describe the probability of each row of a truth table directly. For example, the probabilities of each row in the above weighted truth table are:
A A A R R R 1 / 26 1/26 1 / 2 6 T \mathsf{T} T T \mathsf{T} T 1 / 26 1/26 1 / 2 6 T \mathsf{T} T F \mathsf{F} F 6 / 13 6/13 6 / 1 3 F \mathsf{F} F T \mathsf{T} T 6 / 13 6/13 6 / 1 3 F \mathsf{F} F F \mathsf{F} F
A stochastic truth table is a weighted truth table where the weights represent the proportion of ways that a row can be realized (given some process of assigning truth values to the atomic propositions).
Stochastic Truth Table A stochastic truth table is a truth table where each row is assigned a number between 0 and 1, and the sum of these numbers is 1. That is, if the stochastic truth table has n n n rows, where each row i i i is assigned the number p i p_i p i ​ , then for each i i i , 0 ≤ p i ≤ 1 0\le p_i\le 1 0 ≤ p i ​ ≤ 1 and p 1 + p 2 + ⋯ + p n = 1 p_1+p_2+\cdots + p_n=1 p 1 ​ + p 2 ​ + ⋯ + p n ​ = 1 . When row i i i is assigned the number p i p_i p i ​ , then we say that the probability of row i i i is p i p_i p i ​ .
Stochastic truth tables are used to assign probabilities to formulas.
Probability of a formula Given a stochastic truth table with a column for a formula X X X , the probability of X X X , denoted P r ( X ) Pr(X) P r ( X ) , is the sum of the probabilities of the rows where the formula is true.
For example, consider the following stochastic truth table for P ∨ Q P\vee Q P ∨ Q , P ∧ Q P\wedge Q P ∧ Q , and P → Q P\rightarrow Q P → Q :
P P P Q Q Q ( P ∨ Q ) (P\vee Q) ( P ∨ Q ) ( P ∧ Q ) (P\wedge Q) ( P ∧ Q ) ( P → Q ) (P\rightarrow Q) ( P → Q ) 0.4 0.4 0 . 4 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.2 0.2 0 . 2 T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F 0.25 0.25 0 . 2 5 F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T 0.15 0.15 0 . 1 5 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T
The probabilities of the formulas is determined as follows:
Since P ∨ Q P\vee Q P ∨ Q is true in rows 1, 2 and 3, we have P r ( P ∨ Q ) = 0.4 + 0.2 + 0.25 = 0.85 Pr(P\vee Q) = 0.4+ 0.2 + 0.25 = 0.85 P r ( P ∨ Q ) = 0 . 4 + 0 . 2 + 0 . 2 5 = 0 . 8 5 .
Since P ∧ Q P\wedge Q P ∧ Q is true in row 1, we have P r ( P ∧ Q ) = 0.4 Pr(P\wedge Q) = 0.4 P r ( P ∧ Q ) = 0 . 4 .
Since P → Q P\rightarrow Q P → Q is true in rows 1, 3 and 4, we have P r ( P → Q ) = 0.4 + 0.25 + 0.15 = 0.8 Pr(P\rightarrow Q) = 0.4 + 0.25 + 0.15 = 0.8 P r ( P → Q ) = 0 . 4 + 0 . 2 5 + 0 . 1 5 = 0 . 8 .
Tutorials# Practice Questions# Fill in the remaining truth values and find the probabilities of the formulas. P P P Q Q Q ( P ∨ Q ) (P\vee Q) ( P ∨ Q ) ¬ P \neg P ¬ P ¬ Q \neg Q ¬ Q 0.25 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F 0.25 T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T 0.25 F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F 0.25 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 ( P ∨ Q ) Pr(P\vee Q) P r ( P ∨ Q )  =  \ =\  =  0.75 0.75 0 . 7 5 P r ( ¬ P Pr(\neg P P r ( ¬ P ) =  \ =\  =  0.50 0.50 0 . 5 0 P r ( ¬ Q Pr(\neg Q P r ( ¬ Q ) =  \ =\  =  0.50 0.50 0 . 5 0
Fill in the remaining truth values and find the probabilities of the formulas.
P P P Q Q Q ( P ∨ Q ) (P\vee Q) ( P ∨ Q ) ¬ P \neg P ¬ P ¬ Q \neg Q ¬ Q ( P ∧ Q ) (P\wedge Q) ( P ∧ Q ) 0 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T 0.5 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.5 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 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F
Show truth values
P r ( P ∨ Q ) Pr(P\vee Q) P r ( P ∨ Q )  =  \ =\  =  1.00 1.00 1 . 0 0 P r ( ¬ P Pr(\neg P P r ( ¬ P ) =  \ =\  =  0.50 0.50 0 . 5 0 P r ( ¬ Q Pr(\neg Q P r ( ¬ Q ) =  \ =\  =  0.50 0.50 0 . 5 0 P r ( P ∧ Q ) Pr(P\wedge Q) P r ( P ∧ Q )  =  \ =\  =  0.00 0.00 0 . 0 0
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\vee Q) ( P ∨ Q ) ¬ P \neg P ¬ P ¬ Q \neg Q ¬ Q R R R 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 T \mathsf{T} T 0.2 T \mathsf{T} T 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.05 T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T 0.05 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F 0.05 F \mathsf{F} F 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.05 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.2 F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.2 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F
Show truth values
P r ( P ∨ Q ) Pr(P\vee Q) P r ( P ∨ Q )  =  \ =\  =  0.60 0.60 0 . 6 0 P r ( ¬ P Pr(\neg P P r ( ¬ P ) =  \ =\  =  0.50 0.50 0 . 5 0 P r ( ¬ Q Pr(\neg Q P r ( ¬ Q ) =  \ =\  =  0.50 0.50 0 . 5 0 P r ( R Pr(R P r ( R ) =  \ =\  =  0.50 0.50 0 . 5 0
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\wedge Q)\rightarrow R) ( ( P ∧ Q ) → R ) ( ¬ R → ¬ ( P ∨ Q ) ) (\neg R\rightarrow \neg (P\vee Q)) ( ¬ R → ¬ ( P ∨ Q ) ) 0.1 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.2 T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F 0.3 T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.05 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F 0.05 F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.05 F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T 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 0.15 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 ( ( P ∧ Q ) → R ) Pr((P\wedge Q)\rightarrow R) P r ( ( P ∧ Q ) → R )  =  \ =\  =  0.80 0.80 0 . 8 0 P r ( ¬ R → ¬ ( P ∨ Q ) ) Pr(\neg R\rightarrow \neg (P\vee Q)) P r ( ¬ R → ¬ ( P ∨ Q ) )  =  \ =\  =  0.70 0.70 0 . 7 0
Fill in the remaining truth values and find the probabilities of the formulas. P P P Q Q Q R R R ( P ∨ R ) (P\vee R) ( P ∨ R ) ( P ∨ Q ) (P\vee Q) ( P ∨ Q ) ( Q ∨ R ) (Q\vee R) ( Q ∨ R ) 0.1 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.2 T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0.3 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.05 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F 0.05 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.05 F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T 0.1 F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T 0.15 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 ∨ R ) Pr(P\vee R) P r ( P ∨ R )  =  \ =\  =  0.80 0.80 0 . 8 0 P r ( P ∨ Q ) Pr(P\vee Q) P r ( P ∨ Q )  =  \ =\  =  0.75 0.75 0 . 7 5 P r ( Q ∨ R ) Pr(Q\vee R) P r ( Q ∨ R )  =  \ =\  =  0.80 0.80 0 . 8 0
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 ) ( Q → P ) (Q\rightarrow P) ( Q → P ) ( ( P → Q ) ∨ ( Q → P ) ) ((P\rightarrow Q)\vee (Q\rightarrow P)) ( ( P → Q ) ∨ ( Q → P ) ) 0.2 T \mathsf{T} T 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 T \mathsf{T} T T \mathsf{T} T 0.2 F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T 0.3 F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T
Show truth values
P r ( P → Q ) Pr(P\rightarrow Q) P r ( P → Q )  =  \ =\  =  0.70 0.70 0 . 7 0 P r ( Q → P ) Pr(Q\rightarrow P) P r ( Q → P )  =  \ =\  =  0.80 0.80 0 . 8 0 P r ( ( P → Q ) ∨ ( Q → P ) ) Pr((P\rightarrow Q)\vee (Q\rightarrow P)) P r ( ( P → Q ) ∨ ( Q → P ) )  =  \ =\  =  1.00 1.00 1 . 0 0
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 ) ( ¬ P ∧ Q ) (\neg P\wedge Q) ( ¬ P ∧ Q ) ( P ∧ Q ) (P\wedge Q) ( P ∧ Q ) ( P → Q ) (P\rightarrow Q) ( P → Q ) 0.4 T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T 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 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.4 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T
Show truth values
P r ( P ∧ ¬ Q ) Pr(P\wedge \neg Q) P r ( P ∧ ¬ Q )  =  \ =\  =  0.10 0.10 0 . 1 0 P r ( ¬ P ∧ Q ) Pr(\neg P\wedge Q) P r ( ¬ P ∧ Q )  =  \ =\  =  0.10 0.10 0 . 1 0 P r ( P ∧ Q ) Pr(P\wedge Q) P r ( P ∧ Q )  =  \ =\  =  0.40 0.40 0 . 4 0 P r ( P → Q ) Pr(P\rightarrow Q) P r ( P → Q )  =  \ =\  =  0.90 0.90 0 . 9 0
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 ) ( Q → P ) (Q\rightarrow P) ( Q → P ) P P P Q Q Q 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 0.3 T \mathsf{T} T F \mathsf{F} F 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 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T 0.4 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.70 0.70 0 . 7 0 P r ( Q → P ) Pr(Q\rightarrow P) P r ( Q → P )  =  \ =\  =  0.90 0.90 0 . 9 0 P r ( P Pr(P P r ( P ) =  \ =\  =  0.50 0.50 0 . 5 0 P r ( Q Pr(Q P r ( Q ) =  \ =\  =  0.30 0.30 0 . 3 0
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 ) (\neg P\rightarrow Q) ( ¬ P → Q ) ( Q → P ) (Q\rightarrow P) ( Q → P ) ( ¬ P ∧ Q ) (\neg P\wedge Q) ( ¬ P ∧ Q ) 1 T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F 0 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F 0 F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T 0 F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F
Show truth values
P r ( P → Q ) Pr(P\rightarrow Q) P r ( P → Q )  =  \ =\  =  1.00 1.00 1 . 0 0 P r ( ¬ P → Q ) Pr(\neg P\rightarrow Q) P r ( ¬ P → Q )  =  \ =\  =  1.00 1.00 1 . 0 0 P r ( Q → P ) Pr(Q\rightarrow P) P r ( Q → P )  =  \ =\  =  1.00 1.00 1 . 0 0 P r ( ¬ P ∧ Q ) Pr(\neg P\wedge Q) P r ( ¬ P ∧ Q )  =  \ =\  =  0.00 0.00 0 . 0 0
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\vee Q) ( P ∨ Q ) ( P → Q ) (P\rightarrow Q) ( P → Q ) ( Q → R ) (Q\rightarrow R) ( Q → R ) ( P → R ) (P\rightarrow R) ( P → R ) 0 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 T \mathsf{T} T 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.25 T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T 0.25 T \mathsf{T} T F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F 0.25 F \mathsf{F} F 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.25 F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T 0 F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T 0 F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F F \mathsf{F} F T \mathsf{T} T T \mathsf{T} T T \mathsf{T} T
Show truth values
P r ( P ∨ Q ) Pr(P\vee Q) P r ( P ∨ Q )  =  \ =\  =  1.00 1.00 1 . 0 0 P r ( P → Q ) Pr(P\rightarrow Q) P r ( P → Q )  =  \ =\  =  0.50 0.50 0 . 5 0 P r ( Q → R ) Pr(Q\rightarrow R) P r ( Q → R )  =  \ =\  =  0.75 0.75 0 . 7 5 P r ( P → R ) Pr(P\rightarrow R) P r ( P → R )  =  \ =\  =  0.75 0.75 0 . 7 5