• 그래프,graph
       [[논리학,logic]]
• 논리,logic
       [[논리학,logic]]을 fork한다면 페이지 focus를 어떻게 나눌지?
       [[RR:논리학,logic]]
• 멱등성,idempotence
       [[논리학,logic]]에서는 다음 둘? / AND/conjunction , OR/disjunction [[논리연결사,logical_connective]] i.e. [[연결사,connective]] i.e. [[연산자,operator]] i.e. [[연산,operation]] 에 대한.
• 술어,predicate
       이상 [[논리학,logic]](curr [[논리,logic]], esp [[수리논리,mathematical_logic]])의 '''술어,predicate'''였고
• 시간,time
        [[논리,logic]] [[논리학,logic]]
• 연결,connection
       (이건 [[논리,logic]] [[논리학,logic]] 어학 [[언어학,linguistics]] ....그쪽)
• 연역,deduction
       logic - [[논리,logic]] and [[논리학,logic]]
• 증명,proof
        * 모든 [[경우,case]]를 따지기? exhaustive case analysis / ex. proof by truth table : [[논리학,logic]], [[불_대수,Boolean_algebra]]의 어떤 간단한 문제들은 [[진리표,truth_table]]를 사용한 증명이 가능

You can also click here to search title.