- Fri Nov 06, 2020 2:37 pm
#80805
Hi,
I've read the full Formal Logic PDF and am working on the drills and reviewing with Answer Key. On #4 of the Drill: Additive Inference Drill, I realized I incorrectly wrote the diagram and the inference I made is incorrect but I don't understand how the inferences on the Answer Key are correct.
diagram: S T U V
Inference 1: T V
I don't understand why this inference is made because I thought we couldn't have 2 Inferences. Also because this is a compound statement I wasn't clear on which variable was in the middle to be able to make inference about. In this case T is a closed variable. How can we determine to use T to make inference? I don't think the PDF specified on the point of how or which closed variables will/won't lead to inference. Can someone elaborate on this method?
Inference 2: U S
I don't understand why this inference is made because since this is a compound statement I wasn't clear on which variable was in the middle to be able to make inference about. From the PDF explanation (pg. 27) I understood to start with open variables which in this case are S and V. So I'm confused on how can we determine to use closed variable U to make inference? I don't think the PDF specified on the point of how or which closed variables will/won't lead to inference. Can someone elaborate on this method?
Inference 3: S V
To clarify, this inference is made because in Compound Statements the open variables can be incorporated in the "Some" train to make inferences, correct?
Thanks in advance!
I've read the full Formal Logic PDF and am working on the drills and reviewing with Answer Key. On #4 of the Drill: Additive Inference Drill, I realized I incorrectly wrote the diagram and the inference I made is incorrect but I don't understand how the inferences on the Answer Key are correct.
diagram: S T U V
Inference 1: T V
I don't understand why this inference is made because I thought we couldn't have 2 Inferences. Also because this is a compound statement I wasn't clear on which variable was in the middle to be able to make inference about. In this case T is a closed variable. How can we determine to use T to make inference? I don't think the PDF specified on the point of how or which closed variables will/won't lead to inference. Can someone elaborate on this method?
Inference 2: U S
I don't understand why this inference is made because since this is a compound statement I wasn't clear on which variable was in the middle to be able to make inference about. From the PDF explanation (pg. 27) I understood to start with open variables which in this case are S and V. So I'm confused on how can we determine to use closed variable U to make inference? I don't think the PDF specified on the point of how or which closed variables will/won't lead to inference. Can someone elaborate on this method?
Inference 3: S V
To clarify, this inference is made because in Compound Statements the open variables can be incorporated in the "Some" train to make inferences, correct?
Thanks in advance!