Formal Logic

Formal Logic provides the basic rules used by formal method tools to verify programs. It is thus necessary to learn and understand the basics of formal logic.

edukera is an online application to practice formal