Logic 将以下断言转换为逻辑公式_Logic_Discrete Mathematics

Logic 将以下断言转换为逻辑公式

logic

Logic 将以下断言转换为逻辑公式,logic,discrete-mathematics,Logic,Discrete Mathematics,只考虑自然数。假设有一个谓词IsPrime（x），如果x是素数，则该谓词为真 1）每个区间都有一个素数，其大小为10^8 2）有无限对连续素数（p，q）满足| p-q |（1）每个区间有一个素数，其大小为10^8 对于每对（x，y）都存在一个z，如果区间[x，y]至少为10^8，则该区间中存在一个z，即素数 ForAll（x）.ForAll（y）.Exists（z）。（y-x>=10^8）->（x ForAll(x).ForAll(y).Exists(z).(y - x >= 10^8

只考虑自然数。假设有一个谓词IsPrime（x），如果x是素数，则该谓词为真

1）每个区间都有一个素数，其大小为10^8

2）有无限对连续素数（p，q）满足| p-q |（1）每个区间有一个素数，其大小为10^8

对于每对（x，y）都存在一个z，如果区间[x，y]至少为10^8，则该区间中存在一个z，即素数

ForAll（x）.ForAll（y）.Exists（z）。（y-x>=10^8）->（x
ForAll(x).ForAll(y).Exists(z).(y - x >= 10^8) -> (x <= z <= y and IsPrime(z)).

ForAll(x).Exists(p).Exists(q).(x <= p < q) and IsPrime(p) and IsPrime(q) and (q - p) <= 10^8