The logic tag has no wiki summary.
20
votes
1answer
401 views
How can we create Randolph diagrams in Mathematica?
I have become fascinated with Randolph Diagrams and was wondering how we would create the diagrams from logical sequences using Mathematica?
It looks like it would be a combination of logic and ...
4
votes
3answers
390 views
How to prove an expression by method of mathematical induction?
I want to prove the expression
$$1^2 + 2^2 + 3^2 + \cdots + n^2 = \dfrac{n(n+1)(2n+1)}{6}$$
by method of mathematical induction with Mathematica, but I do not know how to start. How do I tell ...
2
votes
2answers
177 views
How to determine all cases consistent with constraints
Suppose that $(i, j), (k, l)$ and $(m, n)$ are pairs of non-negative integers, satisfying the following constraints:
$$i < j,\;\; k < l, \;\; m < n$$
and
$$ (i, j) < (k, l) < (m, ...
1
vote
3answers
116 views
Creating a Specific Boolean Function
How can I implement a Boolean function F(A,B) that has outputs that are not specific and, therefore, the truth table output of this two-input function will be (a, b, c, d) -- here the first term ...
2
votes
0answers
102 views
Reference request for logic programming in Mathematica
I'm learning Mathematica(v8) to use it to program formal logic. Can anyone recommend a logic-specific tutorial text? A reference list of logic-related functions would also be very appreciated!
1
vote
0answers
143 views
What's a good data structure to represent a, b, a and b, a or b? [closed]
I have a function foobar[x_] that can produce 4 types of output
a
b
a or b
a and b
What's a good data structure, or better ...
