submitted by

**vitsargiry**1 year and 2 months ago - Topic:**Informatics**^{∗}, R

^{∗}and p

^{∗}, respectively. X and R are precisiated by expressing them as functions of ED. The precisiated canonical form, CF

^{∗}(p), is expressed as X

^{∗}isr

^{∗}R

^{∗}. At this point, the numerical truth value of p, nt

^{∗}satisfies R

^{∗}. In RCT, the factual information, F, is assumed to be represented as a restriction on ED. The restriction on ED induces a restriction, t, on nt

**Related Content**