
复合判断涉及联言判断、选言判断、假言判断和负判断。矛盾律意味着不能同时肯定两个相互矛盾或相互反对的判断,排中律则表示不能同时否定两个相矛盾或构成下反对关系的判断。
根据你的描述,矛盾律主要适用于联言判断。你可以自行构建一个同时肯定两个相矛盾或相反对的联言判断的真值情况表,以此来验证矛盾律是否成立。
同样地,排中律的验证也适用于联言判断。你可以对一个同时否定两个相矛盾或构成下反对关系的联言判断进行真值情况表的构建,以此来检验排中律。
真值表的构建过程较为复杂,但可以通过逻辑运算符如“与”、“或”、“非”等进行逐步分析。对于联言判断,可以使用“与”运算符来表示多个命题同时为真的情况。对于选言判断,可以使用“或”运算符来表示至少有一个命题为真的情况。假言判断则涉及条件语句,通常表示为“如果...那么...”的形式,需要根据条件和结果进行真值判断。负判断则涉及对命题的否定,通常使用“非”运算符来表示。
通过构建这些真值情况表,你可以直观地看到每个复合判断在不同情况下所对应的真值,进而验证矛盾律和排中律是否成立。