Mystery Symbol: What Does a Big Inverted V Mean?

  • Context: Graduate 
  • Thread starter Thread starter EvLer
  • Start date Start date
  • Tags Tags
    Mean Mystery Symbol
Click For Summary

Discussion Overview

The discussion centers around the meaning of a big inverted V symbol encountered in a paper related to deontic logic. Participants explore its potential interpretations and applications, particularly in the context of logical notation and quantification.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested

Main Points Raised

  • One participant questions the meaning of the inverted V symbol, suggesting it is not a conjunction or quantifier, and seeks clarification.
  • Another participant proposes that the inverted V could represent "or," referencing a Wikipedia page on logical disjunction.
  • A different participant interprets the inverted V as indicative of universal generalization in the context of quantification.
  • One participant challenges the idea that it represents disjunction, suggesting it may denote a relation or be used similarly to sigma notation for combining literals.
  • A participant expresses the intention to provide an image for clarity in the discussion.

Areas of Agreement / Disagreement

Participants do not reach consensus on the meaning of the inverted V symbol, with multiple competing interpretations presented.

Contextual Notes

Some interpretations depend on specific definitions of logical symbols, and the discussion lacks clarity due to the absence of a visual reference for the symbol in question.

EvLer
Messages
454
Reaction score
0
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?
 
Physics news on Phys.org
EvLer said:
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?

It means "or." http://en.wikipedia.org/wiki/Logical_disjunction
 
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.
 
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
 

Similar threads

Graduate What Does 1D Mean in the Term Symbol 2p2 1D for Helium?
  • · Replies 1 ·
Replies
1
Views
2K
High School What Could Explain the Mysterious Beam of Plasma Seen in the Sky in 2017?
  • · Replies 8 ·
Replies
8
Views
3K
High School What do Greek symbols in math represent and how do you decipher them?
  • · Replies 5 ·
Replies
5
Views
4K
Graduate What Does Mathematical Sameness Mean?
  • · Replies 7 ·
Replies
7
Views
3K
High School What does alpha symbol mean?
  • · Replies 3 ·
Replies
3
Views
121K
Graduate Game theory, quantum physics and the Bell inequality (paper)
  • · Replies 2 ·
Replies
2
Views
3K
High School What do symbols in equations mean?
  • · Replies 4 ·
Replies
4
Views
3K
Graduate The Mystery of Photoresist Ridges: A Question About Light and its Behavior
  • · Replies 8 ·
Replies
8
Views
3K
High School V^2 is used in certain formulae. Physically, what does it mean?
  • · Replies 3 ·
Replies
3
Views
2K
Graduate Connectedness of Boundary Points in Schwarzschild Penrose Chart
  • · Replies 7 ·
Replies
7
Views
2K