mathematica 能玩 邏輯推理嗎?

時間 2021-05-31 21:53:44

1樓:無影東瓜

偷東西的只有乙個,設為x

A說不是他偷的 <=> x!=1

B說是A偷的 <=> x==1C說不是他 <=> x!=3D說是B偷的 <=> x==2只有乙個人說的是真話,因此逐個驗證即可

In[1]:= list = ;

Table[Simplify[And @@ MapAt[Not, Not /@ list, ]], ]

Out[2]=

可見只有A說的是真話,東西是C偷的

2樓:戴鵬程

既然沒人答我就拋磚引玉一下。

這道題非常經典,轉化為數學語言是一系列命題。

直接用mathematica能否解這一命題我並沒有嘗試過。但是稍加轉化可以變成另乙個問題:

假設用a,b,c,d,分別代表題給的四句話正確與否。比如第一句話正確則a=1,否則a=0。

這樣,根據題中四句話的相互關係可以列方程

a xor b = 1

a or c =1

b or d = 0

再加大招

(a and b反 and c反 and d反)or(a反 and b and c反 and d反)or(a反 and b反 and c and d反)or(a反 and b反 and c反 and d)=1

雖然沒有試過,但以我對mathematica全能性的感覺,解這方程估計沒問題。

解出方程後就知道誰說真話誰說假話了,答案也不難猜了。只提供思想,題主可以一試。

手機回答,不太好排版,見諒。

Mathematica用於統計?

四零七 事實上,Mathematica裡的統計的功能遠比R甚至是Python差的遠,統計裡很多需要的基礎演算法譬如MLE,MCMC,HMC都只能手動實現。有些Package例如MathematicaStan的本質還是R語言。和R與Python比,在統計方面的應用的確還是略顯稚嫩 會呼吸的龍龍 Mat...

Mathematica或matlab怎麼求解含有復變數的方程?

這題其實有解析解 一般常規的代數方程用一些cas計算器模擬器更方便,比如Ti nspire cas的模擬器。使用csolve函式即可求解。其中 特別的,如果 紐澤西管風琴 Solve 0.1 2 Im Sqrt 10.9 I x x Reals,x 將常數改為精確的數就可以得到解析解。Solve 1...

Mathematica 和 MATLAB 都有什麼不同?做數學分析哪個比較專業?

HyperGroups 即然是數學分析相關 那肯定就是Mathematica了。因為Mathematica還擅長排版啊,無論是手工代替草稿紙進行 數學分析 還是機器推符號進行 數學分析 還是數形結合進行數學的分析 都很擅長啊 完了還能把文件轉換成Latex進行網上交流知乎上傳MarkDown功能又瞎...