you should be clever enough to make a distinction between use of formal languages, natural languages and meta languages. looking at your flag you're a bulbhead low iq nigger. so nevermind. or stands for at least one option must be true which is similar to the existantial quantifier. and stands for all options must be true which is similar to the universal quantifier. also  > >> /sci/
Austria