Символика и обозначения логического отрицания