Logical Implication

Origin	19th century
Branch of	Mathematics
Originator	Friedrich Ludwig Gottlob Frege
Central concept	Implications or If...then... statements between propositions
Areas of application	Computer science • Artificial intelligence • Philosophy