converse of implication
121Haptic communication — is the means by which people and other animals communicate via touching. Touch is an extremely important sense for humans; as well as providing information about surfaces and textures it is a component of nonverbal communication in interpersonal… …
122Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …
123Brown's representability theorem — In mathematics, Brown s representability theorem in homotopy theory gives necessary and sufficient conditions on a contravariant functor F on the homotopy category Hot of pointed CW complexes, to the category of sets Set, to be a representable… …
124Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… …
125Ghostwritten — infobox Book | name = Ghostwritten author = David Mitchell country = United Kingdom language = English genre = Novel publisher = Hodder and Stoughton release date = 19 August 1999 media type = Print (Hardback Paperback) isbn = ISBN 0340739746… …
126Turing jump — In computability theory, the Turing jump or Turing jump operator, named for Alan Turing, is intuitively described as an operation that assigns to each decision problem X a successively harder decision problem X prime; with the property that X… …
127Ernst Mally — (11 October 1879 8 March 1944) was an Austrian philosopher affiliated with the so called Graz School of phenomenology. A pupil of Alexius Meinong, he was one of the founders of deontic logic and is mainly known for his contributions in that field …
128Sexuality in Star Trek — refers to the wide range of sexual practices seen in the Star Trek franchise. Sexual relationships have generally been depicted as heterosexual in nature. Inter species and inter ethnic relationships have been commonly depicted.A comparatively… …
