Questions on Logic: Proofs answered by real tutors!

Tutors Answer Your Questions about Proofs (FREE)

Question 1139588: Use conditional proof:

1. N ⊃ (F • A)
2. B ⊃ (R • F) / (N ∨ B) ⊃ (A ∨ R)

Click here to see answer by Edwin McCravy(20054)

Question 1139588: Use conditional proof:

1. N ⊃ (F • A)
2. B ⊃ (R • F) / (N ∨ B) ⊃ (A ∨ R)

Click here to see answer by jim_thompson5910(35256)

Question 1140111: 1. G⊃(H⊃K)
2. (H∨∼M)⊃∼K
3. H / ∼G ∨ ∼H
Click here to see answer by Edwin McCravy(20054)

Question 1140110: 1. K⊃L
2. ∼(L•F)
3. F / ∼K
Click here to see answer by Edwin McCravy(20054)

Question 1140109: 1. N⊃(∼R⊃C)
2. ∼C
/ ∼R ⊃ ∼N
Click here to see answer by Edwin McCravy(20054)

Question 1139914: Create a proof for the following argument:
1. D ⊃ (∼G ⊃ ∼H)
2. (K ∨ M) ⊃ H
3. G ∨ D
4. ∼G /∼(K ∨ M)
5.
Click here to see answer by Edwin McCravy(20054)

Question 1139913: Create proof for the following argument
1. (H ∨ M) ∨ L
2. L ⊃ H
3. H ⊃ (M ⊃ H)
4. ∼(M ⊃ H) /M
5.
Click here to see answer by Edwin McCravy(20054)

Question 1139912: Create a proof for the following argument
1. ∼(F • J) ⊃ (∼J ⊃ K)
2. ∼(F • J)
3. ∼K /∼∼J
4.
Click here to see answer by Edwin McCravy(20054)

Question 1140648: solve the proof:
A ● ~A ∴ B
Click here to see answer by Edwin McCravy(20054)

Question 1140654: Prove as a theorem: A ∨ ~A
Click here to see answer by math_helper(2461)

Question 1140916: Hello, my question is:
If x>y>z then prove xy + yz > (x+y)(y+z) / 2
Thanks in advance for your help!
Click here to see answer by KMST(5328)

Question 1140965: How would you prove this argument valid ?
1. A > H
2. G > S
3. ~ K > (A v G)
4. ~ K & D
5.( H v S)> J /J
Click here to see answer by math_helper(2461)

Question 1141037: 1. ∼R v P
2. R v ∼P / R ≡ P
Click here to see answer by Edwin McCravy(20054)

Question 1141036: 1. H ⊃ (B ⊃ ∼M)
2. T ⊃ (H • M) / T ⊃ ∼B
Click here to see answer by Edwin McCravy(20054)

Question 1141257: (D • E) ∨ F, F → C, (D • E) → ∼B, (∼B ∨ C) → (A → P), ∼P ∴ ∼A
Click here to see answer by Edwin McCravy(20054)

Question 1139330: A → (B → C) ├ (B & A) → C
Click here to see answer by Edwin McCravy(20054)

Question 1141256: ∼F → ∼G, P → ∼Q, ∼F ∨ P, (∼G ∨ ∼Q) → (L • M) ∴ L
Click here to see answer by Edwin McCravy(20054)

Question 1141255: F → A, ∼J • ∼K, H → (G → F), ∼K → (∼J → H) ∴ G → A
Click here to see answer by Edwin McCravy(20054)

Question 1141422: Hello ! My question would be a philosophy logic
Use all of the conditional proof and the
Use all of the conditional proof and the rules of inference

1. ~M / T ⊃ (V · ~M)
2. T ⊃ W
3. W ⊃ V

Click here to see answer by Edwin McCravy(20054)

Question 1141421: Use all of the conditional proof and the
Use all of the conditional proof and the rules of inference

1. ~M / T ⊃ (V · ~M)
2. T ⊃ W
3. W ⊃ V

Click here to see answer by Edwin McCravy(20054)

Question 1141206: (G • S) → D
(S → D) → P
G / P
Click here to see answer by Edwin McCravy(20054)

Question 1141413: Use an ordinary proof (not conditional or indirect proof):
1.
G ⊃ (H ⊃ K)

2.
(H ∨ ∼M) ⊃ ∼K

3.
H
/ ∼G
Click here to see answer by Edwin McCravy(20054)

Question 1141207: A → ~B
~ (C • ~A) / C → ~B
Click here to see answer by Edwin McCravy(20054)

Question 1141500: premise (P&Q)V(R&S)
Premise R->L
goal ~P->L
Click here to see answer by Edwin McCravy(20054)

Question 1142561: P · (Q ∨ R), Q ⊃ S, R ⊃ T ∴ ~T ⊃ S
Click here to see answer by Edwin McCravy(20054)

Question 1142574: Solve this proof below with formal proof these are all valid arguments. All premises are separated by commas.
~P, ~Q ∴ ~(P ∨ Q)

Click here to see answer by math_helper(2461)

Question 1142573: Solve this one proof below with formal proof (these are all valid arguments). all premises are separated by commas.
(P ∨ Q) · ~R, ~R ⊃ (S · ~P), Q ⊃ (P ∨ T) ∴ T ∨ U
Click here to see answer by Edwin McCravy(20054)

Question 1142575: Solve this proof below with formal proof these are all valid arguments. All premises are separated by commas.
~(P · ~Q) ∴ P ⊃ Q

Click here to see answer by Edwin McCravy(20054)

Question 1142475: Use natural deduction to derive the conclusion in each problem.

Use an ordinary proof (not conditional or indirect proof):

1. K ⊃ L
2. ∼K ∨ F
3. (L • F) ⊃ A
4. ∼A / ∼K
Click here to see answer by Edwin McCravy(20054)

Question 1142548: 1. S v ~N
2. ~S v Q
3. N>Q
Click here to see answer by math_helper(2461)

Question 1142551: 1. I v (N&F)
2. I > F
3. F
Click here to see answer by solver91311(24713)

Question 1142550: 1. J>(G>L)
2. G>(J>L)
Click here to see answer by solver91311(24713)

Question 1142549: 1. ~H>B
2. ~H>D
3. ~(B&D)
4. H
Click here to see answer by solver91311(24713)

Question 1143397: Hello,
Can you help me with the following Logic Proof?
1. ∼F ⊃ [∼G ⊃ (∼F ⊃ ∼L)]
2. G ∨ ∼F
3. ∼G
/~L
Thank You

Click here to see answer by Edwin McCravy(20054)

Question 1143701: Solve the following proof: 1. A -> B
2. B -> ~A
3. (A v D) v E
4. (D v E) -> F / F

Click here to see answer by math_helper(2461)

Question 1144033: Construct a formal proof of validity for the following argument
~B v [(C⊃D) · (E⊃D)]
B · (C v E)
Therefore, D
Click here to see answer by math_helper(2461)

Question 1144471: the smaller of two integeres,x and x+3,multiplied by 3,and then added to the other integer,the sum of two integer is 100,what is the larger integer?
Click here to see answer by greenestamps(13198)

Question 1147961: Hello,
I have a proof I am trying to write up with the following premises:
(P^Q)v(R^S)
R->L
And I am trying to prove
~P->L
Here is what I have done so far:
|(P^Q)v(R^S)
|R->L
|_
| |P^Q
| |_
| |P
| |PvR
|
| |R^S
| |_
| |R
| |PvR
|PvR
|
| |R
| |_
| |L
| |R^L

If needed I can clarify what rules I am using to justify each step, the last two are the only ones I cannot properly justify. Am I on the right track or completely off? And please let me know if my notation is hard to read/bad form, I want to learn.
Thank you.
Click here to see answer by math_helper(2461)

Question 1149080: Use an ordinary proof (not conditional or indirect proof):

1. M⊃(R • E)
2. (E∨H)⊃G / M⊃G
Click here to see answer by math_helper(2461)

Question 1149079: use an ordinary proof (not conditional or indirect proof)
1. F⊃(J∨∼F)
2. J⊃(L∨∼J) / F⊃L

Click here to see answer by math_helper(2461)

Question 1149261: Prove field has no proper ideal?
Click here to see answer by ikleyn(52775)

Question 1149333: 1^2+3^2+...+(2n-1)^2=1/3n(4n^2-1)
Click here to see answer by ikleyn(52775)

Question 1149333: 1^2+3^2+...+(2n-1)^2=1/3n(4n^2-1)
Click here to see answer by math_helper(2461)

Question 1149388: Construct deductions for each of the following arguments using Group I rules. (1)

1. P → S
2. P v Q
3. Q → R /∴ S v R

1. P → S
(Premise)
2. P v Q
(Premise)
3. Q → R
(Premise) /∴ S v R
4.
S v R
(Blank)<-- I need help with it.

Click here to see answer by math_helper(2461)

Question 1149801: 1. G ⊃ (H ⊃ K)
2. (H ∨ ∼M) ⊃ ∼K
3. H / ∼G

Click here to see answer by Edwin McCravy(20054)

Older solutions: 1..45, 46..90, 91..135, 136..180, 181..225, 226..270, 271..315, 316..360, 361..405, 406..450, 451..495, 496..540, 541..585, 586..630, 631..675, 676..720, 721..765, 766..810, 811..855, 856..900, 901..945, 946..990, 991..1035, 1036..1080, 1081..1125, 1126..1170, 1171..1215, 1216..1260, 1261..1305, 1306..1350, 1351..1395, 1396..1440, 1441..1485