When.com Web Search

Search results

  1. Results From The WOW.Com Content Network
  2. Square of opposition - Wikipedia

    en.wikipedia.org/wiki/Square_of_opposition

    The logical square, also called square of opposition or square of Apuleius, has its origin in the four marked sentences to be employed in syllogistic reasoning: "Every man is bad," the universal affirmative - The negation of the universal affirmative "Not every man is bad" (or "Some men are not bad") - "Some men are bad," the particular ...

  3. Logic translation - Wikipedia

    en.wikipedia.org/wiki/Logic_translation

    This means that the source text is composed of logical formulas belonging to one logical system and the goal is to associate them with logical formulas belonging to another logical system. [21] For example, the formula A ( x ) {\displaystyle \Box A(x)} in modal logic can be translated into first-order logic using the formula ∀ y ( R ( x , y ...

  4. Categorical proposition - Wikipedia

    en.wikipedia.org/wiki/Categorical_proposition

    In logic, a categorical proposition, or categorical statement, is a proposition that asserts or denies that all or some of the members of one category (the subject term) are included in another (the predicate term). [1]

  5. Yes and no - Wikipedia

    en.wikipedia.org/wiki/Yes_and_no

    In Spanish, the words sí 'yes' and no 'no' are unambiguously classified as adverbs: serving as answers to questions and also modifying verbs. The affirmative sí can replace the verb after a negation (Yo no tengo coche, pero él sí = I don't own a car, but he does) or intensify it (I don't believe he owns a car.

  6. Affirmation and negation - Wikipedia

    en.wikipedia.org/wiki/Affirmation_and_negation

    Languages have a variety of grammatical rules for converting affirmative verb phrases or clauses into negative ones. In many languages, an affirmative is made negative by the addition of a particle, meaning "not". This may be added before the verb phrase, as with the Spanish no: (5) a. Está en casa (affirmative) "(S)he is at home" b.

  7. Syllogism - Wikipedia

    en.wikipedia.org/wiki/Syllogism

    While his Latin translation of Prior Analytics went primarily unused before the 12th century, his textbooks on the categorical syllogism were central to expanding the syllogistic discussion. Rather than in any additions that he personally made to the field, Boethius' logical legacy lies in his effective transmission of prior theories to later ...

  8. Glossary of logic - Wikipedia

    en.wikipedia.org/wiki/Glossary_of_logic

    The quantifier-free part of a formula in prenex normal form. [184] [185] maximal consistent set A set of formulas in a logical system that is consistent (no contradictions can be derived from it) and maximal (no additional formulas can be added without causing inconsistency). Meinongianism

  9. International Association of Professional Translators and ...

    en.wikipedia.org/wiki/International_Association...

    Based in Buenos Aires, Argentina, IAPTI was established on 30 September 2009. [3] Created by a group of professional language mediators as a vehicle for promoting ethical practices in translation and interpretation [4] and providing a forum for discussing problems typical of the globalized world, such as crowdsourcing, outsourcing, bad rates and other abuse. [5]