αβ 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