Fitch notation

notational system for constructing formal proofs

en-GB/ˈfɪt͡ʃ nəʊˈteɪʃən/
en-US/ˈfɪt͡ʃ noʊˈteɪʃən/

分类：

method