HomebulletScriptsbulletTag: theorem (1 results)
  1. No Screenshot
    1810 total visits
    The syntax used to write the formulas can be defined. Basic logic operations (and, or, not, implies, etc...) can be applied. Proposition (cleaning, developing, disjunctive form, conjunctive form) can be transformed.You can even make demonstrations of your proposition, by looking up the values table or simply by demonstrating it (simple analysis of the disjunctive form: not too greedy). The FOLP ...
Pages 1 of 1« 1 »