Question

Choose the formula that best represents the statement below. Spock is rational but Kirk is not rational. ~ K ⊃ ~ S S ⋅ ~ K S v ~ K

Answer 1

The notation “ACP” stands for “assumption for conditional proof.” This notation should not mislead anyone into thinking that there is a special or distinctive kind of assumption, namely an assumption for conditional proof. In fact there is not any special kind of assumption; there is merely an assumption, period. The notation “ACP” may nevertheless be used by the student simply for his or her own benefit to keep track of what is being done. Alternatively, the student may want to use simply the notation “A”

S v ~ K