open formula
Sign in to saveformula that contains at least one free variable
Connections
first-order logic
Entity
semantic theory of truth
Entity
ground expression
Entity
mathematical logic
Entity
formal system
Entity
recursive set
Entity
well-formed formula
Entity
semantics of logic
Entity
sentence
Entity
free and bound variables
Entity
structure
Entity
satisfiability
Entity
diagram
Entity
logic
Entity
International Standard Book Number
Entity
natural number
Entity
prime number
Entity
set theory
Entity
function
Entity
set
Entity