condicional estrito

Em lógica, um condicional estrito é um condicional regido por um operador modal, isto é, um conectivo lógico da lógica modal. É logicamente equivalente ao condicional material da lógica clássica, combinado com o operador de necessidade da lógica modal. Para quaisquer duas proposições p e q, a fórmula p → q afirma que p implica q , enquanto afirma que p estritamente implica q. Condicionais estritos são o resultado da tentativa feita por Clarence Irving Lewis em encontrar um condicional para a lógica que possa expressar adequadamente condicionais indicativos na linguagem natural. Este tipo de condicional também tem sido usado no estudo da teologia molinista.