Proof of (p ⇒ q) =(¬p ∨ q) in Mathematical Logic

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
Sign up Log in
2 replies · 2K views
Byeonggon Lee
Messages
14
Reaction score
2
Hi :smile: I am studying mathematical logic by a pdf file. But there is no proof about this therorem so I don't understand.. How to prove this?
 
Physics news on Phys.org

Discussion

Similar threads

Graduate Prove the 2nd axiom of mathematical logic using the Deduction Theorem
  • solakis1
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1
Undergrad Translate compound proposition p → q (implication) to p↓q question
  • VinnyW
  • · Replies 4 ·
  • Set Theory, Logic, Probability, Statistics
Replies
4
Graduate Use mathematical logic to prove this proposition
  • solakis1
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1
Undergrad Why does P -> Q hold true when P is false and Q is true in mathematical logic?
  • Physicsman567
  • · Replies 7 ·
  • Set Theory, Logic, Probability, Statistics
Replies
7
Prop Logic Proof Help: (pv~q)vr; ~pv(q.~p)/q>r
  • chanimal
  • · Replies 4 ·
  • Set Theory, Logic, Probability, Statistics
Replies
4
Undergrad Question: What book would you recommend for reading about mathematical logic?
  • Calculuser
  • · Replies 5 ·
  • Set Theory, Logic, Probability, Statistics
Replies
5
Rules of Inference for Proving p→(p→q)→(p→q)
  • Yankel
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2
Graduate Proving ~(P<->Q) ⊣ ⊢ (P<->~Q)
  • Hazzardman
  • · Replies 6 ·
  • Set Theory, Logic, Probability, Statistics
Replies
6
What is the simplified form of (p ∧ q) ↓ q using basic propositional logic?
  • moredumbimpossi
  • · Replies 3 ·
  • Set Theory, Logic, Probability, Statistics
Replies
3
Proving P∨Q and ¬P∨Q from conditional statements
  • aconti
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1