Set theory representation of material implication

friend
Messages
1,448
Reaction score
9
Just checking here.

Propositional logic connectives like AND and OR have analogs or representations in set theory. For example, the logical connective AND is represented in set theory by intersection, an element of X AND Y is the element of the intersection of sets X and Y. And similarly, the logical connective of OR is represented in set theory by union, an element of X OR Y is the element of the union of sets X or Y.

So what is the set theoretical representation of material implication. When I googled "set theory of material implication", I did not get anything explicit. Maybe I'm not searching the right phrases. Anyway, is the set representation of implication simply the subset, an element is a member of a set X implied by Y if X is a subset of Y. Is this right, or am I missing something?

This is very important to me. I'd like to have a firm foundation for material implication in terms of set theory. Is this a well known concept? Are there any on-line references I can review and quote? Thanks.
 
Last edited:
Physics news on Phys.org
See http://en.wikipedia.org/wiki/Johnston_diagram
 
Last edited by a moderator:
Yes, it's well known.

The set theory version of material implication is "subset". If P is the set of all things for which statement p is true and Q the set of all things for which statement q is true, then "If p then q" can be represented as "Q is a subset of P".
 
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...
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...

Similar threads

Back
Top