C. Termo
   O termo é a expressão verbal de um conceito. O conceito é a ideia, o pensamento que refere objetos ou algo.
    Existem termos que expressam mais do que o conceito ( termos ambíguos - ex: "canto" ) e podem gerar inequívocos na comunicação.

2. Validade e verdade
   A validade é uma propriedade dos argumentos. A validade deriva da forma do argumento. Um argumento diz-se válido quando a sua estrutura lógica se apresenta de tal modo que não inverte qualquer regra lógica.
    A lógica formal dedica-se aos critérios de validade das inferências, não ao conteúdo dos argumentos.
    A verdade é uma propriedade das proposições. As proposições são verdadeiras se dizem aquilo que é. Se eu disser " a capital de Portugal é Hong Kong" digo uma falsidade, se disser " a capital de Portugal é Lisboa", a proposição será verdadeira.
     Todas as crianças são curiosas.
     Alice é uma criança.
     Logo, Alice é curiosa.

    O argumento é dedutivamente válido, uma vez que a conclusão é uma consequência necessária das premissas.
   Um argumento dedutivamente válido é aquele em que, se as premissas forem verdadeiras é impossível que a conclusão seja falsa. Nos argumentos dedutivos a conclusão é uma consequência necessária das premissas. Um argumento válido pode conter:

Um argumento válido apenas não admite:

  Os argumentos dedutivos são válidos e inválidos apenas em virtude da sua forma lógica, não do seu conteúdo. Para avaliarmos um argumento dedutivo, basta termos em conta a sua estrutura de acordo com certas regras.
3. Solidez dos argumentos
    Um argumento sólido é um argumento válido e com premissas verdadeiras.
Exemplo:
  Todos os homens são mortais.        Sócrates é homem.
Logo, Sócrates é mortal.
   A estrutura do argumento é válida e todas as premissas são verdadeiras logo, o argumento é válido.
   Todos os argumentos sólidos são válidos, mas todos os argumentos válidos são sólidos.
4.Validade dedutiva e validade indutiva
   Enquanto nos argumentos dedutivos válidos há uma relação de necessidade que torna impossível aceitar as premissas e recusar a conclusão, nos argumentos indutivos válidos, fortes ou bons não é impossível as premissas serem verdadeiras.
   Num argumento indutivo forte ou bom dada a verdade das premissas, é pouco provável que a conclusão seja falsa.
   Os argumentos indutivos são objeto de estudo da lógica informal que se dedica a processos não dedutivos de inferência. Na lógica informal a validade de um argumento é determinada não apenas pela forma mas também pelo conteúdo.


Argumento e lógica formal- lógica aristotélica
1.2. Formas de inferência válida
  1. Noções básicas de aristotélica
   Segundo Aristóteles, a lógica é a disciplina que investiga o modo como raciocinamos corretamente.
 A lógica aristotélica lida com um tipo especial de um argumento dedutivo- o silogismo.
   O silogismo é um argumento com apenas 2 premissas e 1 conclusão. Por ser 1 argumento dedutivo, o silogismo válido é aquele em que , se as premissas forem verdadeiras, a conclusão não pode ser falsa.

A. A estrutura do silogismo categórico
Os silogismos categóricos são constituídos por proposições declarativas categóricas: proposições do tipo S é P e S não é P.  S é sujeito , P é predicado. A relação entre S e P estabelece através da cópula, que firma "é" ou nega "não é" a atribuição de um predicado a um sujeito.
   As proposições podem assumir 4 tipos diferentes, segundo a sua qualidade e quantidade.
   Tipo A- proposição universal afirmativa:
     Todo o S é P.
   Tipo E- proposição universal negativa:
     Nenhum S é P.
   Tipo I- proposição particular afirmativa:
     Algum S é P.
   Tipo O- proposição particular negativa
     Algum S não é P.
B. Extensão é compreensão de um termo.
    A compreensão é a propriedade de objetos referida pelo um termo.
Exemplos:
     A compreensão do termo réptil é a propriedade ou o conjunto das propriedades que definem os répteis: "Animal vertebral, tetarpote e ectortérmico, etc"  ou seja as características comuns a todos os répteis.
   A extensão é a totalidade dos objetos que possuem uma certa propriedade.
  Assim, a extensão do termo "réptil" é todos os objetos (seres) que possuem a propriedade de ser réptil, tais como "serpentes", "lagartos" e "crocodilos", etc.
C. Distribuição dos termos nas proposições
    Um termo diz-se distribuído numa proposição se e somente se, é tomado em toda a sua extensão.
   A quantidade está relacionada com a distribuição do sujeito de uma proposição, enquanto a qualidade está correlacionada com a distribuição com o predicado.
D. Quadrado oposição ou quadrado lógico
   Segundo a lógica Aristotélica, a partir de uma proposição com determinado valor de verdade podem inserir o valor de verdade de pelo menos uma proposição de outro tipo, desde que as proposições tenham o mesmo sujeito e o mesmo predicado.
E. Relações lógicas entre proposições
   O quadrado de oposição é um diagrama que nos permite visualizar as relações lógicas entre os valores de verdade dos 4 tipos de proposições com o mesmo sujeito e predicado. 

- relação entre as proposições A-O e E-I.
- proposições contraditórias: se 1 é verdadeira a outra é falsa; se 1 é falsa, a outra é verdadeira.

 - a relação entre as proposições A-E.
 - proposições contrárias: não podem ser ambas verdadeiras, mas podem ser ambas falsas.

 - relação entre proposições I-O.
 - proposições sub-contrárias: podem ser ambas verdadeiras, mas não podem ser ambas falsas.

 - relação entre as proposições A-I, E-O.
 - proposições sub-alternas : se a universal é verdadeira a particular é verdadeira. Se a universal é falsa a particular pode ser falsa ou verdadeira. Se a particular é verdadeira, a universal pode ser verdadeira ou falsa. Se a particular é falsa, a universal é falsa.

Argumentação e lógica formal
Lógica aristotélica
1.3 Principais falácias

1.Definição de falácias
As falácias são argumentos inválidos construídos de tal modo que têm a aparência de ser válidos. As falácias formais são argumentos inválidos em virtude de não respeitarem a estrutura válida dos argumentos.

2.Principais falácias formais