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

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

Similar threads

I Syntactic vs semantic logical consequence (entailment)
Replies
5
Views
2K
I Modus Ponens deduction rule
Replies
12
Views
2K
I On the meaning of logical implication within specific context/models
Replies
22
Views
3K
I Translate compound proposition p → q (implication) to p↓q question
Replies
4
Views
2K
MHB Find Proofs for the following 5 propositional logic statements
Replies
2
Views
2K
MHB Request to Solve Symbolic Logic Questions Using Strengthened Conditional Proof
Replies
1
Views
2K
I Is Complexity in Mathematics Determinate?
Replies
47
Views
4K
I Question: What book would you recommend for reading about mathematical logic?
Replies
5
Views
2K
MHB Prop Logic Proof Help: (pv~q)vr; ~pv(q.~p)/q>r
Replies
4
Views
2K
B Traditional logic and its usefulness in the past
Replies
21
Views
2K

Hot Threads

Recent Insights

Back
Top