1 Livro-Rac Logico-Capítulo 2

Captulo 2 Operaes Lgicas Sobre Proposies 2.
.1 Negao A negao uma operao lgica que tem por finalidade mudar o valor lgico de uma proposio1. 2.1.1. Smbolo: ~ (no, no verdade que, falso que, no o caso que) 2.1.2. Exemplo: p: Joo mdico. 2.1.3. Negao em linguagem simblica: ~p 2.1.4. Negao em linguagem corrente: a) Joo no mdico. b) No verdade que Joo mdico. c) falso que Joo mdico. Obs.: As expresses no verdade que ou falso que colocadas na frente de uma proposio estabelecem sua negao. necessrio ter cuidado quando uma proposio composta for precedida por uma dessas expresses, e se deseja buscar uma proposio equivalente. Os casos de negao de proposies compostas (e suas equivalncias, que so obtidas por meio de lgebra proposicional) sero vistos mais adiante, no captulo de lgebra das Proposies. 2.1.5. Tabela-Verdade: p V F ~p F V
Excluem-se de apreciao por este conceito as proposies abertas de primeira ordem, que no possuem valor-verdade (em alguns casos, essas proposies possuem conjunto-verdade). necessrio ressaltar que a operao de negao pode ser estabelecida para qualquer tipo de proposio (inclusive as abertas de primeira ordem).
1
Prof. Milton Arajo preparatorioanpad@institutointegral.com.br
2.2 Conjuno 2.2.1. Smbolo: (e)2 2.2.2. Exemplo: P: Joo mdico e Paulo engenheiro. Note que: p: Joo mdico. e q: Paulo engenheiro. so proposies simples. 2.2.3. Linguagem simblica: p q 2.2.4. Tabela-Verdade: 1 2 3 4 2.2.5. Diagramas Lgicos: p V V F F q V F V F pq V F F F
Onde: Os conjuntos P e Q representam as proposies p e q. representa o conjunto Universo. A operao p q representada, em diagramas lgicos, pela operao de interseo entre conjuntos (P Q). A regio sombreada na figura acima a rea da verdade para a proposio
2
Alguns autores traduzem a conjuno adversativa mas como sendo o operador lgico e.
2
p q. 2.2.6. Preenchimento da Tabela-Verdade (linha por linha): Tomemos um elemento x. Linha 1:
verdade que x est no diagrama P; verdade que x est no diagrama Q; verdade que x est na rea da verdade (regio sombreada do diagrama acima). Linha 2:
verdade que x est no diagrama P; falso que x est no diagrama Q; falso que x est na rea da verdade (regio sombreada do diagrama acima).
3
Linha 3:
falso que x est no diagrama P; verdade que x est no diagrama Q; falso que x est na rea da verdade (regio sombreada do diagrama acima). Linha 4:
falso que x est no diagrama P; falso que x est no diagrama Q; falso que x est na rea da verdade (regio sombreada do diagrama acima). Em resumo: A conjuno (p q) verdadeira quando AMBAS as proposies simples so verdadeiras.
4
2.3 Disjuno Inclusiva 2.3.1. Smbolo: (ou) 2.3.2. Exemplo: P: Maria vai ao cinema ou Joana estuda. Note que: p: Maria vai ao cinema. e q: Joana estuda. so proposies simples. 2.3.3. Linguagem simblica: p q 2.3.4. Tabela-Verdade: 1 2 3 4 2.3.5. Diagramas Lgicos: P V V F F q V F V F pq V V V F
Onde: Os conjuntos P e Q representam as proposies p e q. representa o conjunto Universo. A operao p q representada, em diagramas lgicos, pela operao de unio entre conjuntos (P Q) A regio sombreada na figura acima a rea da verdade para a proposio p q.
5
2.3.6. Preenchimento da Tabela-Verdade (linha por linha): Tomemos um elemento x. Linha 1:
verdade que x est no diagrama P; falso que x est no diagrama Q; verdade que x est na rea da verdade (regio sombreada do diagrama acima).
6
Linha 3:
falso que x est no diagrama P; verdade que x est no diagrama Q; verdade que x est na rea da verdade (regio sombreada do diagrama acima). Linha 4:
falso que x est no diagrama P; falso que x est no diagrama Q; falso que x est na rea da verdade (regio sombreada do diagrama acima). Em resumo: A disjuno inclusiva (p q) verdadeira quando PELO MENOS UMA das proposies simples verdadeira.
7
2.4 Disjuno Exclusiva 2.4.1. Smbolo: (Ou... ou...) 2.4.2. Exemplo: P: Ou Maria viaja ou Carlos joga futebol. Note que: p: Maria viaja. e q: Carlos joga futebol. so proposies simples. 2.4.3. Linguagem simblica: p q 2.4.4. Tabela-Verdade: 1 2 3 4 2.4.5. Diagramas Lgicos: p V V F F q V F V F pq F V V F
Onde: Os conjuntos P e Q representam as proposies p e q. representa o conjunto Universo. A operao p q representada, em diagramas lgicos, pela operao (P Q) (P Q). A regio sombreada na figura acima a rea da verdade para a proposio p q.
8
verdade que x est no diagrama P; verdade que x est no diagrama Q; falso que x est na rea da verdade (regio sombreada do diagrama acima). Linha 2:
verdade que x est no diagrama P; falso que x est no diagrama Q; verdade que x est na rea da verdade (regio sombreada do diagrama acima).
9
Linha 3:
falso que x est no diagrama P; verdade que x est no diagrama Q; verdade que x est na rea da verdade (regio sombreada do diagrama acima). Linha 4:
falso que x est no diagrama P; falso que x est no diagrama Q; falso que x est na rea da verdade (regio sombreada do diagrama acima). Em resumo: A disjuno exclusiva (p q) verdadeira quando APENAS UMA das proposies simples verdadeira.
10
2.5 Condio 2.5.1. Smbolo: (Se..., ento..., Quando..., Quem..., ...que..., ...somente se...) 2.5.2. Exemplo: P: Se Joo estuda, ento Pedro vai ao cinema. Note que: p: Joo estuda. e q: Pedro vai ao cinema. so proposies simples. Outros exemplos: a) Quando chove, no tem aula. b) Quem tem dinheiro, no compra fiado. c) Pessoas que tm dinheiro, no compram fiado. d) Carlos vai festa somente se Jlia for festa. 2.5.3. Linguagem simblica: p q 2.5.4. Tabela-Verdade: 1 2 3 4 2.5.5. Diagramas Lgicos: p V V F F q V F V F pq V F V V
Onde: Os conjuntos P e Q representam as proposies p e q.

11
representa o conjunto Universo. A operao p q representada, em diagramas lgicos, por uma relao de causa e efeito: P Q. Note que, na figura acima, no h regio sombreada. Esta uma das caractersticas da condio: apesar de ser considerada uma operao lgica, na verdade no passa de uma relao de causa e efeito entre duas condies. Observe o esquema a seguir: p q antecedente consequente acarretante acarretado causa efeito Condio Condio Suficiente Necessria Exemplo: Se chegam visitas, o cachorro late. Condio suficiente (causa): chegam visitas. Significa dizer que o fato de chegarem visitas uma condio suficiente para o cachorro latir. Condio necessria (efeito): o cachorro late. Significa dizer que o fato de o cachorro latir condio necessria, desde que a condio precedente tenha sido satisfeita. 2.5.6. Preenchimento da Tabela-Verdade (linha por linha): Tomemos um elemento x. Linha 1:
verdade que x est no diagrama P;

12
verdade que x est no diagrama Q; A condio est satisfeita, e, portanto, verdadeira. Linha 2:
verdade que x est no diagrama P; falso que x est no diagrama Q; A condio no est satisfeita, e, portanto falsa. No possvel que x esteja no diagrama P e no esteja no diagrama Q, uma vez que P Q. Linha 3:
falso que x est no diagrama P; verdade que x est no diagrama Q; A condio est satisfeita, e, portanto, verdadeira.
13
Linha 4:
falso que x est no diagrama P; falso que x est no diagrama Q; A condio est satisfeita, e, portanto, verdadeira. Em resumo: A condio (p q) verdadeira quando NO OCORRER VF, nesta ordem, entre as proposies simples. Observao: A operao de condio (p q) , na verdade, um argumento, que contm uma premissa (p) seguida de sua concluso (q). Um argumento s vlido quando sua concluso no entra em contradio com suas premissas. Esta a razo pela qual no se pode dizer que x pode estar presente no diagrama P e no estar no diagrama Q (ver figura da Linha 2 acima). Veremos argumentos em detalhes mais adiante. 2.5.7. Algumas equivalncias lgicas3: I. II. p q ~(p ~q) p q ~p q
Nota: as equivalncias vistas acima so tambm chamadas de equivalncias notveis.
Equivalncias lgicas sero abordadas em captulo prprio. Por ora, basta o leitor ter presente que uma equivalncia lgica uma igualdade lgica, isto , relaciona duas proposies que tero valores lgicos sempre iguais.
14
Tabela-Verdade: I II p Q 1 V V 2 V F 3 F V 4 F F
III ~p F F V V
IV ~q F V F V
V pq V F V V
VI p ~q F V F F
VII ~(p ~q) V F V V
VIII ~p q V F V V
Nota: observe, atentamente, as colunas V, VII e VIII na Tabela acima. So todas exatamente iguais! Em outras palavras, as colunas V, VII e VIII so equivalentes entre si. Desafio: O leitor saberia dizer o que ocorre entre as colunas V e VI? Dica: Reveja o conceito de negao! 2.5.8. Recproca: Exemplo: Se chegam visitas, o cachorro late. (linguagem corrente) p q (linguagem simblica) A recproca da proposio acima : Se o cachorro late, chegam visitas. (linguagem corrente) q p (linguagem simblica) Tabela-Verdade: I P V V F F II q V F V F III pq V F V V IV qp V V F V
1 2 3 4
Nota: observe que as colunas III e IV na Tabela acima no apresentam valores lgicos iguais em todas as suas linhas. Significa dizer que a recproca de uma proposio condicional nem sempre verdadeira. Conclui-se que uma proposio condicional no equivalente sua recproca. 2.5.9. Contrria ou Inversa: Exemplo: Se chegam visitas, o cachorro late. (linguagem corrente) p q (linguagem simblica)
15
A contrria ou inversa da proposio acima : Se no chegam visitas, o cachorro no late. (linguagem corrente) ~p ~q (linguagem simblica) Tabela-Verdade: I p V V F F II q V F V F III IV ~p ~q F F F V V F V V V pq V F V V VI ~p ~q V V F V
1 2 3 4
Nota: observe que as colunas V e VI na Tabela acima no apresentam valores lgicos iguais em todas as suas linhas. Significa dizer que a contrria ou inversa de uma proposio condicional nem sempre verdadeira. Conclui-se que uma proposio condicional no equivalente sua contrria ou inversa. 2.5.10. Contrapositiva: Exemplo: Se chegam visitas, o cachorro late. (linguagem corrente) p q (linguagem simblica) A contrapositiva da proposio acima : Se o cachorro no late, no chegam visitas. (linguagem corrente) ~q ~p (linguagem simblica) Tabela-Verdade: I p V V F F II q V F V F III IV ~p ~q F F F V V F V V V pq V F V V VI ~q ~p V F V V
1 2 3 4
Nota: observe que as colunas V e VI na Tabela acima apresentam valores lgicos iguais em todas as suas linhas. Significa dizer que uma proposio condicional equivalente sua contrapositiva.
16
Tem-se aqui o Teorema Contrarrecproco:
p q ~q ~p
Agora revise cuidadosamente os conceitos vistos at aqui. Voc precisar memorizar as trs importantssimas equivalncias notveis vistas at agora, que so: I. II. III. p q ~(p ~q) p q ~p q p q ~q ~p
Coloque-as em um cartaz e visualize-as diariamente!
17
2.6 Bicondio 2.6.1. Smbolo: (Se..., e somente se...) 2.6.2. Exemplo: P: Joo vai ao mdico se, e somente se est doente. Note que: p: Joo vai ao mdico. e q: Joo est doente. so proposies simples. 2.6.3. Linguagem simblica: p q 2.6.4. Tabela-Verdade: 1 2 3 4 2.6.5. Diagramas Lgicos: p V V F F q V F V F pq V F F V
Onde: Os conjuntos P e Q representam as proposies p e q. representa o conjunto Universo. A operao p q representada, em diagramas lgicos,pela operao (p q). A regio sombreada na figura acima a rea da verdade para a proposio p q.
18
verdade que x est no diagrama P; falso que x est no diagrama Q; falso que x est na rea da verdade (regio sombreada do diagrama acima).
19
Linha 3:
falso que x est no diagrama P; verdade que x est no diagrama Q; falso que x est na rea da verdade (regio sombreada do diagrama acima). Linha 4:
falso que x est no diagrama P; falso que x est no diagrama Q; verdade que x est na rea da verdade (regio sombreada do diagrama acima). Em resumo: A bicondio (p q) verdadeira quando NO OCORRER VF NEM FV entre as proposies simples. 2.6.7. Algumas equivalncias notveis: I. II. p q (p q) (q p) p q ~(p q)
20
III.
~( p q) p q
Nota: observe que a bicondio a negao natural da disjuno exclusiva, e vice-versa. Veja a Tabela-Verdade a seguir: I P V V F F II q V F V F III pq V F F V IV pq F V V F V ~(p q) F V V F VI ~(p q) V F F V
1 2 3 4
As colunas III e IV na Tabela acima apresentam valores-verdade contrrios, isto , nas linhas em que a proposio p q verdadeira, a proposio p q falsa, e nas linhas em que a proposio p q falsa, a proposio p q verdadeira. Reveja o conceito de negao4 e comprove que a bicondio uma negao natural da disjuno exclusiva, e vice-versa. Veremos, em lgebra das Proposies, outra forma de estabelecer a negao da bicondio. Observe o leitor que as equivalncias notveis p q ~(p q) e ~( p q) p q esto representadas na Tabela-Verdade acima. Tente associar as colunas em que essas equivalncias notveis aparecem. Fica como exerccio para o leitor a representao em Tabela-Verdade da seguinte equivalncia: p q (p q) (q p)
Conforme j foi dito, a negao de proposies compostas ser vista no captulo de lgebra das Proposies.
21
Nota: O leitor j deve ter observado que, para desenvolver a Tabela-Verdade de uma operao lgica, necessrio saber em que situao cada um dos operadores lgicos verdadeiro ou falso. Desse modo, convm associar na memria o seguinte quadro:
Proposio: pq verdadeira AMBAS as quando: proposies simples so verdadeiras
pq
PELO MENOS UMA das proposies simples verdadeira
pq
APENAS UMA das proposies simples verdadeira
pq
NO OCORRER VF, nesta ordem, entre as proposies simples
pq
NO OCORRER VF, NEM FV, entre as proposies simples
22

1 Livro-Rac Logico-Capítulo 2

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

1 Livro-Rac Logico-Capítulo 2

Diunggah oleh

Hak Cipta:

Format Tersedia

Captulo 2 Operaes Lgicas Sobre Proposies 2.

p q. 2.2.6. Preenchimento da Tabela-Verdade (linha por linha): Tomemos um elemento x. Linha 1:

2.3.6. Preenchimento da Tabela-Verdade (linha por linha): Tomemos um elemento x. Linha 1:

2.4.6. Preenchimento da Tabela-Verdade (linha por linha): Tomemos um elemento x. Linha 1:

Onde: Os conjuntos P e Q representam as proposies p e q.

verdade que x est no diagrama P;

Nota: as equivalncias vistas acima so tambm chamadas de equivalncias notveis.

VII ~(p ~q) V F V V

Tem-se aqui o Teorema Contrarrecproco:

Coloque-as em um cartaz e visualize-as diariamente!

2.6.6. Preenchimento da Tabela-Verdade (linha por linha): Tomemos um elemento x. Linha 1:

Anda mungkin juga menyukai