implicationique