---
tag: 668CF14V72
kind: concept
name: Universal introduction
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section U
    note: adopted
    mention: wikipedia://en/76765067#EJPD
    sections: [Summary]
inventory: [6CNPXATPXW]
---

## Summary

A rule of inference in predicate logic that allows for the generalization of a statement to all members of a category if the statement is shown to hold for an arbitrary but specific individual.