Estuda como preferires
Slides e texto em produção. Esta aula está, para já, disponível em vídeo. Estamos a transformar o acervo nos três formatos — as aulas novas chegam já completas e as mais antigas vão sendo convertidas.
Ficha de apoio
O essencial para acompanhar «Lógica (proposições e condições)»
A lógica dá a linguagem com que se escreve matemática: proposições, conectivos, quantificadores e negações.
A reter
- Negação de uma conjunção: ~(p ∧ q) ⇔ ~p ∨ ~q (leis de De Morgan).
- p ⇒ q é equivalente a ~p ∨ q.
- Negar «∀x, P(x)» dá «∃x, ~P(x)».
Como se resolve, passo a passo
- 1Traduzir a frase para símbolos.
- 2Aplicar as equivalências conhecidas passo a passo.
- 3Confirmar com uma tabela de verdade, quando há poucas variáveis.
Erros frequentes em Lógica e teoria de conjuntos
- Negar só uma parte da conjunção ou da disjunção.
- Trocar a implicação com a sua recíproca.
Continuar
Este conteúdo faz parte do tema Lógica e teoria de conjuntos.
Ver tudo sobre Lógica e teoria de conjuntosAulas relacionadas
Continuidade de uma função num ponto
Função definida por ramos: estudar a continuidade em x = 3 através dos limites laterais, do levantamento da indeterminação 0/0 e de um limite notável.
Modelos matemáticos nas eleições
Como se transformam votos em representantes? Métodos de voto, conversão de votos em mandatos e critérios de equidade.
Maioria absoluta e maioria simples — exemplos práticos
Diferença entre maioria absoluta e maioria simples, com exemplos práticos de aplicação em contextos eleitorais.