Inference rules for predicate logic July 8, 2019 16 32 64 128 Inference rules for first order predicate logic
