#논리기호

#논리기호

조직모드: 논리 기호 심볼 활용

⊢⊨

In logic, a set of symbols is commonly used to express logical representation. The following table lists many common symbols, together with their name, how they should be read out loud, and the related field of mathematics. Additionally, the subsequent columns contains an informal explanation, a short example, the Unicode location, the name for use in HTML documents, and the LaTeX symbol.
forall nat

마지막 수정일자 2024-09-30