La conjunción lógica de varias proposiciones (atómicas o no), se representa escribiendo simplemente sus símbolos uno a continuación del otro: para afirmar que dos proposiciones P y Q son verdaderas, se escribe simplemente "PQ".