Como as proposições “A terra é redonda” e “ O sol é quente” trazem declarações de juízo conhecido, sabe-se então o seguinte quanto ao valor lógico:

Sendo:

p: A terra é redonda.

Então o valor lógico de p é verdade, simbolicamente representado por:

Sendo:

q: o sol é quente.

Então o valor lógico de q é verdade, simbolicamente representado por:

No entanto, qual seria o valor lógico da proposição R, que foi formada pela conjunção de p e q? Veja a seguir.