The implication (if $P$ then $Q$) is true IFF the set of assignments (propositional, first order, whatever depending on the setting) which satisfy $P$ is a subset of the set of assignments which satisfy $Q$.
↧
Channel:
What is the weird correspondance between subset ⊂ and implication ⇒? - Mathematics Stack Exchange
X
Are you the publisher?
Claim or
contact us
about this channel.
X
0
Channel Details:
- Title: What is the weird correspondance between subset ⊂ and implication ⇒? - Mathematics Stack Exchange
- Channel Number: 79956487
- Language: English
- Registered On: April 26, 2024, 5:12 pm
- Number of Articles: 4
- Latest Snapshot: April 26, 2024, 5:13 pm
- RSS URL: https://math.stackexchange.com/feeds/question/4667883
- Publisher: https://math.stackexchange.com/q/4667883
- Description:
- Catalog: //subset118.rssing.com/catalog.php?indx=79956487
© 2024 //www.rssing.com