Questions on use and formulation of logical operations, including both functions for programming and for mathematical operations.

learn more… | top users | synonyms

4
votes
1answer
71 views

Is there an easy way to do set counting in Mathematica?

I'm using counts of elements in sets, along with logic. So, for instance, I'd like to determine if Count[$a \land \neg b$] = Count [$a$] - Count[$a \land b$] ...where ...
5
votes
0answers
134 views

Logic programming with Mathematica

My question is: Wikipedia says that there is logic programming paradigm support in Mathematica (like In Prolog). Could anyone provide me with an example of using this paradigm in Mathematica?
5
votes
0answers
99 views

Using quantifiers with free indices as declarative conditions in equation solving

This is a toy example: Is there a way to rewrite Reduce[{Norm@{c[1], c[2], c[3]} == 1, 0 <= c[1] < c[2] < c[3]}, {c[1], c[2], c[3]}] ...
3
votes
0answers
57 views

Simplifying between set theory and logical connectives

I'm trying to find out how to switch between set notation and logic, but am having difficulty. For instance, I know that the following two expressions are equivalent ...
3
votes
0answers
293 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
34 views

Solving systems of logial and set theoretic propositions

I need to allocate a couple of dozen elements into different sets, respecting some boundary conditions, and was hoping Mathematica might somehow help. A simple example: The propositions being a) a ...
0
votes
0answers
71 views

Unknown number of variables in a logical statement

Resolve[ ForAll[{i, y[i]}, Implies[i >= 0 && i < 3 && Implies[i < 3, y[i] > 0], Sum[y[i], {i, 0, 2}]>0]]] returns ...