Questions tagged [logic]
Questions on use and formulation of logical operations, including both functions for programming and for mathematical operations.
157 questions
0
votes
0
answers
111
views
Is there a better way to simplify logical expressions re than FullSimplify?
I have an example where Reduce outputted
...
- 2,380
5
votes
1
answer
379
views
Turning the solution from Reduce to a graph
I am trying to make a graph from an arbitrary solution from reduce so that it looks prettier and is more readable.
My question is very similar to the question How can I make the output of Reduce more ...
- 687
0
votes
2
answers
111
views
How to take an intersection of lists of lists with significance data included
I have two sets of data as a list of binary lists and their measure of significance, for example
...
- 587
-4
votes
2
answers
296
views
How to solve this geometric problem with Mathematica?
I try to solve the following problem, making use of 14.0 on Windows 10
Let a triangle $\Delta$ (a contour with its interior) be chosen in the unit square $S$.
To prove that the closure of the ...
5
votes
2
answers
198
views
Simplifying a logical expression with multivariate polynomials
I have several expressions similar to
a (a b + c d) != 0 || b (a b + c d) != 0 || c (a b + c d) != 0 || d (a b + c d) != 0
and I would like to reduce them ...
- 2,459
5
votes
1
answer
229
views
Can we find validity proofs by means of rules of inference with FindEquationalProof?
Can we find proofs such as:
Using FindEquationalProof? My guess is "yes" but I don't know what would be the "axioms" here nor how would we write this in Mathematica.
- 5,613
4
votes
4
answers
213
views
Why does FindInstance require specifying variables, and how to transform a list of logical expressions into the list of its variables [duplicate]
It would be convenient to have a function VarsfromLogical
which out of {a+b>c,c+d==a} outputs {a,b,c,d}
Incidentally, I use ...
- 2,380
1
vote
1
answer
81
views
Performing logical reasoning to find minimum function between two functions
Consider the following two expressions:
f[x_,y_] := (1+x)
g[x_,y_] := (1+x*y^2)
x,y are bounded in a unit hypercube. (Ignore ...
- 1,957
10
votes
2
answers
1k
views
Can Mathematica perform logical reasoning?
The question goes like this:
Ms. Li has just moved into a new home and plans to buy several potted plants at once. Her thoughts are as follows:
Buy either Green Radish or Podocarpus.
Buy at least ...
- 1
2
votes
1
answer
103
views
FromLetterNumber and "" bug or intended behaviour
DigitQ behaviour appears consistent
"" is treated as 0 by DigitQ`
...
3
votes
1
answer
109
views
How can we express more complex logical expressions in Mathematica?
How can we use quantifiers to express something a bit more complex such as - for example - the definition of limit:
$$\forall \epsilon >0\hspace{2mm} \exists \delta >0 \hspace{.5mm} :\hspace{....
- 5,613
1
vote
2
answers
215
views
Defining a Boolean Region [duplicate]
I'd like to define a new region that is "within direct sight" of a certain point within an existing region.
For the example below, the regions highlighted in red from the black point are not ...
- 5,094
3
votes
1
answer
139
views
How to get the function-basis as they appear in the expression?
I have the following expression containing functions eg. Log, PolyLog etc,
...
- 1,957
2
votes
2
answers
410
views
How to simplify logical expression?
I would like to simplify
(a == c && c != 0) || (a == 0 && c == 0)
to
a == c
How can I do that?
- 21
1
vote
1
answer
244
views
How can I Xor two decimal numbers?
I want to take two numbers, say 200 and 101, and transform them into their binary form. Then XOR them together and transform the result back into the decimal form. The result in this case should be ...
- 40.8k