把以下自然语言用谓词逻辑符号化 - 数理逻辑吧

level 2

15336666770 楼主

把串联电路上的所有开关都打开，整条电路就通了。

2023年04月02日 00点04分 1

level 2

15336666770 楼主

2楼的回答不对，下面我来证明：
假设2楼的回答对，那么：
∀xA(x)→T ⇔ 彐x(A(x)→T)
彐x(A(x)→T) 翻译成自然语言：存在一个打开就能通整条电路的开关。
显然串联电路中不存在这样一个开关，和原题意思不符。
得出矛盾。

2023年04月02日 00点04分 3

2楼是小号属于自问自答。根据排中律2楼3楼必有一假，那么到底是2楼错了还是3楼错了？

2023年04月02日 01点04分