Can someone please check my logic proof?

  • Context: Graduate 
  • Thread starter Thread starter BondKing
  • Start date Start date
  • Tags Tags
    Logic Proof
Click For Summary
SUMMARY

The discussion centers on a logic proof involving premises and conclusions derived from propositional logic. The premises include (c v ~ h) -> ~ m, T -> ~ c, and T ^ h. The proof attempts to derive the conclusion m but ultimately concludes that the logic is incorrect. The key steps include Modus Ponens, elimination, and contraposition, but the final assertion is retracted, indicating a flaw in reasoning.

PREREQUISITES
  • Understanding of propositional logic
  • Familiarity with logical operators (e.g., conjunction, disjunction)
  • Knowledge of proof techniques such as Modus Ponens and contraposition
  • Ability to analyze logical statements and their implications
NEXT STEPS
  • Study propositional logic proofs in detail
  • Learn about Modus Ponens and its applications in logic
  • Explore the concept of contraposition in logical reasoning
  • Practice constructing and analyzing logical proofs
USEFUL FOR

Students of logic, educators teaching formal reasoning, and anyone interested in improving their skills in logical proof construction and analysis.

BondKing
Messages
13
Reaction score
0
(c v ~ h) - > ~ m (prem 1)

T -> ~ c (prem 2)

T ^ h (prem 3)

trying to get m 1) T (spec prem 3)

2) ~ c ( M.PON prem 2, 1)

3) ~ h (ELIM prem 1 (c v ~ h), 2)

4) ~ h - > ~ m (replace (c v ~ h) with ~h)

5) m -> h (Contrap. 4)

6) ~m v h (M.TOL 5,3)

6) m
 
Physics news on Phys.org
Nevermind. This is wrong.
 

Similar threads

Undergrad How to calculate expectation and variance of kernel density estimator?
  • · Replies 9 ·
Replies
9
Views
3K
Graduate Have I solved this iterative equation correctly?
  • · Replies 2 ·
Replies
2
Views
1K
Engineering Have I solved this structural engineering equation correctly?
  • · Replies 1 ·
Replies
1
Views
1K
MHB Please help with bool algebra and logic things
  • · Replies 2 ·
Replies
2
Views
2K
Graduate Can scattering experiment be used to determine location and momentum of an electron?
  • · Replies 2 ·
Replies
2
Views
1K
How to Calculate Water Leakage in an Inverted Bottle Experiment?
  • · Replies 55 ·
2
Replies
55
Views
4K
First order linearized Euler's equation for a small perturbation
  • · Replies 7 ·
Replies
7
Views
3K
MHB T: Is the Proof in Predicate Calculus Correct?
  • · Replies 8 ·
Replies
8
Views
2K
MHB Logic Proof With Rules of Replacement
  • · Replies 1 ·
Replies
1
Views
2K
Undergrad Enumerating a Large Ordinal: Can We Find a Limit to the Continuum?
  • · Replies 27 ·
Replies
27
Views
4K