Skip to main content
Graham Kemp's user avatar
Graham Kemp's user avatar
Graham Kemp's user avatar
Graham Kemp
  • Member for 5 years, 9 months
  • Last seen more than a month ago
12 votes

How is the argument "I love all logic, but I don’t love deductive reasoning. Therefore, the moon is made of green cheese." valid?

9 votes

Where is the fallacy here?

6 votes

Why are there two fundamental laws of logic?

6 votes

Could an argument with false Premises and a true Conclusion be logically valid?

5 votes

I'm stuck and having trouble with ¬P ∨ Q Prove: P → Q

4 votes

What are the conditions for RAA?

4 votes

Help with a Predicate Logic homework proof

3 votes

Why does the Principle of Explosion not make Mathematical Logic inconsistent?

3 votes
Accepted

Prove (-A=-A) = [-(-A => A) = (A=>-A)]

3 votes

Why is the use of the ND rule ∃E not correct in this proof?

3 votes

Fitch Proof Question

3 votes
Accepted

Formal proof errors

3 votes

In Fitch, how does one prove “P” from the premise “(¬P ∨ Q)→P”?

3 votes

How does one go about proving (A&B)⊃C |- A⊃(B⊃C)?

3 votes

If I cannot draw a world in a truth tree in modal logic does that mean that no other worlds exist for that statement?

3 votes

Fitch Proof by Contradiction help

3 votes

How to denote physical (not logical) impossibility in modal logic?

3 votes
Accepted

Necessary and antipossible worlds?

2 votes

Fitch Biconditional Proof Help?

2 votes

Symbolic Conditional Help

2 votes
Accepted

Why can one not draw a world in modal logic given necessity?

2 votes

What is the counterexample in modal system K for "⬜A ➡A"?

2 votes

Why did we define vacuous statements as true rather than false?

2 votes

How does one prove ‘(B→C)→¬A’ from ‘(A→B)∨C’ and ‘(A→¬C)’ in Fitch?

2 votes

How to show that (P & Q) v (~P v ~ Q) is a theorem in SD

2 votes

Given p ⇒ q and m ⇒ p ∨ q, use the Fitch System to prove m ⇒ q

2 votes

In Fitch, how does one prove "(P → Q)" from the premise "(¬P ∨ Q)"?

2 votes

Consciousness doesn't need your body - a thought experiment

2 votes

Understanding multiple values in a single cell of a truth table (P v ~Q) as (1 1 0 1) when P and Q are 1

2 votes
Accepted

language proof and logic chapter 13 question 49 Help

1
2 3 4 5 6