All A's are B's.(adsbygoogle = window.adsbygoogle || []).push({});

can be written as

For all x, if x is A, then x is B.

If F = {x : x in domain, x is A}

and G = {y : y in domain, y is B}

Then I can write, "For all x, if x is A, then x is B" as

F intersect G = F

Similarly, I can write, "Some A's are B's" as

F intersect G [x=] [null]

I can write, "No A's are B's" as

F intersect G = [null]

I can write, "Only A's are B's" as

F intersect G = G

It seems that this approach might bring about considerale results (if only I knew more about the algebra of sets).

Is there some branch of logic that studies logic in this manner? Or is it simply more convenient to study logic conventionally? What is meant by the term "mathematical logic?"

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

Dismiss Notice

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!

# Logic and Algebra

Loading...

Similar Threads - Logic Algebra | Date |
---|---|

Biocentrism - To me this lacks some logic | Jul 4, 2017 |

Insights Scientific Inference and How We Come to Know Stuff. Part 2 - Comments | Apr 28, 2016 |

Logic puzzle : Smallest number of prisoners required? | Apr 26, 2016 |

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