연언

• A 와 B 가 둘 다 서로 성립하는 것을 주장하는 접속 형태
• A 그리고 B

선언

• A 와 B 중 한쪽만 성립하는 것을 주장하는 접속 형태
• A 또는 B
• 배타적 선언과 포괄적 선언이 있다.
  • 배타적 선언 : 어느 한쪽만 성립하며, 양립하는 경우를 제외하는 것
  • 포괄적 선언 : 양립하는 경우도 포함하는 것
    • 논리학에서는 일반적으로 선언을 포괄적 선언으로 기본으로 생각한다.

선언과 연언, 부정의 조합

• 선언의 부정은 부정의 연언
  • A 또는 B 이다. 의 부정은 (선언의 부정)
  • A 가 아니다. 그리고 B 가 아니다. (부정의 연언)
• 연언의 부정은 부정의 선언
  • 위와 마찬가지로 진행
• 이 규칙을 드모르간의 법칙이라고 한다.