Em raciocínio lógico, dadas duas proposições p e q, forma-se uma proposição composta de p com q, acrescentando o conectivo “e” (“^”) entre as duas, representada por “p e q” (“p ^ q”), denominada conjunção das proposições p e q. Considere as proposições p e q:
p: “Três é maior que um.”;
q: “Dois é diferente de 3.”.]
Nesse caso, utilizando uma simbologia matemática e o enunciado exposto, a conjunção “p ^ q” pode ser descrita como