Resultados da pesquisa

abordagem é rejeitar a introdução da disjunção mas manter o silogismo disjuntivo e a transitividade. A disjunção (A ∨ B) é definida como ¬(¬A ∧ ¬B). Nesta...

eliminação da disjunção, veja Análise de casos. Na lógica proposicional, eliminação da disjunção (as vezes chamado prova por casos ou análise de casos), é...

precisaremos de dois inversores, duas funções AND (chamada de Conjunção Lógica), e uma função OR (chamada de Disjunção Lógica), além de duas entradas...

(com o nome da relação em parênteses): "e" (conjunção) "ou" (disjunção) "ou...ou" (disjunção exclusiva) "implica" (condicional) "se...então" (condicional)...

– concluir que uma disjunção de uma disjunção lógica deve ser falsa porque a outra disjunção é verdadeira. Afirmação do consequente – o antecedente em...

implicação material  é uma regra de substituição válida que permite que uma sentença condicional seja substituída por uma disjunção em que o antecedente...

contradição diz que nenhuma afirmação pode ser verdadeira e falsa ao mesmo tempo e a lei do terceiro excluído diz que qualquer afirmação da forma *P ou não P*...

exatamente o que a primeira afirmação diz). A partir daí, é possível dizer que a afirmação "Limões são verdes ou Papai Noel existe" (uma das duas precisa ser...

Trata-se de um detetor de igualdade. A disjunção exclusiva é verdadeira se, e somente se, apenas um dos operandos for verdadeiro. Trata-se de um detetor de desigualdades...

Na lógica, é comum usar um conjunto de símbolos para representar uma expressão lógica. Esses símbolos não são explicados cada vez que são usados pois os...

formulação de Boole difere das descritas acima em alguns aspectos importantes. Por exemplo, a conjunção e a disjunção em Boole não era um duplo par de operações...

a se e só se b). Através de uma tabela de verdade é fácil ver que a implicação lógica se pode reduzir à negação com disjunção: (a ⇒ b) ≡ (¬a)∨ b porque...

correspondem à "introdução da disjunção." A relação entre OU-1 e OU-2 reflete a comutatividade do operador da disjunção. O axioma NÃO-1 corresponde à...

realizador para uma disjunção explícita escolhe uma das disjunções (com n) e provê um realizador para ele (with m). Um número n realiza uma fórmula A→B se...

a mesma que a disjunção, representado pelo "∨" mas é equivalente ao operador de diferença lógica(≠), ou, de modo semelhante, à disjunção exclusiva(XOR)...

formais incluem afirmar uma disjunção, negar uma conjunção e a falácia do meio não distribuído. Todas elas têm em comum que a verdade de suas premissas não...

composta por uma disjunção (OU) de mintermos. Seu "dual" de De Morgan é o "Produto de Somas" ou "PdS" para a forma canônica que é uma conjunção (E) de maxtermos...

noção de que algumas declarações podem ser ambas verdadeira e falsa simultaneamente. Mais precisamente, é a crença de que pode existir uma afirmação verdadeira...

pluralismo necessita de instrumentos de união e diálogo para não cair na falsa disjunção público – privado. Nesse sentido, um patamar a ser conquistado é a autonomia...

teste não acusa diretamente a presença de material radioativo. O teste declara que a afirmação que não há presença de material radioativo é improvável. O...