Texonom
Texonom
/
Logic
Logic
/
Formal Logic
Search

Formal Logic

Creator
Creator
Seonglae Cho
Created
Created
2022 Apr 5 15:18
Editor
Editor
Seonglae Cho
Edited
Edited
2023 Dec 19 4:1
Refs
Refs

외연적 논리학

사고(판단·개념)의 참과 거짓을 확인하기위해 추론의 형식상 타당성 성립 조건을 연구하는 논리학
Formal Logics
Mathematical Logic
Computational Logic
 
 
 
 
List of logic symbols
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,[1] and the LaTeX symbol.
List of logic symbols
https://en.wikipedia.org/wiki/List_of_logic_symbols
 
 

Recommendations

Texonom
Texonom
/
Logic
Logic
/
Formal Logic
Copyright Seonglae Cho