# Truth Tree Catechism

Q: What is a truth tree?
A: A truth tree is a diagram that shows a set of compound propositions decomposed into literals following standard decomposition rules.

Q: What is a literal?
A: A simple proposition symbolized as a constant or variable, or the negation of the same.

Q: What does it mean to decompose a compound proposition?
A: It means to show the components that must be true for the decomposed proposition to be true. A fully decomposed proposition is broken down into literals.

Q: Why do some compound propositions branch when decomposed?
A:
The branching shows that there is more than one way for the proposition to be true.

Q: What does consistency mean?
A: Consistent propositions can all be true at the same time.

Q: How does the truth tree show consistency?
A: If the propositions in the set are fully decomposed into literals on at least one branch without contradiction, the propositions are consistent.

Q: What does it mean to recover the truth values?
A: It means to show the truth values of the component propositions that make every proposition in the given set true.

Q: What does SM mean?
A: It stands for Set Member; a label for a proposition in the given set.

Q: What is the meaning of the number and the symbols at the end of a row?
A: It is the justification for the decomposition, showing the number of the compound proposition that is decomposed, and the abbreviation of the rule used to decompose it.

Q: What is the meaning of the Ο at the bottom of a truth tree branch?
A: It designates an open branch, meaning that there are no contradictions on that branch.

Q: What is the meaning of the numbers separated by an Χ at the bottom of a branch?
A: The X designates a closed branch; the numbers are the line numbers of the propositions that contradict on that branch.

Q: What is the benefit of using truth trees?
A: Truth trees do the same things as truth tables — showing consistency, equivalence, validity, etc. — but in a visual way. They are a tool used in higher-level logic.

# Audit Intermediate Logic

Would you like to be a fly on the wall in my logic class? Want to improve your understanding and/or teaching of logic by watching me teach and interact with my students, discussing the lesson after the class, and having the recorded class sessions available? If so, click HERE to audit Intermediate Logic for the 2017 school year!

What’s included for Auditors? First, you have access to all the live classes. During the discussion, you will not be called upon as I do with my regular students. You are free to watch in the background by muting your mic and camera, but you also have the option of appearing to ask a question or make a comment if you’d like.

After the regular class time has ended, students leave the virtual classroom while auditors are invited to stick around for a few minutes to ask “Teacher Questions”! This is when you would have me all to yourselves as teachers. Turn on your webcams and mics, and discuss the lesson, teaching logic in general, or whatever questions you might have.

We will meet together live for online recitations Monday/Thursday from 8:00-9:30 AM (PST), or Tuesday/Friday from 8:00-9:30 AM (PST). The spring semester starts January 5/6, 2017, and goes to May 18/19, with a Winter Break in mid-February and an Easter Break in mid-April.

I hope to see you there!

# Do these truth tree branches close?

Mr. Nance,

I have a student asking me if this would be a valid way of completing this truth tree for consistency. She thinks since she already found inconsistency in the branches, that she doesn’t have to do line 3 (per lesson 24). I’m thinking that this thought process only applies if she finds it consistent, not inconsistent. She’s also asking if it matters the order they are done in (I told her non-branching first, then branching, but that I didn’t think the order mattered if it was all branching that was left). Please help me give her direction! Continue reading Do these truth tree branches close?