5,953
edits
No edit summary |
No edit summary |
||
Line 1,334: | Line 1,334: | ||
{{p indent|<math>(aRb, cSd, \phi e) ((p \lor q).r : \supset : q.r . \equiv . p \lor r)</math>}} | {{p indent|<math>(aRb, cSd, \phi e) ((p \lor q).r : \supset : q.r . \equiv . p \lor r)</math>}} | ||
{{p indent|<math>\quad p \quad q \quad r</math>}} | {{p indent|<math>\quad p \quad q \quad r</math>}} | ||