Também chamada de lógica de sentença e o cálculo sentenciais. Tal uma lógica diz respeito a proposições elementares - p, q, r, s, etc. ..--respeitando que a única suposição é que eles devem ser individualmente true ou false, e operadores que formam complexos proposições quando juntou-se com um número apropriado de proposições elementares. Os operadores incluem conjunto (&), portanto 'p e q'; disjunção (v), daí 'p ou q'; negação (-), daí '-p'; condicional (-->), portanto, "se p Então q'; e equivalência (=), portanto 'p é equivalente a q'. Essa lógica é concernida com determinar quais proposições complexas são verdades lógicas ou tautologias; Isso efetivamente determina o que são argumentos válidos, porque tal pode sempre ser tratado como proposições complexas, em que as premissas do argumento aparecem como o antecedente e a conclusão como consequência. Essa lógica, ao contrário do primeiro, ou superior, ordem lógica de predicados é completa e decidível.