@mcc or in classical logic,
en.wikipedia.org/wiki/What_the