Cyclic negation

In logic, cyclic negation is (assuming that the truth values are linearly ordered) a unary truth function that takes a truth value n and returns n-1 as value if n isn't the lowest value; otherwise it returns the highest value. For example, let (i) be the set of truth values be {0,1,2}, (ii) '~' denote negation, and (iii) p be a variable over truth values (i.e. whose range is truth values). Thus if p=0 then ~p=2; and if p=1 then ~p=0.

It was originally introduced by the logician and mathematician Emil Post.

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Logic Mathematical logic Mathematical logic stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем сделать НИР Randy Rasmussen Hitosa Look at other dictionaries: Negation — For other uses, see Negation (disambiguation). In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is… …   Wikipedia List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia eschatology — eschatological /es keuh tl oj i keuhl, e skat l /, adj. eschatologically, adv. eschatologist, n. /es keuh tol euh jee/, n. Theol. 1. any system of doctrines concerning last, or final, matters, as death, the Judgment, the future state, etc. 2. the …   Universalium Nichols algebra — The Nichols algebra of a braided vector space (with the braiding often induced by a finite group) is a braided Hopf algebra which is denoted by and named after the mathematician Warren Nichols. It takes the role of quantum Borel part of a pointed …   Wikipedia Involution (mathematics) — In mathematics, an involution, or an involutary function, is a function that is its own inverse, so that: f ( f ( x )) = x for all x in the domain of f . General propertiesAny involution is a bijection.The identity map is a trivial example of an… …   Wikipedia Law of excluded middle — This article uses forms of logical notation. For a concise description of the symbols used in this notation, see Table of logic symbols. In logic, the law of the excluded middle states that the propositional calculus formula P ∨ ¬ P ( P or not P… …   Wikipedia Madhyamākalaṃkāra — Madhyamakalamkara (Sanskrit) Madhyamākalaṃkāra (IAST) (8th century CE) is a Buddhist text held to have been originally composed in Sanskrit by Śāntarakṣita (725–788)[1] but extant in Tibetan. The Tibetan text was translated from the Sanskrit by… …   Wikipedia Sylow theorems — In mathematics, specifically group theory, the Sylow theorems, named after Ludwig Sylow, form a partial converse to Lagrange s theorem, which states that if H is a subgroup of a finite group G , then the order of H divides the order of G . The… …   Wikipedia Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia Integer — This article is about the mathematical concept. For integers in computer science, see Integer (computer science). Symbol often used to denote the set of integers The integers (from the Latin integer, literally untouched , hence whole : the word… …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”