**Formal Notation**

The *biconditional introduction* rule may be written in sequent notation:

where is a metalogical symbol meaning that is a syntactic consequence when and are both in a proof;

or as the statement of a truth-functional tautology or theorem of propositional logic:

where, and are propositions expressed in some formal system.

Read more about this topic: Biconditional Introduction

### Other articles related to "formal, formal notation, notation":

List Of Mathematical Jargon - Descriptive Informalities

... to discuss recurring themes or concepts with unwieldy

... to discuss recurring themes or concepts with unwieldy

**formal**statements ... satisfied by arbitrarily large values, can be expressed in more**formal notation**by ∀x ∃y ≥ x P(y) ... large values, can be expressed in more**formal notation**by ∃x ∀y ≥ x P(y) ...Commutativity Of Conjunction -

... of conjunction can be expressed in sequent

**Formal Notation**... of conjunction can be expressed in sequent

**notation**as and where is a metalogical symbol meaning that is a syntactic consequence of, in the one case, and is a syntactic ...### Famous quotes containing the word formal:

“I will not let him stir

Till I have used the approvèd means I have,

With wholesome syrups, drugs, and holy prayers,

To make of him a *formal* man again.”

—William Shakespeare (1564–1616)

Main Site Subjects

Related Phrases

Related Words