and
prime formula
equisatisfiable
subformula
inference rule
formulaically
counterformula
multiformula
formularize
formularise
formulate
system of equations
cookbookish
formulistic
maximal
sequent
prenex
reduce
simultaneous equations
formulaicness
complete
quadratic equation
algebraic
polynomial equation
symmetric polynomial
solution
root
Cramer's rule
formular
Lax pair
quantic
inequation
discriminant
nonpolynomial
catalecticant
primitive
bivariate
fewnomial
irreducible
binomial
formation rule
n-type
Diophantine equation
complement
Entscheidungsproblem
lemniscate of Bernoulli
preparation
conjoin
formulation
multiequational
algebraizable
transcendental
heptagonal
overdetermined
equation
bialgebroid
substitutivity
vanishing ideal
all-one polynomial
degree
multiple root
transcendental function
algebraic language
equalizer
simple root
cubic equation
theorem
rational
determinant
Newton-Cotes formula
multimathematical
schematize
algebraic number
linear equation
match-merge
succedent
constantive
algebraic variety
recursive
alternative algebra
quadratic form
polynomially
member
tractable
valuation function
axiom of extensionality
Jacobian conjecture
monic polynomial
formulaic
formulary
collocation
reducible
unmatch
nonpolynomially
equisatisfiable
cookbookish
formulistic
complete
algebraic
formular
multiformula
irreducible
multiequational
algebraizable
transcendental
heptagonal
overdetermined
rational
multimathematical
constantive
recursive
tractable
formulaic
reducible
formulaically
polynomially
nonpolynomially
prime formula
subformula
inference rule
counterformula
multiformula
system of equations
maximal
sequent
prenex
simultaneous equations
formulaicness
quadratic equation
polynomial equation
symmetric polynomial
solution
root
Cramer's rule
Lax pair
quantic
inequation
discriminant
nonpolynomial
catalecticant
primitive
bivariate
fewnomial
binomial
formation rule
n-type
Diophantine equation
complement
Entscheidungsproblem
lemniscate of Bernoulli
preparation
formulation
equation
bialgebroid
substitutivity
vanishing ideal
all-one polynomial
degree
multiple root
transcendental function
algebraic language
equalizer
simple root
cubic equation
theorem
determinant
Newton-Cotes formula
algebraic number
linear equation
succedent
algebraic variety
alternative algebra
quadratic form
member
valuation function
axiom of extensionality
Jacobian conjecture
monic polynomial
formulary
collocation
formularize
formularise
formulate
reduce
conjoin
schematize
match-merge
unmatch
English words for 'connecting two well-formed formulas to create a well formed formula that requires the new formula to only be true when each of the two are true.'
As you may have noticed, above you will find words for "connecting two well-formed formulas to create a well formed formula that requires the new formula to only be true when each of the two are true.". Hover the mouse over the word you'd like to know more about to view its definition. Click 
to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.
Recent Queries
Repulsive
in a bad state
traveling salesman
upswing
yellow jacket
nightclub
miserable shack
power suit
to piece together
two groups
cause aversion in
benefactor
anniversary of a person's death
to miss.
cherry
The act of ascending
RJE
timeworn
armlet
melodrama
livable
Freemasonry
thrust bearing
established in 1948
facing the north
emoluments
motorization
name day
Semen
working day
god of fortune
broccoli
to jump in
to marry off
sometimes placed in genus Gerardia
to inflict
confidential document
completely exhausted
A dishonest person
tournament
to blow off
mild-mannered
to have a hand in
happy.
concise
financial supporter
costume
how much
at that time
concealment