logical implication

1. REDIRECT Logical consequence

{{Redirect category shell|1=

{{R from merge}}

{{R an}}

}}