Predicate Logic

1. REDIRECT First-order logic

{{R from other capitalisation}}