Common proof rules used are modus ponens and universal instantiation.
قاعده‌های اثباتی که معمولاً استفاده می‌شوند modus ponens و universal instantiation هستند.