Skip to main content
search

A statement that follows from premises exclusively by way of truth-functional connectivedefinitions, identity, and quantifiers.