这是Talk:模态逻辑的当前版本，由Cewbot（留言 | 贡献）编辑于2024年2月20日 (二) 03:47 （Maintain {{WPBS}}: 1個專題模版。Create {{WPBS}}.）。这个网址是本页该版本的固定链接。
請問反證法在模態邏輯中是否適用?銀狐 (留言) 2008年2月8日 (五) 20:20 (UTC)回复
