Resultados da pesquisa

...da conjunção''' é uma [[regra de inferência]] que estabelece que, se dois argumentos A e B são verdadeiros, então a conjunção dos mesmos também é verdadeira. ...

==Argumentos== ...

Na [[matemática]] a '''aridade''' de uma função ou operação é o número de argumentos ou operandos tomados. A aridade de uma relação é o número ''n'' de elemento ...n – else) é mais comum, embora não seja raro definir funções com mais de 3 argumentos. ...

...do domínio de uma função; o número de argumentos é a aridade da função. Os argumentos ficam dentro dos parênteses, separados por vírgulas, por exemplo: ...

...Gödel <math>p</math> de uma função computável parcial com <math>m+n</math> argumentos, e todos os valores de <math>x_1,\cdots,x_m:</math>{{Quote|<math>\varphi _{ ...

...ologia do LMG), e α é uma palavra de “itens” (definido posteriormente). Os argumentos xi são sequências de símbolos terminais e/ou variáveis que definem o padrão ...ologia do LMG), e α é uma palavra de “itens” (definido posteriormente). Os argumentos xi são sequências de símbolos terminais e/ou variáveis que definem o padrão ...

...de]] que, a cada símbolo de <math>\mathcal{} S</math>, associa o número de argumentos do respectivo símbolo (0 para as constantes). ...\mathcal{} N</math> é o conjunto dos números naturais) associa o número de argumentos a cada símbolo de predicado. ...

...a [[Lógica de predicados]], os átomos são símbolos de predicados com seus argumentos, sendo cada argumento um [[Lógica de primeira ordem|termo]]. Em [[Teoria d ...bjetos do domínio em questão), ou uma função ''n''-ária ''f'' que tem como argumentos os termos ''t''_''k''. A função mapea [[Enupla|tupla]]s de objeto ...

Ou seja, ou ambos os argumentos são verdadeiros ou apenas um deles é. Neste caso, provávelmente um. ...

...] no [[cálculo proposicional]].Ele "retorna" o valor verdadeiro se os dois argumentos têm o mesmo [[valor de verdade]], e falso caso contrário. ...as da direta, que são interpretadas como uma afirmação significando que os argumentos têm valores iguais, ou seja, que o valor da função aplicada à expressão é v ...

...slação''' se refere a propriedades ou funções que não se alteram caso seus argumentos sofram uma [[translação]]. '''Invariância por translação''' é um conceito m ...

...ação de função, onde o nome da função sugere uma determinada operação e os argumentos são seus operandos. Um exemplo da notação de função poderia ser <math>Soma( ...

...\models_L X</math> implica <math>A \vdash_S X</math>: isto é, se todos os argumentos [[Validade |válidos]] são dedutíveis (ou prováveis) onde <math>\vdash_S</ma ...e <math>A \vdash_S X</math> implica <math>A \models_L X</math>: isto é, se argumentos não-inválidos são prováveis. ...

...os construtores <code>Zero</code> e <code>Succ</code>. O primeiro não leva argumentos (então, representado pelo tipo unidade), e o segundo leva como argumento ou ...

== Como usar tabelas para verificar a validade de argumentos == === Alguns argumentos válidos === ...

Quando os argumentos de uma função <math>f({x,y})</math> são por sua vez também funções: <math>x A '''derivada total''' é uma caso particular da regra da cadeia, quando os argumentos de ''f'' (''x'',''y'',''z''), só dependem, cada um deles, de uma variável: ...

...ue a função é [[Valor de verdade|F]] há um número par de Ts atribuídos aos argumentos. Especificamente, {{Nowrap|1=''f''(F, F, ..., F) = F}} {{Nowrap|1=''f''(F, ...ade|valor verdade]] da função é F, há um número ímpar de Ts atribuídos aos argumentos. Nesse caso, {{Nowrap|1=''f''(F, F, ..., F) = T}} {{Nowrap|1=''f''(F, F, .. ...

...parciais]], a derivada total aproxima a função em relação a todos os seus argumentos, e não apenas a um. Em muitas situações, isso é o mesmo que considerar toda ...

Uma função {{Math|''V'' × ''W'' → ''X''}} que é aditiva em cada um dos dois argumentos separadamente é chamada de '''função bi-aditiva''' ou '''função ''Z''-bilin ...

...[número real|números reais]]. Note que "L" é uma função de três variáveis (argumentos): "t", a função "q(t)" e a [[derivada]] "q'(t)". ...os falando da função L, e sim da derivada de L em relação a algum dos três argumentos. ...