Logic comments

Supplement on formal proofs
Remark on consistent and valid arguments
Why predicate calculus?