Conjunction introduction

rule of inference of propositional logic

Categories: