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

Sign question

  1. Jul 6, 2007 #1
    what does a big inverted V stand for? it's not "and" because it's used right in front of a literal (atomic formula) not sure if it's a quantifier... This is a paper discussing approach based on deontic logic that I am scanning through, but this sign i cannot figure out how to search online....
    Does anybody know?
  2. jcsd
  3. Jul 6, 2007 #2


    User Avatar
    Staff Emeritus
    Science Advisor

    It means "or." http://en.wikipedia.org/wiki/Logical_disjunction
  4. Jul 7, 2007 #3
    I understand a 'V' followed by a variable followed by a symbolic formula as an existential generalization and an 'inverted V' followed by a variable followed by a symbolic formula as a universal generalization. These symbols have to do with quantification.
  5. Jul 7, 2007 #4
    well, no it is not a disjunction, that is why I said I was asking, plus it is INVERTED ... sounds more like it is a relation, although i think in certain other cases it is used like a "sigma"-notation, i.e. from 1 to n "and" certain literals together to form a formula. I guess i should have posted an image of it for clarity.
    thanks though....
    ok, I will post the image
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook