Logique de Łukasiewicz

En mathématique, la logique de Łukasiewicz est une logique polyvalente, non-classique. Elle a été définie à l'origine au début du par Jan Łukasiewicz comme une logique ternaire; elle a ensuite été généralisé à n-valeur (pour tous n fini) ainsi qu'à une infinité de variante à valeurs multiples, les deux sont propositionnelle et du premier ordre. La version א0-valeur a été publié en 1930 par Łukasiewicz et Alfred Tarski; par conséquent, elle est parfois appelé la logique de Łukasiewicz-Tarski. Celle-ci appartient aux classes de logique floue t-norme et de logiques sous structurelles. Cet article présente la logique de Łukasiewicz[-Tarski] dans toute sa généralité. Pour une introduction élémentaire à l'instanciation ternaire Ł3, voir logique ternaire. Les connecteurs propositionnels de la logique de Łukasiewicz sont l'implication , la négation , l'équivalence , la conjonction inclusive , conjonction exclusive , disjonction inclusive , disjonction exclusive , et les constantes propositionnelles et . La présence de la conjonction et de disjonction est une caractéristique commune des logiques sous-structurelles sans la règle de contraction, à laquelle la logique Łukasiewicz appartient. Le système original d'axiomes pour la logique de Łukasiewicz utilise l'implication et la négation comme conjonctions primitifs: La logique de Łukasiewicz peut également être axiomatisé en ajoutant les axiomes suivants au système axiomatique de la logique t-norme monoïdale: Divisibilité : Double négation : Les logiques de Lukasiewicz à valeur-fini exigent des axiomes supplémentaires. La logique de Łukasiewicz est une logique à valeur réelle dans laquelle les calculs de propositions peuvent être affectés d'une valeur de vérité de zéro ou un, mais aussi de nombre réel entre les deux (par exemple 0,25). Les évaluations ont une définition récursive où: pour un connecteur binaire et et où les définitions des opérations tiennent comme suit: Implication : Équivalence : Négation : Conjonction inclusive : Disjonction inclusive : Conjonction exclusive : Disjonction exclusive : La fonction de vérité (conjonction exclusive) est la t-norme de Łukasiewicz et la fonction de vérité (disjonction exclusive) est son double t-conorme.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (35)

Personnes associées (9)

Unités associées (9)

Concepts associés (6)

Cours associés (4)

Séances de cours associées (16)

Three-Input Gates for Logic Synthesis

Giovanni De Micheli, Mathias Soeken, Dewmini Sudara Marakkalage, Eleonora Testa, Heinz Riener

Most logic synthesis algorithms work on graph representations of logic functions with nodes associated with arbitrary logic expressions or simple logic functions and iteratively optimize such graphs. While recent multilevel logic synthesis efforts focused ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

Introducing reinforcement learning to the energy system design process

Jean-Louis Scartezzini, Amarasinghage Tharindu Dasun Perera, Vahid Moussavi Nik

Design optimization of distributed energy systems has become an interest of a wider group of researchers due the capability of these systems to integrate non-dispatchable renewable energy technologies such as solar PV and wind. White box models, using line ...

2020

Modeling and Assessment of Urban Energy Systems

Amarasinghage Tharindu Dasun Perera

Improving the energy sustainability of our cities involves the integration of multiple renewable energy technologies into existing energy infrastructure, stretching the capabilities of traditional energy systems to the limit. To consider the transition tak ...

EPFL2019

EE-110: Logic systems (for MT)

Ce cours couvre les fondements des systèmes numériques. Sur la base d'algèbre Booléenne et de circuitscombinatoires et séquentiels incluant les machines d'états finis, les methodes d'analyse et de syn

CS-724: Advanced logic synthesis and quantum computing

Logic synthesis describes techniques to map complex functionality into a sequence of a few, simple, and small logic primitives. It finds application dominantly in digital design, but is most recently

EE-530: Test of VLSI systems

Test of VLSI Systems covers theoretical knowledge related to the major algorithms used in VLSI test, and design for test techniques. Basic knowledge related to computer-aided design for test technique

T-norm fuzzy logics

T-norm fuzzy logics are a family of non-classical logics, informally delimited by having a semantics that takes the real unit interval [0, 1] for the system of truth values and functions called t-norms for permissible interpretations of conjunction. They are mainly used in applied fuzzy logic and fuzzy set theory as a theoretical basis for approximate reasoning. T-norm fuzzy logics belong in broader classes of fuzzy logics and many-valued logics.

T-norm

In mathematics, a t-norm (also T-norm or, unabbreviated, triangular norm) is a kind of binary operation used in the framework of probabilistic metric spaces and in multi-valued logic, specifically in fuzzy logic. A t-norm generalizes intersection in a lattice and conjunction in logic. The name triangular norm refers to the fact that in the framework of probabilistic metric spaces t-norms are used to generalize the triangle inequality of ordinary metric spaces.

Finite-valued logic

In logic, a finite-valued logic (also finitely many-valued logic) is a propositional calculus in which truth values are discrete. Traditionally, in Aristotle's logic, the bivalent logic, also known as binary logic was the norm, as the law of the excluded middle precluded more than two possible values (i.e., "true" and "false") for any proposition. Modern three-valued logic (ternary logic) allows for an additional possible truth value (i.e. "undecided").

Aperçu des systèmes numériques : des transistors aux circuits intégrés EE-110: Logic systems (for MT)

Explore l'évolution des systèmes numériques des transistors aux circuits intégrés et leur impact sur les applications grand public et les technologies IoT.

Aperçu des systèmes numériques : évolution et principes fondamentaux EE-110: Logic systems (for MT)

Explore l'évolution des systèmes numériques, couvrant les bases comme l'algèbre booléenne et les portes logiques, et met l'accent sur les compétences de travail d'équipe et le vocabulaire professionnel.

Systèmes logiques : bases et opérateurs EE-110: Logic systems (for MT)

Couvre les bases des systèmes logiques, y compris les circuits numériques versus analogiques, les opérateurs logiques, les tables de vérité et l'algèbre booléenne.