Minicursos de Lógica
Raciocínio lógico-matemático
Raciocínio lógico
  1. Conceitos; Princípios;
  2. Lógica proposicional e argumentativa;
  3. Estruturas fundamentais, tautologia, contradição, contigência, validade;
  4. Silogismos; 
  5. Quantificadores, todo, nenhum, algum, algum não, contraditórias, subalternas, contrárias, subcontrárias, condicional suficiente, condicional necessário, universal e particular;
  6. Interseção e inclusão; Diagramas de Venn-Euler;
  7. Tabelas, verdades e mentiras;
  8. Sentenças abertas e lógica de argumentação;
  9. Análise da verdade e da validade de argumentos. 
 
Raciocínio matemático
  1. Pricípio fundamental da contagem;
  2. Análise combinatória, fatorial, permutação com repetição, arranjo simples, combinação simples;
  3. Noções de probabilidade, experimentos, espaços, eventos, probabilidade condicional, probabilidade da união, complementar...
Dedução natural
  1.  Eliminação da conjunção ou Simplificação;
  2. Introdução da conjunção;  
  3. Introdução da disjunção ou Adição ;
  4. Eliminação da implicação ou Modus ponens;
  5. Introdução da implicação ou Prova condicional;
  6. Introdução da negação ou Redução ao absurdo;
  7. Eliminação da dupla-negação;
  8. Eliminação da disjunção;
  9. Regras derivadas.
Dedução natural com quantificadores
  1. Instanciação universal;
  2. Generalização universal;
  3. Instanciação existencial;
  4. Generalização existencial.

2011 - 2020 Ao Cubo Oficina de Estudos  -  Todos os direitos reservados

Para aulas por videoconferência disponibilizamos os seguintes aplicativos: Google Hangout, Google Meet, videochamada do WhatsApp e Skype.
Caso não saiba utilizá-los, não se preocupe, darei todas as orientações necessárias.