Também chamada de lógica de sentença e o cálculo sentenciais. Uma lógica de tal preocupações proposições elementares - p, q, r, s, etc. ..--que a única suposição é que devem ser individualmente ou truefalse respeitando e operadores que formam proposições complexas quando se juntou com apropriado número de proposições elementares. Os operadores incluem conjunto (&), portanto 'p e q'; disjunção (v), daí 'p ou q'; negação (-), daí '-p'; condicional (-->), daí ' 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; isto 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, para o primeiro, ou superior, ordem lógica de predicados é completa e decidível.