Thursday, November 13, 2014

(α)lpha(β)et

αβ are the first two letters of the Greek alphabet. Say alpha. Now say beta. 'α' is pronounced alpha and 'β' is pronounced beta. I can't imagine where 'alphabet' came from. Below is the current list of symbols I use.

Ø , ∈ , = , ∀ , ∃ , ○ , ● , ¬ , ∧ , ∨ , ⇒ , ⇔ , ( , ) , [ , ] , { , } , (Variables)


      Constant:                               Relations:                                      Quantifiers: 
             Ø  ( the empty set )              ∈  ( is an element of )                 ∀ ( for each ) 
                                                              =  ( equals )                                   ∃  ( there exists )
       
     Connectives:                           Grouping Symbols:                            Values:
             ¬ ( not )                                     (     ( left parenthesis )                   ○  ( true )
             ∧ ( and )                                    )    ( right parenthesis )                 ●  ( false )
             ∨ ( or )                                      [      ( left bracket )                  
             ⇒ ( implies )                             ]      ( right bracket )                 Variables:
            ⇔ ( is equivalent to )              {     ( left brace )                             Any symbols not listed
                                                                 }     ( right brace )                           here are variables.                                                                                                                                       Scripts allowed
    

No comments:

Post a Comment