Symbolic logic

1. REDIRECT Logic#Formal logic

{{Rcatsh|

{{R to section}}

{{R from merge}}

{{R adr|Formal logic}}

}}