Pelo princípio da não contradição da lógica tradicional a surge a noção de exclusividade mútua. Os conectivos lógicos utilizados para a determinaçã...

Pelo princípio da não contradição da lógica tradicional a surge a noção de exclusividade mútua. Os conectivos lógicos utilizados para a determinação dos valores lógicos das funções compostas são definidos em disjunção, conjunção, negação, implicação e equivalência. Assinale a alternativa que apresenta o conceito com sua definição correta. Implicação é a determinação que a pertinência de uma proposição ao conjunto verdade é idêntica a pertinência de outra proposição ao conjunto verdade. Conjunção de uma proposição é o complemento a um da pertinência da proposição. Equivalência é a interseção das duas proposições, por isso, o mínimo das pertinências das proposições ao conjunto verdade. Disjunção é dada pela união entre as proposições, logo é o máximo das pertinências ao conjunto verdade de duas proposições. Negação é dada pela união entre a negação de uma proposição e a outra proposição, logo o máximo das pertinências da negação da primeira proposição com a segunda.