在有限个体域上验证量词转化律

题目描述

请在有限个体域上验证量词转化律：

﹁(∀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的真值表，以此验证量词转化律。

样例输入

2

样例输出

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

知识点

• 有限个体域上客体变元的枚举
• 谓词公式赋值
• 真值表