Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Apostila de Lógica - Parte 1

Fazer download em pdf ou txt
Fazer download em pdf ou txt
Você está na página 1de 3

Unidade 1 – Sentenças e Representação simbólica

Unidade 1 – Sentenças, Representação Simbólica,


Tautologia, Contradição e Contingência.

1 – Introdução e Conceitos Iniciais:


Geralmente nos expressamos, em português, através de gestos da fala e da escrita. No caso
da escrita utilizamos interrogações, exclamações e conjunções expressadas em sentenças, que por
sua vez, podem ser verdadeira ou falsa. Existem sentenças do tipo:

 A nota obtida em lógica depende do número de questões que acertar.


 Dez é menor do que sete.
 Existem formas de vida em outros planetas.

Ou seja, observa-se que as sentenças são passíveis de serem verdadeiras ou falsas. E


justamente a interpretação da veracidade de sentenças que a lógica trata.

Na lógica matemática temos duas regras fundamentas:


I – Princípio da não contradição: Uma proposição não pode ser verdadeira e falsa ao
mesmo tempo.
II – Princípio do terceiro excluído: Uma proposição é falsa ou verdadeira, não havendo
um terceiro caso.

Proposição: É um conjunto de símbolos que exprimem um pensamento de sentido


completo. Ou simplesmente, é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:

 A lua é um satélite da terra. (verdadeira)


   5 . (falsa)
 Vasco da Gama descobriu o Brasil. (falsa)

Valores lógicos de uma proposição: O valor lógico de uma proposição é V se a proposição


for verdadeira e F se ela for falsa.

Proposições simples e composta: Proposição simples é aquela que expressa uma única
idéia, ou seja, não contém nenhuma outra proposição como parte integrante de si mesma. Em geral
são referenciadas por letras minúsculas. Já uma proposição composta é aquela formada por uma
combinação de mais de uma proposição simples, estas são em geral referenciadas por letras
maiúsculas. Exemplo:

q: Pedro é estudante. Q: Carlos é careca e Pedro é estudante.


r: 25 é quadrado perfeito. R: Se carlos é careta, então é feliz.

Quando deseja-se destacar que uma proposição composta P é formada pela combinação de
proposições simples q, r, s, ...; então escreve-se:

P q , r , s ,  
Unidade 1 – Sentenças e Representação simbólica

2 – Conectivos Lógicos:

Os conectivos são expressões utilizadas para compor novas proposições. Exemplos:

 P: O número 6 é par e o número 8 é cubo perfeito.


 Q: Não está chovendo.
 R: O triângulo é retângulo ou isósceles.
 S: O triângulo é equilátero se e somente se é equiângulo.
 T: Se Jorge é engenheiro, então sabe cálculo.

Assim, na lógica, destaca-se os conectivos usuais

e não ou se e somente se se ... então

3 – Tabela Verdade:
No caso de proposições compostas recorre-se ao uso da tabela verdade para verificar o valor
lógico da proposição, ou seja, a tabela retrata todos os possíveis valores lógicos.
Exemplos:

1. Considerando a proposição pq , r  têm-se:

q r
V V
V F Temos 2 2  4 combinações
F V
F F

2. Considerando agora a proposição pq , r , s  têm-se:

q r s
V V V
V V F
V F V
V F F Temos 2 3  8 combinações
F V V
F V F
F F V
F F F
Unidade 1 – Sentenças e Representação simbólica

3. Considerando agora a proposição pq , r , s , t  têm-se:

q r s t
V V V V
V V V F
V V F V
V V F F
V F V V
V F V F
V F F V
V F F F
Temos 2 4  16 combinações
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F

A notação mais usual para o valor lógico de uma proposição P é V(P), assim se P é
verdadeira os falsa escreve-se; V(P) = V ou V(P) = F.
Por exemplo, a proposição:
“ R: 2 é raiz da equação x 2  3 x  4  0 ”
têm valor lógico V(R) = F.

4 – Exercícios:
1. Determinar o valor lógico de cada uma das seguintes proposições:

a) O número 17 é primo. resp: verdadeiro b) Tiradentes morreu afogado. resp: falso


c) 0,13131313... é uma dízima periódica. d) As diagonais de um paralelogramo são
resp: Verdadeiro iguais. resp: Falso
e) sen2 30  sen2 60  2 . resp: Falso f) 0, 4 e -4 são raízes da equação
x 3  16x  0 . resp: verdadeiro
g) 3  5   3 2  5 2 . resp: Falso h) b)  1  7 . resp: falso
2

i) Todo número divisível por 5 termina j) O número 125 é cubo perfeito. resp:
por 5. resp: Falso verdadeiro
  l) O produto de dois números ímpares é um
k) tg  tg . resp: Falso
4 6 número ímpar. resp: verdadeiro

Você também pode gostar