This research tries to concentrate on an essential and important issue in symbolic
logic, which is the calculus of propositions in Rassell's logic.
By studying this issue we will be able to understand propositions in Rassell's logic
and its relati
onship with facts because of the great relationship between them. also we are
going to know his opinion of Aristote's Categorical proposition.
This research aims to study the issue of simple truth functions which are treated by
calculus of propositions and deals with it as axiomatic and clarify the difference between
material implication and formal implication.
Finally it studies the axiomatic in calculus of propositions depending on the book
principles of mathematics.
