Category:Rules of inference

From HandWiki
Revision as of 23:16, 24 June 2023 by Unex (talk | contribs) (correction)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Handwiki book24.pngComputing portal

Here is a list of articles in the Rules of inference category of the Computing portal that unifies foundations of mathematics and computations using computers.

The concepts described in articles in this category may be also expressed in terms of arguments, or theorems. Very often the same concept is in more than one of these categories, expressed a different way and sometimes with a different name.