Lógica Matemática
A lógica matemática estuda o raciocínio matemático
Valor lógico
Os valores lógicos são verdadeiro e falso (V e F)
O que é uma preposição?
Uma preposição é uma expressão lógica que pode ser atribuído um valor lógico (verdadeiro ou falso)
Exemplo de preposição
- 2+3=5
- 3>4
- 23=8
- 2=6
Note que em todos as expressões é possível atribuir um valor lógico (dizer se é verdadeiro ou falso)
Quando é que duas preposições são equivalentes ?
Duas preposições são equivalentes se tiverem o mesmo valor lógico.
Designação
O que é uma designação?
Designação é uma expressão com significado que designa um objecto.
Exemplos de designação
- Matemática
- lógica
- 2+3
- 7
Operações lógicas
As principais operações lógicas são ;
- Conjunção
- Disjunção
- Implicação
- Equivalência
Conjunção
Na conjunção de duas preposições é verdadeira se as duas preposições forem verdadeiras.
-A conjunção de representa-se por “ᴧ” e lese por “e”.
p | q | pᴧq |
V | V | V |
V | F | F |
F | V | F |
F | F | F |
Na conjunção é aplicável a propriedade comutativa
- pᴧq= qᴧp
Na conjunção o valor lógico V é elemento Neutro e F é elemento Absorvente.
- Vᴧq=q
- Fᴧq=F
Disjunção
Na disjunção de duas preposições é verdadeira se pelo menos uma das preposições forem verdadeiras.
-A disjunção de representa-se por “ᴠ” e lese por “ou”.
p | q | pᴠq |
V | V | V |
V | F | V |
F | V | V |
F | F | F |
Na disjunção é aplicável a propriedade comutativa
- pᴠq= qᴠp
Na disjunção o valor lógico V é elemento Absorveste e F é elemento Neutro.
- Vᴠq=V
- ᴠq=q
Implicação
Na Implicação de duas preposições é falsa se a primeira preposição for verdadeira e a segunda for falsa.
-A Implicação de representa-se por “→” e lese por “então”.
P | q | P → q |
V | V | V |
V | F | F |
F | V | V |
F | F | V |
Na Implicação de duas ou mais preposições não é aplicável a propriedade comutativa
- p→q ≠ q→p
Na Implicação basta que a primeira preposição é ser falsa significa que a preposição é verdadeira.
- F→q=V
Se a primeira preposição for verdadeira a expressão tomará o valor lógico da segunda preposição
- V→q=q
Equivalência
Na equivalência de duas preposições é verdadeira se as duas preposições tiverem o mesmo valor lógico.
-A equivalência de representa-se por “↔” e lese por “Se somente se”.
P | q | P ↔ q |
V | V | V |
V | F | F |
F | V | F |
F | F | V |
Na equivalência é aplicável a propriedade comutativa
- p↔q= q↔p
Na equivalência o valor lógico V é elemento Neutro. Se uma das preposições for falsa o valor lógico da expressão será o negado da outro expressão e as preposições tiverem o mesmo valor lógico a preposição será verdadeira.
- V↔q=q
- F↔q= ~ q
- p↔p=V
Negação de preposições
Negar que uma preposição é falsa significa assumir que a preposição é verdadeira e negar que uma preposição é verdadeira significa assumir que a preposição é falsa
P | ~P |
V | F |
F | V |
Negação de operação lógicas
Lei de Morgan
Negação de uma conjunção
Para fazemos a negação da conjunção da preposição “pᴧq” negamos a primeira preposição (p) “sua negação é ~p” e transformamos ᴧ em ᴠ e negamos a segunda preposição q “sua negação é ~q”.
- ~(pᴧq)=~pᴠ~q
Negação de uma disjunção
Para fazemos a negação da disjunção da preposição “pᴠq” negamos a primeira preposição (p) “sua negação é ~p” e transformamos ᴠ em ᴧ e negamos a segunda preposição q “sua negação é ~q”.
- ~(pᴠq)=~pᴧ~q
Negação de uma Implicação
Para fazer a negação de uma implicação devemos conhecer as seguinte propriedade lógica;
p→q=~pᴠq
Que podemos demonstrar a partir da seguinte tabela de verdade
P | q | ~p | p→q | ~pᴠq |
V | V | F | V | V |
V | F | F | F | F |
F | V | V | V | V |
F | F | V | V | V |
Agora que já conhecemos a propriedade “p→q=~pᴠq“ podemos fazer a negação da implicação primeiro transformado a preposição p→q em ~pᴠq e de seguida aplicar as leis de Morgan;
- ~(p→q)=~(~pᴠq)=~~pᴧq=pᴧ~q
Veja mais uma de nossas aulas
Exames de admissão UEM 2023 em pdf
Enunciado dos exames de admissão a UEM 2023 em pdf Encontre aqui os enunciados dos exames de admissã…
ENCERAMENTO DO 43ᵒ CURSO BÁSICO DA PRM
ENCERAMENTO DO 43ᵒ CURSO BASICO DA PRM (POLICIA DA REPUBLICA DE MOÇAMBIQUE) Hoje 26 de Maio de 2023 …
Edital de exames de Admissão Academia Militar 2024
Edital 2024 Academia Militar O edital de exames de admissão a Academia Militar para o ano lectivo de…
Generalidades em equações paramétricas
Generalidades em equações paramétricas Podemos ter casos complexos em que o parâmetro se transforme …
Edital de Matalana 2024
Edital de formação básica da policia da republica de Moçambique 2024 Nos últimos 5 anos foram formad…
Esta suspensa a formação básica da polícia da República de Moçambique
A formação básica da polícia da República de Moçambique Nos últimos 5 anos a polícia da República de…
Equações paramétricas
O que é uma Equações paramétricas ? Denomina-se por equação paramétrica a toda equação quadrática qu…
Inscrição para os exames de admissão aos institutos de saúde 2024
Inscrição para os exames de admissão aos ICS 2024 As Inscrições para os exames de admissão aos insti…
Edital de exames de admissão aos institutos de Saúde Nível Médio 2024
Edital de Cursos de Saúde Nível Médio O Edital de Cursos de Saúde Nível Médio para o ano lectivo de …
Calculadora Dexin kk82MS-D
Maquina cientifica Dexin kk82MS-D Temos disponível calculadora cientifica Dexin kk82MS-D, este é um …
Calculadora Casio fx-991 MS
Maquina cientifica Casio fx-991 MS Temos disponível calculadora cientifica Casio fx-991 MS, este é u…
Calculadora Casio fx-991 Plus
Maquina de calcular Casio fx-991 Plus Temos disponível calculadora cientifica Casio fx-991 Plus, est…