Embedded Files
Formal or Symbolic Logic makes use of rules of inference and symbols to stand for names, predicates or propositions.
A good introduction has been written by Peter Smith.
Report abuse
Formal or Symbolic Logic makes use of rules of inference and symbols to stand for names, predicates or propositions.
A good introduction has been written by Peter Smith.