For historical reasons, propositional calculus is described as “a logic,” and is sometimes called “propositional logic.” But it is not what mathematicians or philosophers mean when they talk about “logic.” They mean predicate calculus, a different and immensely more powerful system.