Формулы и примеры простых высказываний в логике