Импликация высказываний: логические основы и примеры