선행(로직)

선행은 if-clause가 그때의 절정보다 앞에 있을 때마다 가상 명제의 전반을 의미한다. 어떤 맥락에서 선행자를 원발성이라고 한다.^[1]

예:

• $P{\displaystyle }$ ${\displaystyle P$인 $경우{\displaystyle }$ Q$${\$displaystyle Q$

이것은 가상의 명제의 비논리적 형식이다. 이 경우 선행은 P이고, 그 결과는 Q이다. 함축적으로 $\varphi {\displaystyle }$ ${\displaystyle \$$psi }$이(가) $\psi {\displaystyle }$ ${\$$displaystyle \psi }$을(를) 내포하면$$ $\varphi {\displaystyle }$ ${\displaystyle \psi$}을(를) 선행이라고 하고$$ 결과라고 한다$$.^[2] 선행과 결과물은 논리적 결합을 통해 명제를 형성한다.

• $X{\displaystyle }$ ${\displaystyle X}$이(가) 남자라면$$ $X{\displaystyle }$ ${\displaystyle X}$은(는) 필멸이다.

"$[\displaystyle X}$는 남자다"가 이 명제의 선행 조건이다.

• 만약 사람들이 달 위를 걸어왔다면, 나는 프랑스의 왕이다.

여기서 "남자들은 달을 걸어왔다"가 선행이다.

$let{\displaystyle y}$= ${\displaystyle \mathrm{x}}$ +$$1 {\$displaystyle y=x$1}. $x{\displaystyle }$= ${\displaystyle 1}$ ${\displaystyle x=1}$인 경우 ${\displaystyle \mathrm{y}}$= 2 ${\displaystyle y=2$}

참고 항목

• 결과의 확언(오해)
• 선행(오류) 거부
• 필요성과 충분성

참조

이 논리와 관련된 글은 단조롭다. 위키피디아를 확장하여 도울 수 있다.

• v
• t