결과

Consequent

결과적으로 가상의 명제의 후반부가 된다. 그러한 명제의 표준형식에서, 그것은 "그때"를 따르는 부분이다. 함축적 의미에서는 P가 Q를 내포한다면 P선행이라고 하고 Q를 결과라고 한다.[1] 어떤 맥락에서, 그 결과는 사포증이라고 불린다.[2]

예:

  • Q{\

Q 이러한 가상 명제의 결과물이다.

  • 이(가) 포유류라면 은(는) 동물이다.

여기서 " (는) 동물"이 그 결과물이다.

  • 만약 컴퓨터가 생각할 수 있다면, 그들은 살아있다.

"그들은 살아있다"가 그 결과물이다.

가상의 명제에서의 결과가 반드시 선행의 결과라고는 할 수 없다.

  • 만약 원숭이가 보라색이라면, 물고기는 클링곤어를 말한다.

'물고기는 클링곤을 말한다'는 여기에서 비롯되는 것이지만, 직관적으로 '원숭이는 보라색이다'라는 선행자의 주장과 무관하지 않다.

참고 항목

참조

  1. ^ 설정, 기능 및 논리 - 추상 수학, Keith Devlin, Chapman & Hall/CRC 수학 소개, 2004년 3차 개정,
  2. ^ 조건문장을 참조하십시오.