用Java写一段判断命题真假的代码

好的，以下是一个简单的 Java 代码示例，用于判断命题的真假：

public class PropositionalLogic {
    public static void main(String[] args) {
        boolean p = true;
        boolean q = false;

        // 命题 P ∧ Q 的真假
        boolean conjunction = p && q;
        System.out.println("P ∧ Q is " + conjunction);

        // 命题 P ∨ Q 的真假
        boolean disjunction = p || q;
        System.out.println("P ∨ Q is " + disjunction);

        // 命题 P → Q 的真假
        boolean implication = !p || q;
        System.out.println("P → Q is " + implication);

        // 命题 P ↔ Q 的真假
        boolean biconditional = (p && q) || (!p && !q);
        System.out.println("P ↔ Q is " + biconditional);
    }
}

这个代码示例中，我们定义了两个 boolean 类型的变量 p 和 q，然后通过逻辑运算符 &&（与）、||（或）、!（非）来组合构造不同的命题，并输出它们的真假。