回复逻辑p或者q,并非p,所以qp或者q,并非p,所以q逻辑访问小组归档于 5/16/2025, 2:18:57 PMp或者q,并非p,所以q发表于 2024-11-22我是人或者我喜欢猫，我不是人，所以我喜欢猫？？？好迷惑啊，有没有友友可以解答下Fisherchenxi · 2024-05-18 · 13:53:56 江苏👍 2 在经典逻辑里， p / q -> ~p -> q 是永真式，可以用真值表检查 在直觉主义逻辑里，p / q 可以解释成 "要么能证明 p，要么能证明 q"，~p 的解释是 "不能证明 p"，把这两个条件拼起来，得到 "一定能证明 q"
