Cálculo de Proposiciones Usado por:Cálculo Proposicional Término genérico:Lógica Matemática Microtesauro:Matemáticas