# data[].attributes.body
O que é Lógica

Segundo Machado e Cunha (2008) o objetivo
fundamental de um curso de lógica é desenvolver a
competência na argumentação, compreender as razões
próprias e dos outros nas tomadas de posição diante dos
acontecimentos e nas decisões.
Construiremos algoritmos capazes de tomar decisões, e
para isso precisaremos implementar regras baseadas na
Lógica Formal. Isso mesmo, aquela Lógica Formal
desenvolvida por Aristóteles entre 300 e 400 anos antes
de Cristo (MACHADO; CUNHA, 2008).
Na lógica computacional, vamos utilizar as mesmas
regras da Lógica Formal, porém iremos valorar os
conteúdos, como verdadeiro ou falso, a fim de extrair
nossas conclusões.

Em nosso cotidiano, usamos a linguagem natural para
nos expressar por meio de frases, que em alguns casos
podem ser argumentativas sendo assim compostas por
premissas e conclusões.
EX.:uma professora sobre o desempenho de um certo
aluno: “É lógico que Pedro será aprovado nos exames,
pois ele é inteligente e estuda muito e todos os alunos
inteligentes e estudiosos são aprovados”. Esse
argumento foi construído embasado por premissas
(razões) e que levam a uma única conclusão.

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

Fonte: Tele Aula 4 Anhanguera

# data[].attributes.body
O que é Proposição?
Proposição é uma sentença declarativa que pode ser
classificada como verdadeira ou falsa, jamais ambas ao
mesmo tempo. Ou seja, não pode haver dúvida quanto
à classificação da sentença.
Também podemos dizer que trata-se de uma
classificação binária, pois só existem dois resultados
possíveis: V ou F, ou ainda 1 ou 0.

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

# data[].attributes.body
O que são Premissas?

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.

Fonte 1

# data[].attributes.body
O que são Argumentos?

Argumentos

Representam os valores/variáveis atuais passadas para os parâmetros da função, quando é invocada;

Cada argumento corresponde a um parâmetro (na mesma posição);

Uma boa mnemónica é pensar que um Argumento é o valor Atual.

Argumentos

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.

Fonte 1

# data[].attributes.body
O que é Silogismo?

O silogismo é uma forma de raciocínio dedutivo, vai do geral para o particular, isto é, a partir de uma totalidade portadora de atributos, tira-se uma verdade que é aplicada a todos os seus componentes, para se afirmar ou negar que a outra parte possui ou não as mesmas características inerentes ao todo.

É constituído de três termos que compõem 3 proposições distintas: uma premissa maior, uma menor e uma conclusão – essencial para estabelecer a relação lógica entre as premissas anteriores. Avaliando esse raciocínio lógico (silogismo categórico), temos como exemplo:
“Todos os homens são mortais.
Sócrates é homem,
Logo, Sócrates é mortal.”

Os fatos apresentados nas duas premissas servem de evidência para a conclusão. Assim, a dedução tem como ponto de partida o plano do real, da verdade geral, já estabelecida,
Vamos analisar outros tipos de silogismos:

1. CONDICIONAL OU HIPOTÉTICO – quando a premissa estabelece uma hipótese, não afirma nem nega. Na premissa maior, há um enunciado condicional com uma hipótese de caráter genérico, ou algumas vezes, abstrato; na menor, ocorre uma afirmação ou negação, que mostra a existência ou não de algo enunciado hipoteticamente na primeira premissa; a conclusão afirma ou nega a outra parte da hipótese. Por exemplo:
Se chover, não vamos ao jogo
Chove
Logo, não iremos ao jogo.

2. DISJUNTIVO – em que a premissa maior se apresenta sob a forma alternativa. Por exemplo:
Este sintagma ou é nominal ou é verbal
Ora, este sintagma é nominal
Logo, este sintagma não é verbal.

3. DILEMA – é constituído por duas disjuntivas que conduzem à mesma conclusão, de modo implicativo e necessário. Por exemplo:
Ou o porteiro não se encontrava na portaria na hora do roubo,
Ou estava ele distraído
Por isso, deve ser responsabilizado pelo roubo.

4. ENTIMEMA – quando há um argumento em que uma ou mais proposições estão subentendidas.

Fonte 1

# data[].attributes.body
O que é Falácia?

Caracteriza-se por ser um erro de raciocínio. Existem vários tipos, entre eles, destacamos:
1. GENERALIZAÇÃO EXCESSIVA - produz uma conclusão a partir de uma evidência insuficiente.
Exemplo: Tudo que é raro é caro; um carro por um real é raro, logo um carro por um real é caro.

2. FALSA ANALOGIA - quando os elementos comparados são diferentes, em algum aspecto, para essa analogia.
Exemplo: Tomei Aspirina e fiquei bom. Tome você também.

3. DEDUÇÕES FALSAS - ocorrem quando alguma das condições de construção do silogismo não é respeitada.
Exemplo: O pensamento é como um produto do cérebro, logo é um atributo da matéria orgânica.

4. ARGUMENTO AUTORITÁRIO – quando o uso de um depoimento, que se julga inatacável pela autoridade do autor, encobre falta de argumentos convincentes.
Exemplo: Como o governador já informou sobre o problema e, como o secretariado é capaz e honesto, todos devemos aguardar o bom resultado do projeto.

5. FALSO AXIOMA – significa uma verdade aparente.
Exemplo: A educação é a base da cidadania.

6. CÍRCULO VICIOSO - quando um aparente argumento é a repetição do argumento anterior.
Exemplo: O Brasil está produzindo automóveis em número suficiente, os carros importados são de melhor qualidade, os carros importados são mais econômicos; a elite brasileira está exigindo carros de luxo, os carros importados são mais baratos. Logo, os carros importados são mais vendidos.

Atenção! Não cometa erros de raciocínio na sua redação. Para redigirmos um texto argumentativo, é necessário mantermos uma consistência de raciocínio e evidência de provas. Para isso, devemos utilizar um método de raciocínio a fim de chegarmos a conclusões corretas.

Fonte 1

# data[].attributes.body
O que é inferência?

Inferência é uma dedução feita com base em informações ou um raciocínio que usa dados disponíveis para se chegar a uma conclusão.

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

Todo cachorro é bonito. Marley é um cachorro. Logo, Marley é bonito.

Se X > 5 = P e X < 1 = P, então X > 5 = X < 1.

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.

Fonte 1