What is the result of A, B, and C when using the subset formula?

Thread starter Mokae
Start date Mar 27, 2008

AI Thread Summary

The discussion revolves around understanding the relationships between sets A, B, and C using the subset formula. It clarifies that A U B equals X, C U B equals Y, and C U A equals Z, with A U B being a subset of both Y and Z. Participants seek assistance in rewriting the formula to better express these relationships. The term "child" was clarified to mean "subset." The conversation highlights the challenges in using only the union operator (U) to represent these set relationships effectively.

Mar 27, 2008

Mokae

A U B = X
C U B = Y
C U A = Z

knowing that A U B is the child of Y and Z
Cold you help me rewiete the formila ?

Thank you

Physics news on Phys.org

Mar 28, 2008

HallsofIvy

Science Advisor

Homework Helper

?? Define "child".

Mar 29, 2008

Mokae

I meant subset.
I don't know how to use only U to display the relation

Thread 'Deductive proof in logic formal systems'

I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

View full post »