Template talk:Formal logic

(Dummy content to prevent red link.)