∃LOGIC INFERENCE RULES

 

For numbers \(i\),\(j\) and variables \(α\),\(β\):


For more on the inference rules see: http://brianrabern.net/logic-handouts/inference_rules.pdf

∃LOGIC