Wikimedia Commons has media related to Systems of formal logic.

These systems provide a syntax and semantics for the formal study of logic.