Avançar para o conteúdo
Início » Aulas » Lógica Matemática ( operações lógicas e proposições)

Lógica Matemática ( operações lógicas e proposições)

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”.

pqpᴧq
VVV
VFF
FVF
FFF

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”.

pqpᴠq
VVV
VFV
FVV
FFF

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”.

PqP → q
VVV
VFF
 FVV
FFV

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”.

PqP ↔ q
VVV
VFF
 FVF
FFV

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
VF
FV

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

Pq~pp→q~pᴠq
VVFVV
VFFFF
 FVVVV
FFVVV

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

Edital de ingresso ao IFAPA

Edital de ingresso ao IFAPA ao Instituto de Formação em administração Pública e Autárquica da Matola…

Bolsa de Estudo para Índia 2024

Bolsas de Estudos oferecidos pelo governo da Índia através do ICCR para licenciatura, mestrado e dou…

Edital de exames de admissão ao Instituto médio de saúde 2025

O Edital de Cursos de Saúde Nível Médio para o ano lectivo de 2025 ainda não esta disponíveis Quando…

Exames de admissão ao IFP 2024,2023 2022 e 2021

Encontre aqui os exames de admissão ao IFP dos anos recentes aqui poderá baixar os exames de admissã…

Repescagem UEM 2024

Esta aberto a repescagem UEM 2024 A universidade Eduardo Mondlane por meio do Departamento de exames…

Como consultar os resultados UEM 2024

Como e onde consultar os resultados dos exames de admissão UEM 2024? Os resultados dos exames de adm…

Resultados UEM 2024

Os resultados dos exames de admissão UEM 2024 Os Resultados dos exames de admissão a UEM para o…

Resolução do exame de Matemática Admissão ETP 2024

Resolução do exames de Matemática 2024 Admissão ao Ensino Técnico Profissional Acompanhe a resolução…

Guia de correcção do exame de Matemática 2024 Ensino Técnico Profissional

Veja a proposta de guia de correcção do exame de Matemática admissão ao Ensino Técnico Profissional …

Resolução do exame de admissão ao ifp 2023

Acompanhe a resolução do exame de matemática admissão ao Instituto de formação de professores (IFP) …

Manual de preparação para exames de admissão o ensino técnico profissional (ETP) ano lectivo de 2024

Temos manual de preparação para exames de admissão o ensino técnico profissional, temos livro de mat…

Manual de preparação para exames de admissão de matemática ao IFP ano lectivo de 2024

Temos manual de preparação para exames de admissão de matemática ao IFP para o ano lectivo de 2024. …