Introdução à Lógica Matemática/Cálculo Proposicional

Proposição

editar


Proposições são sentenças afirmativas declarativas que não sejam ambiguas e que possuem a propriedade de serem ou verdadeiras ou falsas, mas não ambas.

Exemplos:

  • “Gatos têm quatro patas”
  • “1 + 2 = 3"
  • “A Terra é quadrada"
  • “3 é um número primo"


Exemplos de sentenças que não são proposições:

  • "O que estou dizendo agora é mentira"
  • "Irá chover amanhã"
  • "Onde está a chave ?"


Cálculo proposicional

editar

É uma sub-área da álgebra da lógica que estuda um conjunto formal de regras que permitem a análise e manipulação de proposições.

Conectivos lógicos

Proposições simples podem ser concatenadas através de conectivos lógicos E, OU, NÃO para formar novas proposições compostas.

Exemplos: Das proposições “Fulano está cansado" e “Ciclano está cozinhando", pode-se formas as proposições “Fulano está cansado E Ciclano está cozinhando", ou “Fulano está cansado OU Ciclano está cozinhando", ou “Fulano NÃO está cansado".


Notações

editar


Proposições serão representadas por letras como x, y, z, p, q, etc. Em geral, as letras que representam proposições simples são denominadas variáveis (lógicas). Proposições têm valor lógico ou V (VERDADEIRO) ou F (FALSO). Utilizaremos os seguintes símbolos para representar os conectivos lógicos:

^ - Simboliza E
v - Simboliza OU