Lgica Computacional Aula 02 2.

Proposies
Definio : Uma proposio uma sentena declarativa, afirmativa que exprime um pensamento de sentido completo. Toda proposio pode ser escrita na forma simblica ou na linguagem usual.

Exemplos: 1) 2) 3) 4) O Brasil fica na Amrica do Sul. 2 + 3 = 5. 5 < 2. A Alemanha fica na sia.

Observe que nos exemplos acima as proposies 2) e 3) esto escrita na forma simblica, e as proposies 1) e 4) na linguagem usual.

2.1. Valor lgico de uma proposio

Dizemos que o valor lgico de uma proposio a verdade (1) se a proposio for verdadeira e a falsidade (0) se a proposio for falsa. Ainda utilizando os exemplos acima, temos que o valor lgico das proposies 1) e 2) a verdade (1), pois ambas as proposies so verdadeiras. J o valor lgico das proposies 3) e 4) a falsidade (0), uma vez que tais proposies so falsas.

2.2. Proposies simples e compostas

Definio: Uma proposio dita simples quando no contm nenhuma outra proposio como parte integrante de si mesma. Representaremos estas proposies pelas letras minsculas do nosso alfabeto (p, q, r, s etc).

Exemplos: 1) 2) 3) p: Carlos paulista. q: Est chovendo. r: Hoje domingo.

Definio : Uma proposio dita composta quando formada por duas ou mais proposies relacionadas pelos conectivos adequados (e, ou, se...ento, se e somente se). Indicaremos as proposies compostas pelas letras maisculas do nosso alfabeto (P, Q, R, S etc).

Exemplos: 1) 2) 3) Hoje domingo e est chovendo. Carlos paulista ou Joo carioca. Se Carlos paulista ento Maria gacha.

Uninove - Lgica Computacional Prof.(a) rika Andersen

1 de 6

2.3. Tabela-verdade

Utilizaremos a tabela-verdade para determinar o valor lgico das proposies compostas, lembrando sempre que toda proposio pode assumir somente um dos dois valores lgicos possveis (verdadeiro, falso), no existindo nenhuma outra possibilidade. O nmero de linha da tabela-verdade determinado pela frmula: 2 n, onde n o nmero de proposies.

Exemplos: 1) Apenas uma proposio p: 21 = 2 linhas p 1 2 0 1 p 1

2)

Duas proposies p e q: 22 = 4 linhas 0 0 p 0 1 q 1 q 1

p 1 2 3 4 0 0 1 1

q 0 1 0 1

3)

Trs proposies p, q e r: 23 = 8 linhas 0 p 1 2 3 4 5 6 7 8 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 p 0 1 0 q 0 1 r 1 r 1 0 q 0 1 r 1 0 r 1

Uninove - Lgica Computacional Prof.(a) rika Andersen

2 de 6

3. Operaes Lgicas sobre Proposies

3.1. Negao ( ) = no

Exemplos: 1) p: Est chovendo. p: No est chovendo.

2)

q: Hoje domingo. q: Hoje no domingo.

Quando uma proposio p acrescida do operador lgico da negao - ( ) = no - a proposio resultante, ou seja, p, ser verdadeira se p for falsa; ser falsa se p for verdadeira.

Na tabela-verdade temos: p 0 1 p' 1 0

3.2. Conjuno ( ) = e

Exemplo: p: Maria estudante. q: Joo mecnico p q: Maria estudante e Joo mecnico.

Quando duas proposies p e q so relacionadas pelo operador lgico da conjuno - ( ) = e - a proposio resultante, ou seja, p q, ser verdadeira somente se ambas as proposies forem verdadeiras. Ser falsa nos demais casos.

Na tabela-verdade temos: p 0 0 1 1 q 0 1 0 1 pq 0 0 0 1

Uninove - Lgica Computacional Prof.(a) rika Andersen

3 de 6

3.3. Disjuno ( + ) = ou

Exemplo: p: Daniela carioca. q: Mrio paulista. p + q: Daniela carioca ou Mrio paulista.

Quando duas proposies p e q so relacionadas pelo operador lgico da disjuno - ( + ) = ou - a proposio resultante, ou seja, p + q, ser falsa somente se ambas as proposies forem falsas. Ser verdadeira nos demais casos.

Na tabela-verdade temos: p 0 0 1 1 q 0 1 0 1 p+q 0 1 1 1

3.4. Condicional ( ) = se...ento

Exemplo: p: Paulo marceneiro. q: Danilo estudante. p q: Se Paulo marceneiro ento Danilo estudante.

Quando duas proposies p e q so relacionadas pelo operador lgico do condicional - ( ) = se...ento - a proposio resultante, ou seja, p q, ser falsa somente se a primeira proposio for verdadeira e a segunda for falsa. Ser verdadeira nos demais casos.

Na tabela-verdade temos: p 0 0 1 1 q 0 1 0 1 pq 1 1 0 1

Uninove - Lgica Computacional Prof.(a) rika Andersen

4 de 6

3.5. Bicondicional ( ) = se e somente se

Exemplo: p: Renato mora em So Paulo. q: Mariana mora em Campinas. p q: Renato mora em So Paulo se e somente se Mariana mora em Campinas.

Quando duas proposies p e q so relacionadas pelo operador lgico do bicondicional - ( ) = se e somente se a proposio resultante, ou seja, p q, ser verdadeira somente se o valor lgico de ambas as proposies forem iguais. Ser falsa nos demais casos.

Na tabela-verdade temos: p 0 0 1 1 q 0 1 0 1 pq 1 0 0 1

Ordem dos operadores: 1) 2) 3) 4) Negao ( ) Conjuno ( ) e disjuno ( + ) Condicional ( ) Bicondicional ( )

Exerccios:

1)

Sejam as proposies p: Joo joga basquete e q: Mrio joga vlei. Escreva na linguagem usual as seguintes proposies: a) b) c) d) e) f) pq p + q p q p q q p qp

2)

Dadas as proposies p: Faz calor e q: Est chovendo. Escreva na linguagem simblica as seguintes proposies: a) b) c) d) e) f) g) Faz calor e no est chovendo. Se faz calor ento est chovendo. Est chovendo se e somente se no faz calor. Se no est chovendo ento faz calor. No faz calor ou no est chovendo. No est chovendo nem faz calor. Est chovendo, mas faz calor.

Uninove - Lgica Computacional Prof.(a) rika Andersen

5 de 6

3)

Sabendo que V(p) = 0 e V(q) = 1, determine o valor lgico de cada uma das proposies abaixo: a) b) c) d) e) f) g) p q p + q (p + q) p q p p q p p + q q p p p (q p) p + q (p q)

4)

Se V(p) = V(q) = 1 e V(r) = V(s) = 0, determine o valor lgico de cada uma das proposies abaixo: a) b) c) d) e) f) g) h) i) j) p + r r + (p s) p + (r s) q p s (p q) + (q p) (p q) (r s) p + (q r s) (p + r) (q s) p + (q s) r s (q (r + s) p) r

5)

Classifique as proposies compostas abaixo, como conjuno, disjuno, condicional, bicondicional ou negao: a) b) c) d) e) f) p+qr p + (q r) p q r p + (q r) p (p + q) (p q) r

Uninove - Lgica Computacional Prof.(a) rika Andersen

6 de 6