Symbols:Abbreviations/E

From ProofWiki
Jump to navigation Jump to search
Previous  ... Next

E

EE

Context: Predicate Logic.

Rule of Existential Elimination, which is another term for the Rule of Existential Instantiation (EI).


EG

Context: Predicate Logic.

Rule of Existential Generalisation.


EI

Context: Predicate Logic.

Rule of Existential Instantiation.

Alternatively, Rule of Existential Introduction, which is another term for the Rule of Existential Generalisation (EG). Beware.


EMF

Context: Electromagnetism.

Electromotive force.

Electromotive force is a quantity that measures the source of potential energy in an electrical circuit.

It is defined as the amount of work per unit charge.


Previous  ... Next