Discrete Mathematics - Propositional Logic - The rules of mathematical logic specify methods of reasoning mathematical statements. Graphical representation … . R is transitive x R y and y R z implies x R z, for all x,y,z∈A Example: i<7 and 7