Questions on Logic: Proofs answered by real tutors!

Tutors Answer Your Questions about Proofs (FREE)

Question 1190418: MAT 145: Topics In Contemporary Math
QUESTION 4
If p is the statement "Rock Lee is a ninja" and q is the statement "Rock Lee uses jutsu”, translate the following into sentences with appropriate grammar.
q rightwards arrow p
Click here to see answer by math_tutor2020(3816)

Question 1190414: Topics In Contemporary Math
QUESTION 2
Write the negation of the statement.
There is a bird that cannot fly.
Click here to see answer by math_tutor2020(3816)

Question 1190424: MAT 145: Topics In Contemporary Math

QUESTION 9
Translate the argument into symbols. Identify which argument for it uses. Determine if the argument is valid or invalid.
If Adora is a princess, then she fights the Horde.
Adora does not fight the Horde.
Therefore, Adora is not a princess.
Click here to see answer by math_tutor2020(3816)

Question 1190425: MAT 145: Topics In Contemporary Math

QUESTION 10
Identify which logical fallacy the argument uses.
The witchcraft problem is the most urgent spiritual crisis in the world today. Why? Because witches threaten our very souls.
Click here to see answer by Alan3354(69443)

Question 1190423: MAT 145: Topics In Contemporary Math
QUESTION 8
Translate the argument into symbols. Identify which argument for it uses. Determine if the argument is valid or invalid.
If you laugh, then you love.
You do not laugh.
Therefore, you do not love.
Conclusion: p
Click here to see answer by Alan3354(69443)

Question 1190426: MAT 145: Topics In Contemporary Math

QUESTION 11
Identify which logical fallacy the argument uses.
Either you support Candidate X or you are anti-American. Be a true patriot and vote for Candidate X!
Click here to see answer by math_tutor2020(3816)

Question 1190422: MAT 145: Topics In Contemporary Math
QUESTION 7
Determine if the argument is valid or invalid using a truth table.
Premise: p rightwards arrow tilde q
Premise: p logical or q
Conclusion: p
Click here to see answer by Edwin McCravy(20054)

Question 1190419: MAT 145: Topics In Contemporary Math
QUESTION 5
Create a truth table for the following.
(p ∧ ~q) 𝑉 (pq)
Click here to see answer by Alan3354(69443)

Question 1190415: Topics In Contemporary Math
QUESTION 3
If p is the statement "Rock Lee is a ninja" and q is the statement "Rock Lee uses jutsu”, translate the following into sentences with appropriate grammar.
p space logical or space tilde q
Click here to see answer by Alan3354(69443)

Question 1190420: MAT 145: Topics In Contemporary Math
QUESTION 5
Create a truth table for the following.
(p->q) ∧ (r 𝑉 ~ p)
The little dash is an arrow (->)
Click here to see answer by Alan3354(69443)

Question 1190469: QUESTION 5

Create a truth table for the following.
left parenthesis p logical and tilde q right parenthesis logical or left parenthesis p rightwards arrow q right parenthesis
(p ∧ ~ q) 𝑉 (p --> q)
Click here to see answer by Alan3354(69443)

Question 1190470: MAT 145: Topics In Contemporary Math
QUESTION 6
Create a truth table for the following.
left parenthesis p rightwards arrow q right parenthesis logical and left parenthesis r space logical or space tilde p right parenthesis
(p --> q) ∧ (r V ~ p)
Click here to see answer by math_tutor2020(3816)

Question 1190618: Please help with this questions, prove by induction that the formulas positive integral n.
1) 1+4+7+...+(3n-2)= ½n(3n-1)
2) 1+5+9+...+(4n-3)=n(2n-1)
3) 5+10+15+...+5n=5/2n(n+1)
4) 1²+3²+5²+....+(2n-1)²=1/3n(4n²-1)
5) 1+2+4+8+....+2^n-1=2^n-1
Click here to see answer by ikleyn(52776)

Question 1190848: MAT 145: Topics In Contemporary Math
Trees
3) The restaurant from #2 has a higher-tier menu for $18.99. The diner still gets an
appetizer, main course, and desert, but there are more options for each, as shown below:
Appetizer
Shrimp Cocktail
Chicken Livers
French Onion Soup
Nachos
Main Course
16-oz sirloin
Small Prime Rib
Lasagna
Turkey Dinner
Shrimp Scampi
Fried Scallops
Dessert
Cheesecake
Pie a `la mode
Seasonal Fruit Parfait
How many different $18.99 specials are possible?
Click here to see answer by math_tutor2020(3816)

Question 1191062: Construct proofs for the following using the basic rules of inference.
a. C ⊃ (∼A ∨ B), C ∙ ∼B, /∴ ∼A

Click here to see answer by Solver92311(821)

Question 1191577: please help me solve this problem: Construct a proof of the following theorem: [(P → Q)&(R → ¬Q)] →
¬(P&R)
Click here to see answer by Edwin McCravy(20054)

Question 1191576: please help me solve this: Construct a proof of the following argument: (L&M) ∨ ¬L, ¬(L&M) →
¬M ∴ L ↔ M.
Click here to see answer by math_helper(2461)

Question 1191576: please help me solve this: Construct a proof of the following argument: (L&M) ∨ ¬L, ¬(L&M) →
¬M ∴ L ↔ M.
Click here to see answer by math_tutor2020(3816)

Question 1192006: Prove:
If m and n are integers, then 4 is divisible by (m + n)^2 - (m-n)^2
Click here to see answer by math_tutor2020(3816)

Question 1192007: Prove:
if 3 is not divisible by m * n, then 3 is not divisible by m and 3 is not divisible by n
Click here to see answer by math_tutor2020(3816)

Question 1192007: Prove:
if 3 is not divisible by m * n, then 3 is not divisible by m and 3 is not divisible by n
Click here to see answer by ikleyn(52776)

Question 1192519: Using the eighteen valid argument forms, prove that the following arguments are valid.
1) ~ (H ∨ K)
2. L > H /∴ L > M
Click here to see answer by math_helper(2461)

Question 1193421: Prove the following using indirect proof:
1. (A ∨ B) ⊃ C
2. (∼A ∨ D) ⊃ E / C ∨ E

Click here to see answer by math_tutor2020(3816)

Question 1193420: Prove the following using conditional proof:
1. ∼A ⊃ (B • C)
2. D ⊃ ∼C / D ⊃ A
Click here to see answer by math_tutor2020(3816)

Question 1193643:
Click here to see answer by ikleyn(52776)

Question 1193775: (~B ∨ E) ⊃ (C ⊃ G)
(C ∨ D) ⊃ (B ⊃ F)
B ∨ C
~B / F ∨ G

Click here to see answer by math_tutor2020(3816)

Question 1193789: H ≡ N
H ∨ N
H ⊃ (N ⊃ U) / U
Click here to see answer by math_tutor2020(3816)

Question 1193814: Prove using Indirect Proof
1. B ⊃ (K • M)
2. (B • M) ⊃ (P ≡ ∼P) / ∼B
Click here to see answer by Alan3354(69443)

Question 1193814: Prove using Indirect Proof
1. B ⊃ (K • M)
2. (B • M) ⊃ (P ≡ ∼P) / ∼B
Click here to see answer by math_tutor2020(3816)

Question 1193814: Prove using Indirect Proof
1. B ⊃ (K • M)
2. (B • M) ⊃ (P ≡ ∼P) / ∼B
Click here to see answer by ikleyn(52776)

Question 1193812: Prove directly, no Conditional Proof or Indirect Proof
1. I ∨ (N • F)
2. I ⊃ F / F
Click here to see answer by math_tutor2020(3816)

Question 1193813: Prove using Conditional Proof
1. C ⊃ (D ∨ ∼E)
2. E ⊃ (D ⊃ F) / C ⊃ (E ⊃ F)
Click here to see answer by math_tutor2020(3816)

Question 1193811: Prove directly, no Conditional Proof or Indirect Proof
1. M ⊃ ~ C
2. ~C ⊃ ~ A
3. D v A / ~ M v D

Click here to see answer by math_tutor2020(3816)

Question 1193809: F ⊃ (G ● H ) // (A ⊃ F ) ⊃ (A ⊃ H )
What is the proper Conditional Proof?
Click here to see answer by mccravyedwin(406)

Question 1194046: CREATE A PROOF FOLLOWING THE ARGUMENT
(F • ~C) ⊃ (G • ~C)
C ⊃ D
~D
F ∨ D /G

Click here to see answer by math_tutor2020(3816)

Question 1194045: CREATE A PROOF FOR THE FOLLOWING ARGUMENT
(R ∨ M) ⊃ S
M ∨ C
(C ∨ H) ⊃ R
~M /S

Click here to see answer by mccravyedwin(406)

Question 1194062: Show that each of the arguments is valid by deriving the conclusion from the given
premises.
{5} [11] C: W
-------------------------------------------------
1: X ∨ Y
2: Z ⊃ X
3: (Y ∙ ~Z) ⊃ (W ∙ ~Z)
4: ~X

Click here to see answer by Solver92311(821)

Question 1194044: CREATE A PROOF FOLLOWING THE ARGUMENT
K ∨ L
(K ⊃ F) • (R ⊃ S)
(N ⊃ K) • (L ⊃ C) /F V C

Click here to see answer by Edwin McCravy(20054)

Question 1194043: M ⊃ H
(K ∨ F) ⊃ M
K /H
Click here to see answer by Edwin McCravy(20054)

Question 1194042: M ⊃ H
(K ∨ F) ⊃ M
K /H
Click here to see answer by Edwin McCravy(20054)

Question 1194113: 55.
1. (L ≡ N) ⊃ C
2. (L ≡ N) v (P ⊃ ~E)
3. ~E ⊃ C
4. ~C /~P
56.
1. ~N ⊃ [(B ⊃ D) ⊃ (N v ~E)]
2. (B ⊃ E) ⊃ ~N
3. B ⊃ D
4. D ⊃ E /~D
5. ~E 1,3, MD
N v ~ E 2,5 Add
57.
1. G ⊃ [~O ⊃ (G ⊃ D)]
2. O v G
3. ~O /D
Click here to see answer by math_tutor2020(3816)

Question 1193810: Prove directly - NO Conditional Proof or Indirect Proof.
1. R ⊃ A / R ⊃ ( A v W )
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