보편 한량사 (universal quantification) 그 빈 곳에 어떤 변항이든 놓여질 수 있는 “(   …

보편 한량문 (universal quantification) 그 작용 범위가 나머지 문장 전체인 한 벼편 한량사로 시작되는,…

보편 사례화 (universal instantiation) 연역적 추리에서, 하나의 보편 한량문에서 그것의 어떤 사례라도 추론해 내는…

변항 (variable) 한량적 기호법에서 사용되는 “x”, “y”, “z” 등의 문자들. Stephen F. Barker, 최세만…

배타적 선언 (exclusive disjunction) 그것의 의미가 구성요소들 모두가 참일 때에는 거직인 “또는(이거나)” 문장. Stephen…

반대 유비 (counteranalogy) 어떤 유비에 의한 논증에 반대하거나 또는 그것을 반증하기 위하여 구성된 유비에…

반대 대당 문장들 (contrary sentences) 두 문장은 그것들이 동시에 참될 수는 없지만 동시에 거짓될…

반대 대당 명사들 (contrary terms) 두 명사는 그것들 둘 다를 동시에 적용할 수 있는…