Propositional logic: vad står implication för?

Som topic, vad står det för?

Det är engelska (alternativt franska), och står för det vi på svenska kallar implikation. Eller vad ska man svara? Vadå "står för"? Det är ju inte någon förkortning. Ska man svara att det står för bättre vård, skola och omsorg?

Kanske var jag som uttryckte mig lite konstigt.

Men om jag istället säger så här, logic 'and' ger true om alla argumenten är true, logic 'or' ger true om något av argumenten är true, osv.
Men hur är det med implication? Hur fungerar det?

Första träffen på Google:

http://www.merriam-webster.com/dictionary/implication