Lógica imperativa

Lógica imperativa é a área da lógica que trata de argumentos contendo sentenças em modo imperativo. Em contraste com as sentenças em modo declarativo, imperativas não são verdadeiras nem falsas. Isto resulta em uma quantidade de dilemas lógicos, quebra-cabeças, e paradoxos. Diferente da lógica clássica, quase não há consenso em nenhum aspecto da lógica imperativa.