• 홈
  • Fitch notation

Fitch notation

notational system for constructing formal proofs

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

카테고리:

method