Matematický aparát Odvozená tvrzení (zákony)