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
SUMMARY

The big inverted V symbol in logical notation represents a universal quantification, indicating that a statement applies to all elements within a specified domain. This is distinct from the standard "or" symbol, which denotes logical disjunction. The discussion also touches on existential generalization, where a 'V' followed by a variable signifies that there exists at least one element satisfying the condition. The context of this discussion is rooted in deontic logic, which explores normative concepts such as obligation and permission.

PREREQUISITES
  • Understanding of logical symbols and their meanings
  • Familiarity with deontic logic principles
  • Knowledge of quantification in formal logic
  • Basic grasp of symbolic notation in mathematical logic
NEXT STEPS
  • Research "Universal Quantification in Logic" for deeper insights
  • Explore "Deontic Logic" to understand its applications and implications
  • Study "Existential Generalization" to differentiate it from universal quantification
  • Examine "Logical Disjunction" to clarify its distinction from other logical operators
USEFUL FOR

Students of philosophy, logicians, mathematicians, and anyone interested in the formal structures of logical reasoning and deontic logic applications.

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
3K
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