Noção de logica

A palavra “logica” deriva da palavra grega

logké que significa “ciência do raciocínio’. A
1ogica matemática e um ramo da ciência que
se dedica ao estudo do raciocínio matemático.
 Proposições

Consideremos as seguintes expressões:

a)Carteira
b)Cinco 6 maior que sete
c)c) 3+5
d)d) 3+5=8
As expressões a) e c) nomeiam ou designam entes; por isso, chamam-se termos, nomes
ou designações.
As expressões b) e d) emitem um juízo, ou seja, sobre elas e possível dizer se são
verdadeiras ou falsas. As expressões deste tipo chamam-se preposições ou frases.
 Operações de conjunção

Consideremos a proposição:
•T: Anibal pratica futebol e Rosa pratica natação.
Esta proposição resulta da ligação das proposições elementares:
•P: Anibal pratica tutebo1.
•Q: Rosa pratica natação.
A proposição T diz-se conjunção de P e Q.
A conjunção representa- se pelo símbolo ^. E lee- se “e”. Assim, a
conjunção de duas proposições P e Q e uma nova proposição (P ^ Q) que
só e verdadeira quando as duas proposições forem verdadeiras.


Propriedades da conjunção
A conjunção tem as seguintes propriedades: a comutativa, a associativa e a da idempotoncia.
Propriedade comutativa

A B A ^ B B ^A

V V V V
V F F F
F V F F
F F F F
Isto e: A ^ B= B ^ A
Propriedade associativa

A B C A^ A^ (B^ B^ A^ (B^
B C) C C)
V V F V F F F
V F F F F F F
V V V V V V V
F F V F F F F
F F F F F F F
F F F F F F F
 Operações de disjunção

Consideremos a proposição:
M: Anibal pratica futebol ou pratica natação.
Esta proposição resulta da ligação das
proposições elementares:
P: Anibal prática futebol.
Q Anibal pratica natação.
 Propriedades da disjunção
•A disjunção tem as se seguintes propriedades: a comutativa,
a associativa e a da idempotencia.
Propriedade comutativa
•Av B =B v A
Propriedade associativa
•(Av B) v C= A (B vC)
•F ee o elemento neutro na disjunção: A v F = A
•V ee o elemento absorvente na disjunção: A v V = V
•A v A = A: E a propriedade da idempotencia.
 Operações de implicação
•Consideremos a proposição:
•T: Se João fizer os TPC, então ele terá boas notas.
•Esta proposição e a ligação de duas proposições:
•P: João faz os TPC.
•Q: João tem boas notas.
•A proposição “se P então Q” chama-se implicação.
Simbolicamente representa-se assim:
•P Q
•Onde: P e antecedente e Q e consequente
 Operações de equivalência
•Consideremos as propriedades P e Q. A operação logica da dupla implicação

e traduzida por PQ e QP ou simplesmente, P Q, que se lee "se e so se“

P Q PQ
V V V
V F F
F V F
F F V

A equivalência de duas proposições só e verdadeira se

ambas as proposições tiverem
Mesmo valor logico.
As primeiras leis de De Morgan
•As leis de De Morgan são da autoria do matemático inglês Augustus de Morgan
(1801-1871) e podem ser separadas em Primeiras Leis de Morgan e Segundas Leis
de Morgan.
De Morgan estabeleceu a seguinte lei de negação da conjunção: negar a conjunção
equivale a uma disjunção com proposições negadas. Assim:
~ (P ^ Q) = ~P v ~Q
A negação de uma disjunção equivale a uma conjunção com proposições negadas.
Assim:
~ (P v Q) = ~ P ^ ~ Q
1. Expressões com variáveis (condições)
Ao considerarmos uma variável, temos de determinar qual e o conjunto de valores
que lhe podem ser atribuídos para que a proposição seja verdadeira. A esse
conjunto de valores chama-se domínio dessa variável.
Quantificadores
A1em das operações logicas, há ainda duas que se aplicam a expressões com
variáveis: quantificador existencial e quantificador universal. Os quantificadores
transformam condições em proposições.
Quantificador universal
A condição “todo o homem tem cabeça” e universal em H (H sendo o conjunto dos
homens), Em 1ogica, podemos escrever:
Todo homem tem cabeça. Ou Qualquer que seja homem, ele tem cabeça.
Em simbologia matemática, podemos escrever:
x H: x tem cabeca
•Ao símbolo daa-se o nome de quantificador universal. Lê-se:
 Qualquer que seja...
 Para todo o...
 Para qualquer...
 Para cada...
•Exemplos:
•Qual e o valor logico das proposições seguintes?
 n x N: + n ≥ : (V )
 x R: : + x > : (F ) porque, se x= 1, 1-1 >1,isto e, 0>1 e falso.
 x R: : ≥0 ( V)

Quantificador existencial
Ao símbolo daa- se o nome de quantificador existencial. lê- se “existe pelo menos um”.
O quantificador existencial transforma uma condição possível numa proposição
verdadeira. Exemplos:
 2x - 1 = 0, condição possível em R.
 x R: 2x - 1 = 0, proposição verdadeira.
 +1= O, condição impossível em R.
 +1 =O, proposição falsa.
 Negação de um quantificador (segundas leis de De Morgan)

Negar que uma condição e universal não significa, necessariamente, dizer que e
impossível. Negar que uma condição e universal equivalem a afirmar que nem
todos os elementos a verificam, isto e, que há pelo menos um que não a verifica.
Exemplo:
•Todos os alunos da turma gostam de marrabenta.
•Negação: Nem todos os alunos da turma gostam de marrabenta.
•Isto significa que há, pelo menos, um aluno que não gosta de marrabenta.
•Simbolicamente, escreve-se:
•~ (x )=
•A negação transforma o quantificador universal no quantificador existencial
seguido da negação.
Exemplo:
•Existe pelo menos um aluno na Turma que não gosta dos
Mambas.
•Negação: Todos os alunos da turma gostam dos Mambas.
•~ ( )= x
•A negação transforma o quantificador existencial no
quantificador universal seguido da negação. 
 • FIM
• OBRIGADO PELA ATENÇÃO