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
A
“3 < 1 se, e somente se, 2 = 3”.
B
“3 > 1 ou 2 ≠ 3”.
C
“ou 3 > 1 ou 2 = 3”.
D
“3 > 1 e 2 ≠ 3”.