Just checking here.(adsbygoogle = window.adsbygoogle || []).push({});

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.

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Set theory representation of material implication

Loading...

Similar Threads - theory representation material | Date |
---|---|

I Countability of ℚ | Feb 12, 2018 |

A Is there a decidable set theory? | Feb 8, 2018 |

About the strategy of reducing the total suffering in a queue | Dec 28, 2017 |

B Empty domains and the vacuous truth | Dec 26, 2017 |

Fourier representation of a random function | Dec 14, 2012 |

**Physics Forums - The Fusion of Science and Community**