Tag - logical reasoning formulas pdf