Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Mathematical statements with logical symbols

  1. Mar 14, 2010 #1

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    I'd like to get better at writing mathematical statements using logical symbols. Let's start out with something simple. "For every A with property x, there's a B with property y". How should I write that? I don't even know if there's a symbol for "with property". How about this?

    [tex]\forall A:x\quad \exists B:y[/tex]

    Am I supposed to just leave a space before the [itex]\exists[/itex] or is there a symbol I should use?

    Now consider the definition of a compact set. A subset K of a topological space X is said to be compact if every open cover of K has a finite subcover. How can I write this with logical symbols? Suppose I start by saying that K is a subset of a topological space with topology [itex]\tau[/itex], and then start the next sentence with "K is said to be compact if". How should I finish it? Here's a suggestion (which probably needs to be improved):

    [tex]\{U_i\in\tau|i\in I\}: \bigcup_{i\in I}U_i\supset K\implies \exists I_0\subset I:\bigg(|I_0|<\infty\quad \bigcup_{i\in I_0}U_i\supset K\bigg)[/tex]

    Can I use parentheses like that? Do I have to include an "and" symbol between the two statements in parentheses? Should I have made it a "for all" statement instead of making the whole thing an implication?

    The next thing I'm going to ask about is the proper way to rewrite the statement in an equivalent way. For example, if we've written down an implication [itex]A\implies B[/itex], I'd like to rewrite it as [itex]\lnot B\implies \lnot A[/itex]. And if we've written down a "for all" statement, I'd like to rewrite that in a way that corresponds to what I just said I want to do to the implication.
     
  2. jcsd
  3. Mar 14, 2010 #2

    Landau

    User Avatar
    Science Advisor

    The problem with being too formal in using logical symbols, is that it soon becomes very cumbersome to read and write. That's why most people are a bit sloppy, and use a lot of words in combination with logical symbols: it's more readable.

    Let's say you want to express that every real number other than zero has a multiplicative inverse. Most would write

    [tex]\forall x\in\mathbb{R}-\{0\}\exists y\in\mathbb{R}: xy=1[/tex].

    But [tex]\forall x\in A[/tex], where A is a set, is not really correct. You can quantify over variables such as "x", but "[tex]x\in A[/tex]" is not a variable. Better would be

    [tex]\forall x(x\in\mathbb{R}-\{0\}\Rightarrow\exists y(y\in\mathbb{R}\ \wedge\ xy=1))[/tex].

    This is tiring to keep doing, and everyone knows what you mean by [tex]\forall x\in A[/tex].
    It's a bit general, but you could define sets X and Y consisting of elements having property x, y respectively. Than you'd say
    [tex]\forall A\in X\quad \exists B\in Y[/tex]
    There are not really strict rules about this. Readability is the norm. You can always use parenthesis to improve readability. One of my professors consistently writes
    [tex](\forall x)(\exists y)(bla)[/tex]
    for "for all x there exists y such that bla".

    Yes, you certainly can.
    Formally, yes. Informally, most people write a comma, and this is also what I would do:
    [tex]\bigg(|I_0|<\infty,\quad \bigcup_{i\in I_0}U_i\supset K\bigg)[/tex]
    Yes, I think a 'for all' symbol is needed here.
    Also, you haven't said anything about the set I. Formally, you should also say "for all I" in the beginning, since it holds for arbitrary index sets I.
    I don't quite understand this last question. Are you still referring to the definition of compact?
     
  4. Mar 14, 2010 #3

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Thank you. That certainly helps. I will write a more thorough answer later. Unfortunately all I have time for right now is to answer your question at the end. I would like to write down the standard definition of "compact" (number (iii) here) using logical symbols, and then rewrite it in an equivalent way, which will turn out to be number (iv) on that list.
     
  5. Mar 14, 2010 #4

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    OK, I think I got it. My first thought was do give a name to the "set of open covers", say M, and then say that K is compact if

    [tex]\forall m(m\in M)\ \exists m_0 (m_0\in M \land |m_0|<\infty)[/tex]

    But this is hard to rewrite in a way that makes the equivalence between (iii) and (iv) on that list easy to see. It can be expressed as an implication

    [tex]m\in M\Rightarrow \exists m_0 (m_0\in M \land |m_0|<\infty)[/tex]

    but to rewrite this as "[itex]\lnot B\Rightarrow\lnot A[/itex]" instead of "[itex]A\Rightarrow B[/itex]" doesn't seem to get me any closer to what I want to do. So I came up with this instead:

    [tex]\forall I(I\subset\tau,\ \bigcup_{i\in I}i\supset K)\ \exists I_0(I_0\subset I,\ |I_0|<\infty,\ \bigcup_{i\in I_0}i\supset K) [/tex]

    This can also be expressed as an implication:

    [tex](I\subset\tau)\ \land\ \bigg(\bigcup_{i\in I}i\supset K\bigg)\Rightarrow\exists I_0(I_0\subset I,\ |I_0|<\infty,\ \bigcup_{i\in I_0}i\supset K) [/tex]

    (Unnecessary parentheses inserted for readability). There are several different ways to express this in the "[itex]\lnot B\Rightarrow\lnot A[/itex]" form, since "P and Q" can be negated by negating either P or Q. The form that gives me the alternative definition is

    [tex]\forall I_0(I_0\subset I,\ |I_0|<\infty)\ \lnot\bigg(\bigcup_{i\in I_0}i\supset K\bigg)\Rightarrow (I\subset\tau)\ \land\ \lnot\bigg(\bigcup_{i\in I}i\supset K\bigg) [/tex]

    (Hm, maybe I should put parentheses around the entire left-hand side of this one). To see that this is what we want, we must rewrite the statements I negated. I'm defining [itex]F_i=i^c[/itex].

    [tex]\lnot\bigg(\bigcup_{i\in I_0}i\supset K\bigg)\iff\emptyset\neq K-\bigcup_{i\in I_0}i=K\cap\bigg(\bigcup_{i\in I_0}i\bigg)^c=K\cap\bigg(\bigcap_{i\in I_0}F_i\bigg)[/tex]

    So the definition turns into

    [tex]\forall I_0(I_0\subset I,\ |I_0|<\infty)\ \bigg(\bigcap_{i\in I_0}F_i\cap K\neq\emptyset\bigg)\Rightarrow (I\subset\tau)\ \land\ \bigg(\bigcap_{i\in I}F_i\cap K\neq\emptyset\bigg) [/tex]

    which is (iv) on the list in the book I linked to...or is it? Hm, this looks weird. Don't we want the statement that I is a subset of the topology to appear on the left instead of the right?

    I have to go to bed, so I can't think about this right now.
     
    Last edited: Mar 15, 2010
  6. Mar 16, 2010 #5

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    OK, I think I see what I did wrong. [itex](P\land Q)\Rightarrow R[/itex] is equivalent to [itex]\lnot R\Rightarrow (\lnot P\land Q)\lor(P\land\lnot Q)[/itex], and you can't just drop one of the terms on the right in the last expression, which is essentially what I did. So let's go back to the implication that I want to rewrite:

    [tex](I\subset\tau)\ \land\ \bigg(\bigcup_{i\in I}i\supset K\bigg)\Rightarrow\exists I_0(I_0\subset I,\ |I_0|<\infty,\ \bigcup_{i\in I_0}i\supset K)[/tex]

    It implies several different things, one of which is

    [tex]\bigg(\forall I_0(I_0\subset I,\ |I_0|<\infty) \bigcap_{i\in I_0}F_i\cup K\neq\emptyset\bigg)[/tex]

    [tex]\Rightarrow \bigg((I\not\subset\tau)\land\bigg(\bigcup_{i\in I}i\supset K\bigg)\bigg)\lor\bigg((I\subset\tau)\land\bigg(\bigcap_{i\in I}F_i\cup K\neq\emptyset\bigg)\bigg)[/tex]

    And this implies

    [tex](I\subset\tau)\land\bigg(\forall I_0(I_0\subset I,\ |I_0|<\infty) \bigcap_{i\in I_0}F_i\cup K\neq\emptyset\bigg) \Rightarrow \bigcap_{i\in I}F_i\cup K\neq\emptyset[/tex]

    Alternatively:

    [tex]\forall I\bigg((I\subset\tau)\land\bigg(\forall I_0(I_0\subset I,\ |I_0|<\infty) \bigcap_{i\in I_0}F_i\cup K\neq\emptyset\bigg)\bigg)\quad \bigcap_{i\in I}F_i\cup K\neq\emptyset[/tex]

    This is the expression I want. I thought it would be possible to obtain it in a way that corresponds to [itex]A\Rightarrow B[/itex] if and only if [itex]\lnot B\Rightarrow\lnot A[/itex], but it was more difficult than that.
     
  7. Mar 16, 2010 #6

    Landau

    User Avatar
    Science Advisor

    I haven't read your last post yet, but this is wrong.
    [itex](P\land Q)\Rightarrow R[/itex] is equivalent to [itex]\lnot R\Rightarrow (\lnot P\vee \lnot Q)[/itex]. If you want, this last statement is equivalent to
    [itex](\lnot P\land Q)\vee(\lnot P\land \lnot Q)\vee(P\land \lnot Q)[/itex].

    The mathematical [itex]\vee[/itex] is the inclusive disjunction: [itex]A\vee B[/itex] means A or B or both.
     
  8. Mar 16, 2010 #7

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Ah, of course. Thanks again. Back to the drawing board then... :frown:
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Mathematical statements with logical symbols
  1. Logic Symbols (Replies: 12)

  2. Logic statements (Replies: 0)

Loading...