Fitch notation

notational system for constructing formal proofs

Categorías: