Universal quantification

In predicate logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any" or "for all". It expresses that a propositional function can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.

It is usually denoted by the turned A (∀) logical operator symbol, which, when used together with a predicate variable, is called a universal quantifier ("∀x", "∀(x)", or sometimes by "(x)" alone). Universal quantification is distinct from existential quantification ("there exists"), which asserts that the property or relation holds only for at least one member of the domain.

Quantification in general is covered in the article on quantification (logic). Symbols are encoded U+2200 FOR ALL (HTML ∀ · ∀ · as a mathematical symbol).

Saint Abraham (Ethiopian)

Abraham is a saint of the Ethiopian Orthodox Tewahedo Church. His feast day is celebrated May 5.

References

  • Holweck, F. G. A Biographical Dictionary of the Saints. St. Louis, MO: B. Herder Book Co. 1924.

  • Sapor of Bet-Nicator

    Sapor of Bet-Nicator (also known as Shapur of Bet-Nicator) was the Christian bishop of Bet-Nicator.

    He was reported with 4 companions to King Shapur II, on the basis of their having preached against the Zoroastrian religion. After being subjected to prolonged torture, Bishop Sapor died in prison on November 20, 339.

    His companions in martyrdom included Abraham.

    There is no record of a feast day for these individuals.

    References

  • Holweck, F. G. A Biographical Dictionary of the Saints. St. Louis, MO: B. Herder Book Co. 1924.

  • Abraham in the Catholic liturgy

    Abraham figures prominently in Catholic liturgy. Of all the names of the Old Testament used in the liturgies of the Roman Rite, a special prominence accrues to those of Abel, Melchisedech, and Abraham through their association with the idea of sacrifice and their employment in this connection in the most solemn part of the Canon of the Mass. Abraham's name occurs so often and in such a variety of connections as to give him, among Old Testament figures, a position of eminence in the liturgy, perhaps surpassed by David alone.

    Roman Martyrology (Martyrologium Romanum)

  • Abraham is commemorated on 9 October: "Commemoratio sancti Abrahae, patriarchae et omnium credentium patris, qui, Domino vocante, ab urbe Ur Chaldaeorum, patria sua, egressus est et per terram erravit eidem et semini eius a Deo promissam. Item totam fidem sua in Deo manifestavit, cum, sperans contra spem, unigenitum Isaac et iam seni a Domino datum ex uxore sterili in sacrificium offerre non renuit" (The commemoration of Holy Abraham the patriarch and father of all believers, who at the Lord's call left Ur of the Chaldees, his homeland, and became a wanderer in the land that God promised to him and his descendants. He also showed complete faith in God when, hoping against hope, he did not refuse to offer in sacrifice his only son Isaac, whom the Lord had granted him when he was already old and his wife was sterile). As thus revised in the 20th century, the Roman Martyrology provides a much more complete picture of Abraham than it did when it limited itself to saying only: "Eodem die memoria S. Abrahae Patriarchae et omnium credentium Patris."
  • Podcasts:

    Abraham

    ALBUMS

    Abraham

    ALBUMS

    Abraham

    ALBUMS

    Abraham

    Abraham

    ALBUMS

    Abraham

    ALBUMS

    developed with YouTube
    PLAYLIST TIME:

    For All The Times

    by: Timothy Seth Avett As Darling

    This one is for MaryI left her long ago
    And lived to tell the story
    Of what I have to show
    For all the times I've ruined my life
    When midnight feels like morning
    And fire lights my way
    For such an avid talker
    I don't have much to say
    It's all the times I've ruined my life
    It's all the times I've ruined my life
    This one kills my headlamps
    And hides me in the woods
    Try to say I'm sorry
    I'd wake up if I could
    It's all the times I've ruined my life
    And this one has lying
    Beneath the light bulb moon
    Asking God permission
    To talk to Shannon Hoon
    It's all the times I've ruined my life
    It's all the times I've ruined my life
    Cause this one sinks before you
    And tells you to forget
    Your always empty pockets
    And monumental debt
    It's all the times I've ruined my life




    ×