Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Finite-valued logic
open-in-new
<p>In <a href="/facts/Logic/8JnpJLtt">logic</a>, a finite-valued logic (also finitely many-valued logic) is a <a href="/facts/Propositional_calculus/MNt5v31V">propositional calculus</a> in which <a href="/facts/Truth_values/SY4e2w8l">truth values</a> are <a href="/facts/Continuous_or_discrete_variable/TWl5feEw">discrete</a>. Traditionally, in <a href="/facts/Aristotle%2527s_logic/tvVdUNNL">Aristotle's logic</a>, the <a href="/facts/Principle_of_bivalence/dnkYVCod">bivalent logic</a>, also known as binary logic was the norm, as the <a href="/facts/Law_of_the_excluded_middle/tDhbugCN">law of the excluded middle</a> precluded more than two possible values (i.e., "true" and "false") for any <a href="/facts/Proposition/0877MFMD">proposition</a>. Modern <a href="/facts/Three-valued_logic/k4vMkwRL">three-valued logic</a> (ternary logic) allows for an additional possible truth value (i.e. "undecided"). </p><p>The term finitely many-valued logic is typically used to describe <a href="/facts/Many-valued_logic/qNI26RdF">many-valued logic</a> having three or more, but not infinite, truth values. The term finite-valued logic encompasses both finitely many-valued logic and bivalent logic. <a href="/facts/Fuzzy_logic/1PvN4Att">Fuzzy logics</a>, which allow for <a href="/facts/Degree_of_truth/5h9Nzjvy">degrees</a> of values between "true" and "false", are typically not considered forms of finite-valued logic. However, finite-valued logic can be applied in <a href="/facts/Boolean-valued_model/hURVwh96">Boolean-valued modeling</a>, <a href="/facts/Description_logic/9jpPaDsn">description logics</a>, and <a href="/facts/Defuzzification/Vx1v6N4I">defuzzification</a> of fuzzy logic. A finite-valued logic is <a href="/facts/Decidability_(logic)/17SHPMo0">decidable</a> (sure to determine outcomes of the logic when it is applied to <a href="/facts/Proposition/0877MFMD">propositions</a>) if and only if it has a <a href="/facts/Computational_semantics/gbHj755X">computational semantics</a>. </p>