编程题
在有限个体域上验证量词转化律 ## 题目描述 请在有限个体域上验证量词转化律: ﹁(∀x)A(x)⇔(∃x)﹁A(x) ﹁(∃x)A(x)⇔(∀x)﹁A(x) 约定:客体变元x的论述范围为{1, 2, ..., n};当代入具体的客体后,每个原子谓词公式的值可以为T或F。 ## 输入描述 输入一个正整数n,n≤10。 ## 输出描述 记﹁(∀x)A(x)为F1、(∃x)﹁A(x)为F2、﹁(∃x)A(x)为F3、(∀x)﹁A(x)为F4。请在有限个体域上通过枚举客体变元去掉量词并同时列出F1和F2的真值表,F3和F4的真值表,以此验证量词转化律。 ## 样例输入 ```txt 2 ``` ## 样例输出 ```txt A(1) A(2) -> F1 F2 0 0 -> 1 1 0 1 -> 1 1 1 0 -> 1 1 1 1 -> 0 0 A(1) A(2) -> F3 F4 0 0 -> 1 1 0 1 -> 0 0 1 0 -> 0 0 1 1 -> 0 0 ``` ## 知识点 - 有限个体域上客体变元的枚举 - 谓词公式赋值 - 真值表
查看答案
赣ICP备20007335号-2