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

Thread 'Roulette wheel physics and probability'

Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
View full post »

Thread 'Here's a Statistics problem for game of Polo (or Hockey if you like)'

Namaste & G'day Postulate: A strongly-knit team wins on average over a less knit one Fundamentals: - Two teams face off with 4 players each - A polo team consists of players that each have assigned to them a measure of their ability (called a "Handicap" - 10 is highest, -2 lowest) I attempted to measure close-knitness of a team in terms of standard deviation (SD) of handicaps of the players. Failure: It turns out that, more often than, a team with a higher SD wins. In my language, that...
View full post »

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