formel mantık