Um argumento representa o valor que você passa para um parâmetro de procedimento, quando você chama o procedimento. O código de chamada fornece os argumentos quando chama o procedimento.

argumento, que seria o valor passado (pode ser mais que um) a função na hora de sua chamada. Veja:

let valor1 = 10;
let valor2 = 20;

let valorSoma = somar(valor1, valor2);

Durante a execução do código acima, as variáveis "valor1" e "valor2" são inicializadas e passadas, como argumentos para a função somar(). Dentro da mesma, os parâmetros são avaliados e os argumentos '10' e '20' são obtidos. Estes valores são somados, o resultado é retornado e atribuído à variável "valorSoma ". É importante notar que variáveis não são parâmetros e nem argumentos.

Premissa significa a proposição, o conteúdo, as informações essenciais que servem de base para um raciocínio, para um estudo que levará a uma conclusão. Em lógica a premissa significa cada uma das proposições de um silogismo.

Dependendo do contexto em que é usada a palavra premissa pode ter como sinônimos, por exemplo: princípio, ideia inicial, alegação, enunciado ou argumento.

Premissa na lógica

Premissa em lógica é um conjunto de uma ou mais de uma sentença declarativa que é acompanhada de uma outra frase declarativa que é a conclusão. A verdade da conclusão é uma consequência lógica das premissas que a antecederam. Portanto, as premissas são as proposições que justificam a conclusão obtida.

Toda premissa, pode ser verdadeira ou falsa, bem como a conclusão, não aceitando jamais a ambiguidade. As frases que apresentam uma premissa são referidas como verdadeiras ou falsas (válidas ou inválidas), portanto, devem ser portadoras da verdade.

Premissa maior e premissa menor

Uma premissa é uma proposição presente em um silogismo, o raciocínio feito com base em deduções. Assim, a premissa permite que se chegue a uma determinada conclusão através de um processo de dedução.

Existe a premissa maior, que contém o termo maior, e que culminará na conclusão. Já a premissa menor contém o sujeito da conclusão. Dadas as duas premissas, pode-se chegar a uma conclusão.

Por exemplo:

Premissa maior: Todos os seres humanos são mamíferos.
Premissa menor: O Pedro é um ser humano.
Conclusão: Logo, o Pedro é um mamífero.

Neste caso, "mamífero" é o termo maior, "seres humanos" é o termo médio e "Pedro" é o termo menor.

As proposições podem ser classificadas como simples ou
compostas.
 A proposição será simples quando existir uma única
afirmação na frase
 A proposição é composta quando for constituída de,
pelo menos, duas proposições simples “ligadas” por um
conectivo lógico, também chamado de conector lógico,
conectivo proposicional ou operação lógica. (BISPO;
CASTANHEIRA, 2011).

Proposições Simples

Tais estruturas serão designadas pelas letras latinas
minúsculas tais como:
p, q, r, s, u, v...
Exemplos:
p: 12>2.
q: Joana é uma excelente professora.
s: Adriane foi a um aniversário no sábado.
t: Rone é jogador de truco.
Valor lógico de uma proposição p:
Verdadeiro: V(p) = V;
Falso: V(p) = F.

Proposições Composta

Pode ser chamada de fórmula proposicional ou uma molécula ou ainda uma proposição molecular. É uma
sentença declarativa, afirmativa, de sentido completo
constituída pela combinação de duas ou mais
proposições simples.
 As proposições compostas serão designadas pelas
letras latinas maiúsculas tais como:
 P, Q, R, S, U, V, Z
Exemplos:
“Os suíços fabricam os melhores relógios e os
franceses, o melhor vinho”.
 = E + 2 proposições simples
 P: Os suíços fabricam os melhores relógios.
 S: Os franceses fabricam o melhor vinho.

As proposições simples(átomos) combinam-se comoutras ou são modificadas por alguns
operadores(conectivos).
Exemplos:
P(p,q): José é dançarino e Carlos é estudante.
Q(p,q): José é dançarino ou Carlos é estudante.
R(p,q): Se José é dançarino então é feliz. S(p,q): Comprarei uma ferrari se e somente se eu
ganhar na sena da virada!

^{Fonte: Tele Aula 4 Anhanguera}

Ex:
Premissas (razões)
1 - Pedro é inteligente
2- Pedro estuda muito
3 Todos os alunos inteligentes e estudiosos são aprovados.

Conclusão
1 - Pedro será aprovado

Inferir é deduzir um resultado, por lógica, com base na interpretação de outras informações. Inferir também pode significar chegar a uma conclusão a partir de outras percepções ou da análise de um ou mais argumentos.

Exemplo: Se eu tiver dinheiro, irei viajar. Se eu for viajar, ficarei feliz. Portanto, se eu tiver dinheiro, ficarei feliz.

O silogismo é um modelo de raciocínio baseado na ideia da dedução a partir de duas premissas, ou seja, é um tipo de inferência.

A palavra inferência tem origem do latim inferentia.

A inferência causal acontece ao se estabelecer uma relação de causalidade (causa e efeito) entre fatos, a partir da observação de acontecimentos.

Exemplo: Está chovendo. Depois da chuva vem o sol. Então, o sol deve aparecer logo.

Regras de inferência

As regras de inferência são métodos usados para fazer uma dedução e chegar a uma conclusão, a partir de uma ou mais premissas conhecidas. São usados os argumentos básicos (premissas) para se chegar a um valor (conclusão).

Exemplos

Nesse caso X > 5 = P e X < 1 = P são as premissas e X > 5 = X < 1 é a conclusão.

Inferência textual

Inferência textual está relacionada à compreensão da leitura. Significa interpretar os elementos que estão explícitos e implícitos no texto, analisando em conjunto tudo que foi escrito e compreendendo a ideia central do texto. A inferência textual pode requerer algum conhecimento prévio sobre o tema da leitura.

Inferência estatística

A inferência estatística obtém conclusões a partir de dados de amostra coletados. Estes dados são utilizados como base para se concluir sobre uma determinada situação ou hipótese. É o que acontece, por exemplo, com a coleta de dados feita no censo demográfico.