Lógica o Cálculo sentencial