Импликация – логическое следование, (→, «ЕСЛИ..., ТО...», IF) – (логическая операция) – умственное действие, состоящее в обозначении причинно-следственной связи или необходимого условия. Такое условие может быть сколько угодно сложным и составным (включая другие логические операции), но в любом случае у него только два исхода – оно будет выпол нено или не будет выпол нено, т.е. описанное в условии на момент его проверки будет соответствовать действительности или не будет.