nesta lição, vamos construir os cinco (5) conectivos lógicos comuns ou operadores. Eles são considerados conectivos lógicos comuns porque eles são muito populares, úteis e sempre ensinados juntos.
Antes de começarmos, eu sugiro que você reveja minha outra lição na qual o link é mostrado abaixo.
Esta lição introdutória sobre tabelas verdade contém conhecimento pré-requisito ou informação que irá ajudá-lo a entender melhor o conteúdo desta lição.,
Introduction to Truth Tables, Statements and Connectives
Le’s start by listing the five (5) common logical connectives.
A Cinco (5) Comum Conectivos Lógicos ou Operadores
Negação Lógica
Lógicas de Conjunção (E)
Disjunção Lógica (OU Inclusivo)
Implicação Lógica (Condicional)
Lógica Biconditional (Dupla Implicação)
I., A negação de uma declaração é também uma declaração com um valor de verdade que é exatamente oposto ao da declaração original. Por exemplo, a negação da declaração é escrita simbolicamente como
~\large{p} or \large{\neg p}.
~{P} ou {\neg P} é lido como “não P”.
Lembre-se: O operador de negação representada pelo símbolo ~ o \neg assume o valor de verdade da frase original, em seguida, enviar o exato oposto de seu valor de verdade., Em outras palavras, a negação simplesmente reverte o valor da verdade de uma determinada declaração. Assim, se a afirmação P é verdadeira, então o valor da verdade de sua negação é falso. Da mesma forma, se P é falso, o valor da verdade de sua negação é verdadeiro.
II. Tabela-verdade da Conjunção Lógica
Um conjunto é um tipo de composto declaração de que é composto de duas proposições (também conhecido como simples declarações) juntou-se pelo operador AND.,
O símbolo que é usado para representar o operador de conjunção e ou lógico é \color{red} \ Large{\wedge}. Parece invertido letra V.
Se temos duas instruções simples P e Q, e queremos formar uma instrução composta unidas pelo operador E, podemos escrever como:
\large{P \cunha Q}.
{P \cunha Q} é lida como “P e Q.”
Lembre-se: O valor de verdade da instrução composta P \cunha Q só é verdadeiro se os valores de verdade de P e Q são ambas verdadeiras., Caso contrário, P \wedge Q É Falso.
Notice in the truth table below that when P is true and Q is true, p \wedge Q is true. No entanto, as outras três combinações de proposições P E Q são falsas.
III. Tabela de verdade da Disjunção Lógica
Uma disjunção é um tipo de composto declaração de que é composto de duas instruções simples, formada pela união de declarações com o operador or.
numa declaração de disjunção, o uso de ou é inclusivo. Isso significa “um ou outro” ou ambos.,
O símbolo que é usado para representar o operador de disjunção ou lógica é \color{red} \ Large{ \vee }. Assemelha-se à letra V do alfabeto.
duas proposições P E Q unidas por ou operador para formar uma declaração composta é escrita como:
\large{P \vee Q}.
{P \vee Q} é lida como “P ou Q.”
Lembre-se: O valor de verdade da instrução composta P \vee Q é verdadeiro se o valor de verdade ou as duas declarações simples P e Q é verdadeira., Morso, p \vee Q também é verdadeiro quando os valores de verdade de ambas as declarações P E Q são verdadeiros. No entanto, a única vez que a declaração de disjunção p \vee Q é falsa, acontece quando os valores de verdade de P E Q são falsos.
IV. Tabela de verdade da Implicação Lógica
Uma implicação (também conhecido como uma instrução condicional) é um tipo de instrução composta é formada pela união de duas instruções simples, com a implicação lógica conjuntivo ou operador.,
O símbolo que é usado para representar o operador de implicação lógica é uma seta que aponta para a direita, portanto uma seta para a direita.
Quando duas instruções simples P e Q são unidas pelo operador de implicação, temos que:
\Large{P \Q}.
onde P é conhecida como a hipótese
onde P é conhecida como a conclusão
Existem muitas maneiras de como ler a condicional {P \Q}., Abaixo estão alguns dos poucos comuns.
lembre – se: o valor da verdade da declaração composta P \A Q é verdadeiro quando ambas as declarações simples P E Q são verdadeiras. Morsso, p \to Q é sempre verdadeiro se P é falso. O único cenário que p \a Q É Falso acontece quando P é verdadeiro, e Q É Falso.
V., A tabela verdade da implicação Bicondicional ou dupla lógica
uma implicação dupla (também conhecida como uma afirmação bicondicional) é um tipo de afirmação composta que é formada pela junção de duas declarações simples com o operador bicondicional. Uma declaração bicondicional é realmente uma combinação de uma declaração condicional e seu inverso.
O operador bicondicional é denotado por uma seta de duas cabeças.,
Quando você juntar duas declarações simples (também conhecido como molecular instruções) com o biconditional operador, temos:
\Large{P \leftrightarrow Q}
{P \leftrightarrow Q} é lida como “P se, e somente se, P.,”
onde P é conhecido como o antecedente
onde P é conhecida como a consequente
Lembre-se: O valor de verdade da biconditional instrução P \leftrightarrow Q é verdadeira quando ambas as declarações simples P e Q são ambas verdadeiras ou ambas falsas. Caso contrário, p \leftrightarrow Q É Falso.
Você pode também estar interessado em:
Introdução a Tabelas de Verdade, Declarações e Conectivos Lógicos
a Converse, Inversa, e Contrapositive de uma Instrução Condicional
Deixe uma resposta