Creating Truth Tables: Arranging Variables w/ 3+ Props

  • Thread starter Thread starter Bashyboy
  • Start date Start date
AI Thread Summary
Arranging truth values for propositional variables becomes complex with three or more variables, as each additional variable doubles the combinations. For three variables, there are eight combinations, and the first column should consist of four true (T) and four false (F) values. A systematic approach involves halving the number of rows for each subsequent variable, creating a periodic pattern in the columns. This method continues until reaching the last variable, where only one T and one F are assigned. A computer program can automate this process, efficiently generating truth tables based on the outlined algorithm.
Bashyboy
Messages
1,419
Reaction score
5
I am having a little bit of difficulty in arranging the truth value of a each propositional variable, specifically when the amount of propositional variables exceeds 2. I know if I have three propositional variables, then I have eight combinations, meaning my first column would look like:

P
T
T
T
T
F
F
F
F

Is there a general pattern to follow for creating columns for, say, Q and R?
 
Physics news on Phys.org
Think of doing a countdown in binary arithmetic.
111
110
101
100
010
...etc
If you read down the columns, the entries have a periodic pattern. The period of a column is half the period of the column to its left.
 
Count the number of distinct sentence letters, say this number is n. Then the total number of rows will be 2n. For your first sentence letter divide 2n in half. Say the result is m. So make m T's and m F's under the first letter. Then take m and divide it in half coming up with, say, p, and make p T's and p F's under the next letter. Then divide p in half and make that many T's and that many F's under the next sentence letter. Continue this process until the number you obtain by dividing in half is the number one. Then make one T and one F under the last letter until you reach the end.

As an example for 3 sentence letters there are eight possibilities. So for the first letter we make 4 (8/2) T's and 4 F's. Then we make 2 (4/2) T's and 2 F's until we reach the end. Finally, we make 1 (2/2) T and 1 F down the column until we reach the eighth row.

I have a computer program that I've written for making truth tables that uses this algorithm for filling in the possibilities.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Back
Top