Lógica proposicional

Es una lógica que opera sobre proposiciones. Una proposición no es más que una declaración verbal con dos posibles valores de verdad (verdadero o falso). Las proposiciones se combinan y se relacionan entre sí mediante conectivas lógicas (conjunción, disyunción, condicional, etc.) dando lugar a nuevas proposiciones compuestas cuyo valor de verdad depende del valor de verdad de cada una de las proposiciones por separado.