# data[].attributes.headline
Apresenta valor lógico verdadeiro quando p é falsa e valor lógico falso quando p é verdadeira.

# data[].attributes.subject
Apresenta valor lógico verdadeiro quando p é falsa e valor lógico falso quando p é verdadeira.

# data[].attributes.headline
Retorna um valor lógico verdadeiro quando p e q são verdadeiros ou quando p e q forem falsos.

# data[].attributes.subject
Retorna um valor lógico verdadeiro quando p e q são verdadeiros ou quando p e q forem falsos.

# data[].attributes.headline
Retorna um valor lógico falso quando p é verdadeiro e q é falso, se p e q estiverem dispostos na seguinte ordem: p → q (se p então q).

# data[].attributes.subject
Retorna um valor lógico falso quando p é verdadeiro e q é falso, se p e q estiverem dispostos na seguinte ordem: p → q (se p então q).

# data[].attributes.headline
O valor lógico verdadeiro somente quando uma das duas premissas é verdadeira.

# data[].attributes.subject
O valor lógico verdadeiro somente quando uma das duas premissas é verdadeira.

# data[].attributes.headline
Pelo menos uma das duas premissas devem ser verdadeiras.

# data[].attributes.subject
Pelo menos uma das duas premissas devem ser verdadeiras.

# data[].attributes.headline
Conclusão lógica verdadeira quando as duas premissas são verdadeiras.

# data[].attributes.subject
Conclusão lógica verdadeira quando as duas premissas são verdadeiras.

# data[].attributes.headline
É um argumento dedutivo constituído de três proposições declarativas que se conectam de tal modo que, a partir das duas primeiras, é possível deduzir uma conclusão.

# data[].attributes.subject
É um argumento dedutivo constituído de três proposições declarativas que se conectam de tal modo que, a partir das duas primeiras, é possível deduzir uma conclusão.

# data[].attributes.headline
É um argumento logicamente incoerente, sem fundamento, inválido ou falho na tentativa de provar eficazmente o que alega.

# data[].attributes.subject
É um argumento logicamente incoerente, sem fundamento, inválido ou falho na tentativa de provar eficazmente o que alega.

# data[].attributes.headline
É um processo pelo qual, através de determinados dados, chega-se a alguma conclusão.

# data[].attributes.subject
É um processo pelo qual, através de determinados dados, chega-se a alguma conclusão.

# data[].attributes.headline
É uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência.

# data[].attributes.subject
É uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência.

# data[].attributes.headline
São uma sequência de premissas que levam a uma conclusão.

# data[].attributes.subject
São uma sequência de premissas que levam a uma conclusão.

# data[].attributes.headline
São afirmações que só podem ser classificadas ou como verdadeiras ou como falsas.

# data[].attributes.subject
São afirmações que só podem ser classificadas ou como verdadeiras ou como falsas.

# data[].attributes.body
Os principais conceitos da lógica computacional são:

# data[].attributes.body
A lógica computacional é a relação entre a lógica formal e a computação.