Aussagenlogik

A,B Aussagen    
, Negation der Aussage A    
, Konjunktion, logisches UND    
, Disjunktion, logisches ODER    
Implikation, WENN A, DANN B    
Äquivalenz, A GENAU DANN, WENN B