# Sign question

1. Jul 6, 2007

### EvLer

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. Jul 6, 2007

### cristo

Staff Emeritus
It means "or." http://en.wikipedia.org/wiki/Logical_disjunction

3. Jul 7, 2007

### guten

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.

4. Jul 7, 2007

### EvLer

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....
EDIT:
ok, I will post the image

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook