Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Notations used by TPS and ETPS [ A] means "A is not true".
 

Summary: Notations used by TPS and ETPS
[ A] means "A is not true".
[A B] means "A and B".
[A B] means "A or B".
[A B] means "A implies B".
[A B] means "A if and only if B".
[x A] means "For every x, A is true".
[x A] means "There exists an x such that A is true".
Bracket and Parenthesis Conventions
Outermost brackets and parentheses may be omitted.
Use the convention of association to the left. Thus,
A B C stands for [[A B] C].
A B C D stands for [[[A B] C] D].
A dot stands for a left bracket, whose mate is as far to the
right as is possible without altering the pairing of left and right
brackets already present.
Thus,
A .B C stands for [A [B C]].
[A .B C] D stands for [[A [B C]] D].
When the relative scopes of several connectives of different kinds

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

 

Collections: Mathematics