Logic Symbols
Most of the symbols that we are using in logic, including our symbols for conjunction,
disjunction, and negation, as well as the convention of using letters such p, q and r
to represent statements, were introduced by Bertrand Russell in the early years of the 20th
century.