consequence relation

1. REDIRECT Logical consequence

{{R from alternative name}}