Início

Matemática A

Lógica e teoria dos conjuntos

Propriedades da implicação e da equivalência

Selecionar aula

Vetores no espaço

Coordenadas de um vetor no espaço

Vetores colineares: Cálculo no espaço

Norma de um vetor no espaço

Ponto médio de um segmento de reta no espaço

Equação vetorial de uma reta no espaço

Vetores no plano

Introdução às operações com vetores: Conceito e representação

Somar e subtrair vetores: Cálculo e propriedades

Norma de um vetor no plano

Produto de um vetor por um escalar: Cálculo e propriedades

Vetores colineares: Cálculo no plano

Coordenadas de um vetor no plano

Vetor de posição: Operações, vetores colineares e normas

Equação vetorial de uma reta e vetor diretor

Geometria analítica no espaço

Referencial cartesiano no espaço: Conceito

Distância entre pontos no espaço e plano mediador

Equação reduzida da superfície esférica e inequação reduzida da esfera

Geometria analítica no plano

Distância entre pontos no plano, ponto médio e mediatriz

Equação reduzida da circunferência

Equação cartesiana da elipse

Regiões do plano e inequação reduzida do círculo

Monotonia, extremos e concavidade

Sinais de uma função: Construção de tabelas de sinal

Determinação dos extremos e monotonia de uma função

Determinação das concavidades do gráfico de uma função

Função quadrática: Monotonia e gráficos

Função cúbica: Monotonia e gráficos

Funções definidas por ramos: Resolução de problemas

Função módulo: Resolução de problemas

Função raiz quadrada: Monotonia e gráfico

Função raiz cúbica: Monotonia e gráfico

Operações sobre funções: Conceito e aplicação

Generalidades sobre funções

Introdução às funções: Conceito, domínio e contradomínio

Funções: Classificação e composição

Funções reais de variável real: Conceito, gráfico e paridade

Transformações de gráficos: Translações, contrações e reflexões

Álgebra

Resolução de expressões numéricas com radicais

Resolução de expressões com potências de expoente racional

Polinómios: Conceito, Regra de Ruffini e Teorema do resto

Fatorização de polinómios

Resolução de polinómios do 1º, 2º e 3º grau

Resolução de inequações do 2º e do 3º grau

Estatística

Somatório: Conceito e propriedades

Média de uma amostra, propriedades e desvios

Variância e desvio padrão de uma amostra

Teorema de Chebycheff: Definição

Cálculo de percentis de ordem k

Lógica e teoria dos conjuntos

Introdução às proposições: Propriedades e leis de De Morgan

Equivalência, negação, conjunção e disjunção de proposições

Propriedades da negação, conjunção e disjunção

Primeiras leis de De Morgan

Implicação

Propriedades da implicação e da equivalência

Condições: Conceito, operações lógicas e segundas Leis de De Morgan

Conjuntos: Conceito e propriedades

Vídeo Explicativo

Docente: Pedro

Resumo

Propriedades da implicação e da equivalência

Equivalência

Duas proposições são equivalentes se e só se tiverem o mesmo valor lógico.

Exemplo

As proposições "Janeiro é um mês com $31$ dias" e "Lisboa é a capital de Portugal" são equivalentes porque são ambas verdadeiras, apesar de não existir qualquer relação de causalidade entre estes factos.

Propriedades da implicação e da equivalência

As seguintes propriedades, que podem ser facilmente provadas com recurso a uma tabela de verdade, permitem simplificar proposições lógicas.

Negação da implicação	${\sim (p \implies q) \Leftrightarrow (p \wedge \sim q)}$
Implicação como disjunção	$(p \implies q) \Leftrightarrow (\sim p \lor q)$
Lei de conversão/implicação contrarrecíproca	$(p \implies q) \Leftrightarrow (\sim q \implies \sim p)$
Transitividade da implicação	${[(p \implies q) \wedge (q \implies r)] \implies (p \implies r)}$
Equivalência como dupla implicação	$(p \Leftrightarrow q) \Leftrightarrow [(p \implies q)\wedge(q \implies p)]$
Negação da equivalência	$\sim (p \Leftrightarrow q) \Leftrightarrow [(p \wedge \sim q) \lor (q \wedge \sim p)]$
Transitividade da equivalência	$[(p \Leftrightarrow q) \wedge (q \Leftrightarrow r)] \implies (p \Leftrightarrow r)$

Exemplo

A implicação contrarrecíproca é um conceito com que lidamos naturalmente no nosso quotidiano.

De facto, considera a frase "Se fizer bom tempo, vou à praia". Nada é dito acerca do que será feito caso não faça bom tempo. A única conclusão que se pode retirar caso o sujeito não vá à praia é que certamente não fez bom tempo (porque caso tivesse feito, ele iria à praia).

Lê mais

Aprender as Bases

Duração:

Implicação

Teste Atalho

Propriedades da implicação e da equivalência

Teste Final

Criar uma conta para iniciar os exercícios

FAQs - Perguntas Frequentes

Como simplificar uma equivalência?

Se duas proposições são equivalentes, então cada uma delas implica a outra.

O que é uma equivalência?

É uma relação entre duas proposições que é verdadeira quando e apenas quando as duas proposições têm o mesmo valor lógico.

Para que servem as propriedades das operações lógicas entre proposições?

Para simplificar expressões lógicas, permitindo escrever implicações e equivalências exclusivamente à custa de negações, disjunções e conjunções.

Propriedades da implicação e da equivalência

Vídeos explicativos

Resumo

Percurso de Estudo

Selecionar aula

Vetores no espaço

Vetores no plano

Geometria analítica no espaço

Geometria analítica no plano

Monotonia, extremos e concavidade

Generalidades sobre funções

Álgebra

Estatística

Lógica e teoria dos conjuntos

Vídeo Explicativo

Resumo

Propriedades da implicação e da equivalência

Equivalência

Exemplo

Propriedades da implicação e da equivalência

Exemplo

Aprender as Bases

Implicação

Teste Atalho

Propriedades da implicação e da equivalência

Teste Final

FAQs - Perguntas Frequentes

Como simplificar uma equivalência?

O que é uma equivalência?

Para que servem as propriedades das operações lógicas entre proposições?