Predicate Generator

This algorithm can be used to generate mathematical expressions.
Pretty cool, right?

• The Github repo: https://github.com/Xallt/PredicateGenerator

It’s a generator of logical expressions with the ability to translate them to a given language.

Examples

All the output is translated to LaTeX:

Basic	Mathematical	English

Adjacent expressions are similar because the algorithm outputs the lines in lexigraphic order

Here are actually interesting generated “statements” (not all of them are true)
In this context variables are only non-negative integers

1) 2 is a prime number
2) Every single number is prime
3) Prime numbers exist !
5) Every number is equal to itself
6) There are numbers which are equal to themselves
7) Not all numbers are prime
8) Prime numbers don’t exist\