문장 중에는 값이 고정되지 않은 변수나 객체가 있어서 참인지 거짓인지 판단하기 어렵다.
변수가 존재하는 경우 변수 값에 따라 참 또는 거짓이 될 수 있기 때문입니다.
예를 들어 x+2>0
x는 -2보다 커야 합니다.
따라서 항상 사실이 아닙니다.
이 형식의 문장을 p(x)로 표시하고 변수 x에 대해 p(x)를 표시합니다. 명제 술어그것은 말한다.
이 명제 술어의 논리는 다음과 같습니다. 술어 논리그것은 말한다.
따라서 이와 같은 변수를 제어하려면 술어 수량자변수의 범위를 제한하려면 이 옵션을 사용하십시오.
조건자 한정자입니다. ∀는 “모두를 위한”을 의미합니다.그리고
‘∃’는 ‘존재한다’는 뜻이다.(에미넴…) 여기 있습니다.
문자 그대로 ∀의 경우 어떤 값을 입력해도 p(x)가 유지되며 ∃는 p(x)가 하나의 x에 대해서만 유지되는 것과 같습니다.
∃의 경우 p(x)를 만족하는 수가 있다면 ∃x가 적용됩니다.
예1. 술어 논리를 사용하여 진술의 참과 거짓을 결정
x가 정수인 경우,
(하나). ∀x(x
– 정수를 모두 입력하더라도 x + 1은 항상 x보다 큽니다. 따라서 진리값은 참입니다.
(2). ∀x(x=1)
– x가 1이 아니면 이 명제는 참이 아닙니다. 그러므로 모든 것이 불가능하기 때문에 잘못된 것입니다.
p(x) x = x의 2승이라고 하자.
(삼). ∃xp(엑스)
– 0이면 0=0의 2제곱이므로 0을 넣으면 참이다. 따라서 명제는 값에 대해 참이기 때문에 참입니다.