Законы логики: Символическая запись и примеры