有限个体域上求谓词公式真值表 ## 题目描述 请在有限个体域上通过枚举客体变元列出以下谓词公式的真值表： (∀x)(A(x)→B(x)) 约定：客体变元x的论述范围为{1, 2, ..., n}；当代入具体的客体后，每个原子谓词公式的值可以为T或F。 ## 输入描述 输入一个正整数n，n≤10。 ## 输出描述 记(∀x)(A(x)→B(x))为F1，输出F1的真值表，格式如## 样例输出所示。 ## 样例输入 ```txt 2 ``` ## 样例输出 ```txt A(1) A(2) B(1) B(2) -> F1 0 0 0 0 -> 1 0 0 0 1 -> 1 0 0 1 0 -> 1 0 0 1 1 -> 1 0 1 0 0 -> 0 0 1 0 1 -> 1 0 1 1 0 -> 0 0 1 1 1 -> 1 1 0 0 0 -> 0 1 0 0 1 -> 0 1 0 1 0 -> 1 1 0 1 1 -> 1 1 1 0 0 -> 0 1 1 0 1 -> 0 1 1 1 0 -> 0 1 1 1 1 -> 1 ``` ## 知识点 - 变元的枚举 - 量词 - 真值表