실질적인 조건
여기서 A와 B는 변수에 대한 설명입니다 (언어에서 의미있는 문장으로 대체 될 수 있음). 이 형태의 성명서에서 첫 번째 용어 인 A는 이전의 것으로, 두 번째 용어 인 B는 후자라고 불린다. 전자의 진실은 후부의 진정한 상태이며, 후자의 진실은 전자에 대한 진정한 전제 조건이다. 이 연산자는 오른쪽 화살표 "→"(때로는 "⇒"또는 "⊃"기호)를 사용하여 기호화되며 "A가 참이면 B가 참입니다"는 다음과 같이 쓰여집니다 : ▪ ▪