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