Definition:Main Connective/Also known as

From ProofWiki
Jump to navigation Jump to search

Main Connective: Also known as

The main connective is sometimes also called the principal operator.