🍈 Zettelkasten

Formally Valid

1 min read

An argument form that is always correct. Rules of Inference define these formally valid rules.

Example

  1. A is B
  2. B is not C
  3. Thus, A is not C

Graph View