fol. / FOL
C1abbreviation‘fol.’은 folio의 약자이고, ‘FOL’은 first-order logic의 약자이다.
noun명사
- 1
폴리오 — folio의 약자; 원고나 옛 책의 한 장을 가리키는 서지학적 표기C1〔bibliography〕
abbreviation for “folio,” a leaf of a manuscript or old book, used especially in references
The note refers to fol. 23 of the manuscript.
그 주석은 그 원고의 23번째 장을 가리킨다.
An added paragraph appears on fol. 8v.
추가된 문단은 8번째 장의 뒷면에 나온다.
유의어folio
- 2
1차 논리, 일차 논리 — first-order logic의 약자; 1차 논리C2〔logic〕
initialism for “first-order logic,” a formal system used in logic, mathematics, and computer science
FOL cannot express every property of finite graphs.
1차 논리는 유한 그래프의 모든 성질을 표현할 수 없다.
The course introduces FOL after propositional logic.
그 강의는 명제논리 다음에 1차 논리를 소개한다.
뉘앙스 · 쓰임
‘fol.’의 ‘folio’는 현대 책의 ‘page’처럼 한쪽 면이 아니라 원고나 책의 한 장, 즉 앞면과 뒷면을 가진 잎을 가리킬 수 있습니다. ‘FOL’은 명제논리보다 표현력이 큰 ‘1차 논리’를 뜻하는 전문 용어입니다.
소문자 약자 ‘fol.’는 보통 마침표를 붙여 쓰며, 원고 번호와 함께 ‘fol. 23’, ‘fol. 8v’처럼 나타납니다. ‘FOL’은 반드시 대문자로 쓰는 것이 일반적이며, 논리학·수학·컴퓨터과학 맥락 밖에서는 잘 쓰이지 않습니다.
유의어 뉘앙스 비교
- folio
- ‘fol.’의 풀어 쓴 형태이다.
- first-order logic
- ‘FOL’을 풀어 쓴 정식 명칭이다.
자주 쓰는 표현 · Collocations
abbreviation+number
- fol. 23원고 23번째 장
abbreviation+number/letter
- fol. 8v8번째 장의 뒷면
adj+noun
- classical FOL고전 1차 논리
noun+noun
- FOL formula1차 논리식
어원 · 암기 팁
[Latin]‘fol.’는 라틴어 ‘folium’(잎)에서 온 영어 ‘folio’를 줄인 형태이다. ‘FOL’은 영어 ‘first-order logic’의 머리글자를 딴 약자이다.
fol. = folio의 축약형; FOL = first + order + logic의 머리글자
💡 ‘folio’는 책의 ‘잎’을 뜻하므로 ‘fol.’ 뒤의 숫자는 원고의 특정 장을 가리킨다고 기억하면 좋다. ‘FOL’은 First-Order Logic의 첫 글자들이다.