Editing Propositional formula (section)

=== Truth-value assignments, formula evaluations ===
Evaluation of a propositional formula begins with assignment of a truth value to each variable. Because each variable represents a simple sentence, the truth values are being applied to the "truth" or "falsity" of these simple sentences.

'''Truth values in rhetoric, philosophy and mathematics'''

The truth values are only two: { TRUTH "T",  FALSITY "F" }. An [[empiricist]] puts all propositions into two broad classes: ''analytic''—true no matter what (e.g. [[tautology (logic)|tautology]]), and ''synthetic''—derived from experience and thereby susceptible to confirmation by third parties (the [[verification theory]] of meaning).<ref>Empiricits eschew the notion of ''a priori'' (built-in, born-with) knowledge. "Radical reductionists" such as [[John Locke]] and [[David Hume]] "held that every idea must either originate directly in sense experience or else be compounded of ideas thus originating"; quoted from Quine reprinted in 1996 ''The Emergence of Logical Empriricism'', Garland Publishing Inc. http://www.marxists.org/reference/subject/philosophy/works/us/quine.htm</ref> Empiricists hold that, in general, to arrive at the truth-value of a [[synthetic proposition]], meanings (pattern-matching templates) must first be applied to the words, and then these meaning-templates must be matched against whatever it is that is being asserted. For example, my utterance "That cow is ''{{blue|blue}}''!" Is this statement a TRUTH? Truly I said it. And maybe I ''am'' seeing a blue cow—unless I am lying my statement is a TRUTH relative to the object of my (perhaps flawed) perception. But is the blue cow "really there"? What do you see when you look out the same window? In order to proceed with a verification, you will need a prior notion (a template) of both "cow" and "{{blue|blue}}", and an ability to match the templates against the object of sensation (if indeed there is one).{{citation needed|date=October 2016}}

'''Truth values in engineering'''

Engineers try to avoid notions of truth and falsity that bedevil philosophers, but in the final analysis engineers must trust their measuring instruments. In their quest for [[Robust statistics|robustness]], engineers prefer to pull known objects from a small library—objects that have well-defined, predictable behaviors even in large combinations, (hence their name for the propositional calculus: "combinatorial logic"). The fewest behaviors of a single object are two (e.g. { OFF, ON }, { open, shut }, { UP, DOWN } etc.), and these are put in correspondence with { 0, 1 }. Such elements are called [[Digital data|digital]]; those with a continuous range of behaviors are called [[analog signal|analog]]. Whenever decisions must be made in an analog system, quite often an engineer will convert an analog behavior (the door is 45.32146% UP) to digital (e.g. DOWN=0 ) by use of a [[comparator]].<ref>[[Neural net]] modelling offers a good mathematical model for a comparator as follows: Given a signal S and a threshold "thr", subtract "thr" from S and substitute this difference d to a [[sigmoid function]]: For large "gains" k, e.g. k=100, 1/( 1 + e<sup>−k*d</sup> ) = 1/( 1 + e<sup>−k*(S-thr)</sup> ) = { ≃0, ≃1 }.{{clarify|What is the meaning of the curly braces here? Denoting set comprehension wouldn't make sense.|date=October 2016}} For example, if "The door is DOWN" means "The door is less than 50% of the way up", then a threshold thr=0.5 corresponding to 0.5*5.0 = +2.50 volts could be applied to a "linear" measuring-device with an output of 0 volts when fully closed and +5.0 volts when fully open.</ref>

Thus an assignment of meaning of the variables and the two value-symbols { 0, 1 } comes from "outside" the formula that represents the behavior of the (usually) compound object. An example is a garage door with two "limit switches", one for UP labelled SW_U and one for DOWN labelled SW_D, and whatever else is in the door's circuitry. Inspection of the circuit (either the diagram or the actual objects themselves—door, switches, wires, circuit board, etc.) might reveal that, on the circuit board "node 22" goes to +0 volts when the contacts of switch "SW_D" are mechanically in contact ("closed") and the door is in the "down" position (95% down), and "node 29" goes to +0 volts when the door is 95% UP and the contacts of switch SW_U are in mechanical contact ("closed").<ref>In actuality the digital 1 and 0 are defined over non-overlapping ranges e.g. { "1" = +5/+0.2/−1.0 volts, 0 = +0.5/−0.2 volts }{{clarify|Explain the meaning of curly braces and slash here.|date=October 2016}}. When a value falls outside the defined range(s) the value becomes "u" -- unknown; e.g. +2.3 would be "u".</ref> The engineer must define the meanings of these voltages and all possible combinations (all 4 of them), including the "bad" ones (e.g. both nodes 22 and 29 at 0 volts, meaning that the door is open and closed at the same time). The circuit mindlessly responds to whatever voltages it experiences without any awareness of TRUTH or FALSEHOOD, RIGHT or WRONG, SAFE or DANGEROUS.{{citation needed|date=October 2016}}