2018.6.57
原式 | 布尔结构定义 |
---|---|
B ( ℓ T ) B(\ell_T) B(ℓT) | P i P_i Pi |
B ( ¬ F ) B(\neg F) B(¬F) | ¬ B ( F ) \neg B(F) ¬B(F) |
B ( F 1 ∧ F 2 ) B(F_1\wedge F_2) B(F1∧F2) | B ( F 1 ) ∧ B ( F 2 ) B(F_1)\wedge B(F_2) B(F1)∧B(F2) |
B ( F 1 ∨ F 2 ) B(F_1\vee F_2) B(F1∨F2) | B ( F 1 ) ∨ B ( F 2 ) B(F_1)\vee B(F_2) B(F1)∨B(F2) |
B ( F 1 → F 2 ) B(F_1 \to F_2) B(F1→F2) | B ( F 1 ) → B ( F 2 ) B(F_1)\to B(F_2) B(F1)→B(F2) |
B ( F 1 ↔ F 2 ) B(F_1\leftrightarrow F_2) B(F1↔F2) | B ( F 1 ) ↔ B ( F 2 ) B(F_1) \leftrightarrow B(F_2) B(F1)↔B(F2) |