Changes

MyWikiBiz, Author Your Legacy — Tuesday July 02, 2024
Jump to navigationJump to search

Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems (view source)

Revision as of 17:07, 15 January 2009

495 bytes removed ,  17:07, 15 January 2009
→‎Propositions and Sentences: delete reconciled changes
Line 74: Line 74:     
<pre>
 
<pre>
−
The "indicator function" or the "characteristic function" of a set Q c X,
  −
written "f_Q", is the map from X to the boolean domain %B% = {%0%, %1%}
  −
that is defined in the following ways:
  −
  −
1.  Considered in its extensional form, f_Q is the subset of X x %B%
  −
    that is given by the following formula:
  −
  −
    f_Q  =  {<x, b> in X x %B%  :  b  <=>  x in Q}.
  −
  −
2.  Considered in its functional form, f_Q is the map from X to %B%
  −
    that is given by the following condition:
  −
  −
    f_Q (x)  <=>  x in Q.
  −
   
The "fibers" of truth and falsity under a proposition f : X -> %B%
 
The "fibers" of truth and falsity under a proposition f : X -> %B%
 
are subsets of X that are variously described as follows:
 
are subsets of X that are variously described as follows:
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/77155"

Navigation menu