No mathematician today would flatly refuse to accept the results of an enormous computation as an adequate demonstrat...

Kellan October 14, 2018

Connecting the PR with the Some

When you were connecting the PR (Mt - raec) with the some statement, you said, "does the sufficient of the 1st principle rule match any on the right side variable of any some statement". 1. Do you match these on all must be true questions? Is this how you would find the answer? 2. What if there is not a match? 3. If there were two principle rules would I follow the same procedure? - Thanks for the help.

Create a free account to read and take part in forum discussions.

Already have an account? log in

Mehran October 18, 2018

@Kellan here are the answers to your questions.

(1) Yes, remember the idea is what we can properly conclude, i.e. what must be true or what follows logically.

(2) If they do not share the sufficient condition in common, we would not be able to make a valid deduction. The one exception to this rule is the two most statements with the left side in common.

(3) If two principles, we wouldn't be looking for the sufficient condition in common but rather the ability to create a transitive chain.

For example:

P1: A ==> B
P2: B ==> C

C: A ==> C

This conclusion follows from the following transitive chain:

A ==> B ==> C

Hope that helps! Please let us know if you have any other questions.