# Questions tagged [logic]

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

144 questions
Filter by
Sorted by
Tagged with
35 views

### Symbolic solutions to systems of Boolean constraints?

Is it possible to solve a system of Boolean constraints symbolically? I'm trying to solve systems like the following, where $X$ is the unknown Boolean expression I'm trying to find, $a, b, c$ are the ...
105 views

### Is there a function which tests whether a Boolean expression is an inequality?

For something I am doing in Mathematica, it would be very helpful to have a function f[] which, when applied to an atomic Boolean expression, returns True if the Boolean expression is an inequality, ...
25 views

### How can I combine an identity predicate with first-order predicates while using FindEquationalProof

I am trying out some of the automated theorem proving in mathematica, and for my test case am working with Tarski and Sczerba's (mostly) first-order axiomatization of Affine Geometry, which has just ...
75 views

### Implies cannot find an answer

I have a simple relation and I try to find if P implies Q or not. I expect to get True because it is somehow obvious for me. ...
1 vote
31 views

### How to count the number of disjoint regions covered by a Boolean expression?

Consider the following Boolean expression as an example: ...
60 views

### Does applying Reduce result in an equivalence or a oneway implication or both? [closed]

If I type something like this into Mathematica: ...
148 views

### Generating language from grammar

To be concrete, consider the following formal grammar: $$S \rightarrow aSb$$ $$S \rightarrow \varepsilon$$ The language generated by this grammar is $L = \{ a^n b^n | n \geq 0 \}$. How can I implement ...
159 views

### Make a plot of the nth prime divided by n*log(n) ,for n from 2to1000 [closed]

ListPlot[Table[RandomReal[n, Prime]/n*log (n), {n, 2, 1000}]] this is all i can do.
154 views

### Field axioms in Mathematica

I don't understand the result of AxiomaticTheory["FieldAxioms", "Axioms"] ...
47 views

### Need help with Assumptions for an integral

I want to solve this Log, Integrate[2a Log[-a+((A0 + (y-y1)²)^½, {y1, 0,b}] But Mathematica only gives me long conditional expressions or imaginary numbers. I (my thinking which can be wrong) assume I ...
110 views

### How to solve logic problem with a joker sometimes tell truth and sometimes lie?

If there are only truth teller and liar, I used to solve with BooleanConvert or SatisfiabilityInstances. However for this one, ...
92 views

### Evaluation process of And, Or,

Small questions about evaluation process of And, Or. code 1) ...
292 views

### What's wrong with or? [closed]

Consider Clear[x]; x = 2; x < 2.9 || x > 3.1 This yields True So, everything is o. k. (interesting) But when you replace ...
99 views

### Simple way to express disjunction likes x==a || x==b || x==c ||

Is there a simple, shorter way to express x==1||x==2||x==3... ? For example, suppose that there is a roulette having integers 1 to 10 1> assigin 10% for 1 to 8 ...
251 views

### How to prove or disprove an inequality with Mathematica?

I mean there exist $\lambda>0, x\in \mathbb R$ s.t. the inequality $$\frac{3^{\lambda } e^x+e^{3 x}+1}{2^{\lambda } e^{2 x}}<\frac{1}{10^{100}}$$ is valid. Here are my unsuccessful attempts. <...
177 views

### Logical functions with no arguments

I am trying to understand how logical functions are evaluated if no arguments are passed to them. {Or[], Nor[], And[], Nand[], Xor[], Xnor[]} {False, True, True, ...
1 vote
36 views

### Reduce works for simple inequalities in Reals but not in Integers

In the domain of Reals Reduce correctly reduces the system to True: ...
1 vote
110 views

### How to transfer the logical expression to list of list?

As described in the title, I would wondering: How to transfer the solutions give by the following code ...
1 vote
122 views

### How to unfolding (expand) logical expression?

How to expand the following expression ...
53 views

### Ordinal arithmetic

How can I compute with ordinals in mathematica? For instance, I'd like to query $2+\omega > 1 + 2 \omega$.
1 vote
116 views

### How to convert this Mathematica expression to another, as described here?

I am working on a function of which the core will consist of something like: ...
330 views

### How can I self-define a keyboard entry for 3-dot "Because"?

In Mathematica, there already exists a keyboard entry for 3-dot "Therefore", which provides great convenience for input as shown below. However, I find it a little odd that for its ...
58 views

### Intermediate results from SatisfiabilityInstances

I have a large logical expression, with roughly 100 boolean variables. I am interested in the solution with the smallest numbers of True. It seems there is no such ...
163 views

### For all x in {1,2,3}, x is bigger than 4

I am new to ForAll or Exists command. Resolve[ForAll[x, Element[x, Reals], x > 4]] gives ...
38 views

### LogitModelFit for predicting Categorical Variable

I was wondering how can I use LogitModelFit to predict the probability of a categorical variable based on non-categorially variables ?
1 vote
85 views

### TautologyQ like feature that also works for inequalities

If a=b and b=c, then a=c. So in mathematica, TautologyQ[(a == b) && (b == c) \[Implies] a == c, {a, b, c}] yields 'True'. If a<b and b<c, then a<c....
1 vote
40 views

### Conditional tab view

I'd like to create a tabview with conditions on it, rather than put the tabview inside an If statement, to reduce the length of my code. i.e. ...
1 vote
204 views

### How can I change the Mathematica programming for creating a Venn Diagram?

I am working on using Venn diagram to explain logic and logical connections between sets. After coming upon these answers: Create a Venn Diagram, How to plot Venn diagrams with Mathematica?, which I ...
1k views

### How can I use Mathematica to solve a complex truth-teller/liar logic problem?

I have a logic puzzle I want to convert to Mathematica to solve: Person A states, "Exactly two people are truth-tellers," Person B states, "I and Person C are truth-tellers." ...
229 views

### Incorrect result by DSolve

For real $x$ consider the trivial equation $$|y'(x)|=-|x|.$$ Since the left side is always positive and the right always negative, there is no solution. Let's try ...
162 views

### Axiomatizing naturals

Trying to implement the naturals in Mathematica, I follow E. Mendelson, Introduction to Mathematical Logic, Ch. 3, Par. 1. Here is my code for the axioms (exept the induction axiom) ...
156 views

### How to check if solution to NSolve exists?

I'm trying to created a table where the entries are values of x, either given by x/.NSolve[...][] or a fixed value x0 if there is no numerical solution. Is there a way to find the truth value for ...
64 views

### perform logical or on sublist of a list efficiently

Given a huge list x of 0s and 1s and an increasing list i...
120 views

### First Order/Higher Order Logical Forward reasoning in Mathematica (Mathematica for FOL/HOL knowledge base)?

I am trying to develop Artificial Intelligence system that can automatically discover and apply reasoning patterns, templates, strategies (there is even theory for that - Cognitive Task Analysis). ...
199 views

### Natural deduction with FindEquationalProof

Out of curiosity, I'm trying to implement a natural deduction prover in Mathematica using FindEquationalProof. So far, I've implemented a few of the easier rules: <...
1 vote
87 views

### Solving a ForAll optimization problem in Mathematica

I am trying to solve the following optimization problem in Mathematica: Minimize[{y0 + y2 m2, ForAll[x, y0+y2 x^2 >= Boole[x>0]]}, {y0,y2}] Unfortunately, ...
396 views

### count conditional items in list

I have a list of the form: {1,1, (1 if x>y, -1 if y>=x), -1} I want to count the number of 1's in the list. The output I'm looking for is something of the ...
1 vote
109 views

1 vote
140 views

### Using Select and AllTrue to filter elements of a large nested list based on relations between elements of the smaller nested lists

I tried searching but all similar questions seemed to be based around one Boolean logical statement. I'm dealing with a nested list of pairs partitions of integers, such that the sum of the two ...
1 vote
86 views

### TrueQ returning False on true, non-numerical statement

I'm trying to test the following logical statement: state = {{1,1,1}}; Or[state != 0, state != Null] but it's returning False ...
I have a predicate calculus (first-order logic) problem. I have the formula $\qquad \forall x[\neg P(x) \land \forall y \neg Q(x,y) \rightarrow \forall x \forall y R(x,y,z)]$ I want to express ...
{"ft_lang_label":"__label__en","ft_lang_prob":0.8709672,"math_prob":0.8748676,"size":11838,"snap":"2023-40-2023-50","text_gpt3_token_len":3112,"char_repetition_ratio":0.14982255,"word_repetition_ratio":0.018802574,"special_character_ratio":0.27994594,"punctuation_ratio":0.15138166,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99558896,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-09-28T04:30:26Z\",\"WARC-Record-ID\":\"<urn:uuid:683888fb-9d84-4cfd-aea2-4c823b1f6666>\",\"Content-Length\":\"326170\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:289c6778-ac91-4b2a-8fcd-e6288ff65f63>\",\"WARC-Concurrent-To\":\"<urn:uuid:16a45e1c-1f52-4596-948a-493e71a8878e>\",\"WARC-IP-Address\":\"104.18.11.86\",\"WARC-Target-URI\":\"https://mathematica.stackexchange.com/questions/tagged/logic\",\"WARC-Payload-Digest\":\"sha1:ZT7U6EUT6MMLRDCK2EBPQTF3DNIULAUW\",\"WARC-Block-Digest\":\"sha1:M7MJI244YWC3KWDOVM5PRHA3JGU4362K\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-40/CC-MAIN-2023-40_segments_1695233510358.68_warc_CC-MAIN-20230928031105-20230928061105-00188.warc.gz\"}"}