Импликация логических выражений. Знак соответствующий логической операции импликация. следование логика. логическое следование высказываний. импликация двух высказываний.