Increase vertical space between inference rules

1
2
\documentclass{beamer}¬
\usepackage{amsmath}¬
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

LaTeX