User Portlet
| Discussions |
|---|
| I tried my first simple proof in first-order/predicate logic with FindEquationalProof (12.3) and the following example: Axiom: Everyone has a father Axiom: A grandfather is the father of a father Hypothesis: Everyone has a grandfather ... |
| Could someone help me to explain the following strange behavior of Mathematica with the following expression: In[903]:= Replace[And[a, b], {And[x__] :> List[x]}] Out[903]= {a && b} in comparison to: In[891]:= Replace[and[a,... |
| With the new Mathematica object "FindEquationalProof" it is possible to prove, that one expression in Boolean Logic is equal to the corresponding expression in Set Theory, despite the first is dealing with Booleans, the other is dealing with Sets... |
| I do not understand the very early evaluation of ForAll[a,b] to "b". This should only be evaluated in this way, if it is sure, that "b" is free of "a" (FreeQ[b,a]==True). ForAll[a, b] b Due to the Attribute "HoldAll" of the symbol... |
| I want to specify a set of some general mathematical rules regarding probability theory to solve equations with "expectation" and "variance" for random variables. Therefore I want to "teach" mathematica to evaluate the expression ... |