RACIOCNIO LGICO MATEMTICO - LGICA PROPOSICIONAL.

INTRODUO
A Lgica um ramo da Filosofia e da Matemtica e estuda os princpios e mtodos de argumentao.

A Lgica tem por objetivo estudar os mtodos e princpios que permitem distinguir raciocnios vlidos de outros no vlidos;
A Lgica cuida das regras do bem pensar, se preocupa basicamente com a estrutura do raciocnio. A Histria da Lgica teve incio em 384322 a.C., com o filsofo grego Aristteles e j com a teoria dos silogismos (certa forma de argumento vlido).

Os fundamentos da lgebra da Lgica s foram publicados entre 1840 e 1910.

Eu sustento que a descoberta da forma dos silogismos uma das mais belas conquistas da mente humana. uma espcie de matemtica universal, cuja importncia no suficientemente conhecida". (LEIBNIZ)

EXEMPLOS DE SILOGISMO
Toda regra tem exceo. Isto uma regra. Logo, deveria ter exceo. Portanto, nem toda regra tem exceo.

Deus amor. O amor cego. Steve Wonder cego. Logo, Steve Wonder Deus.

Para pensar: A ma
H 2 pais e 2 filhos em uma sala com 1 ma. A ma est cortada em 4 partes iguais. Cada 1 deles comeu 1 fatia da ma e ainda restou 1 fatia. Como isso possvel sem alterar nada das 4 fatias?

PROPOSIES E CONECTIVOS
Chama-se PROPOSIO a todo o conjunto de palavras ou smbolos que exprimem um pensamento completo. Tecnicamente, uma proposio uma frase que pode ser apenas verdadeira ou falsa, so os chamados valores lgicos de uma proposio. Exemplos: 1. Dez menor que sete. 2. Ela muito talentosa! 3. Existem formas de vida em outros planetas do universo. A frase 1 uma proposio pois falsa. Na frase 2, Ela no est especificada, a frase no portanto nem verdadeira nem falsa, logo no temos uma proposio. A frase 3 uma proposio, embora no saibamos se verdadeira ou falsa, apenas uma das opes ocorre.

Mais uma vez

Costuma-se usar a palavra proposio para designar o significado de uma sentena ou orao declarativa. Exemplo: Joo ama Maria o mesmo que Maria amada por Joo. Toda proposio uma frase (mas nem toda frase uma proposio); uma frase uma proposio apenas quando admite um dos dois valores lgicos: Falso (F) ou Verdadeiro (V). Exemplos: Frases que no so proposies
Pare! Quer uma xcara de caf? Eu no estou bem certo se esta cor me agrada.

Frases que so proposies

A lua o nico satlite do planeta terra (V) A cidade de Salvador a capital do estado do Amazonas (F) O numero 712 mpar (F) Raiz quadrada de dois um nmero irracional (V)

PRINCPIOS OU AXIOMAS DAS PROPOSIES PRINCPIO DA NO CONTRADIO: Uma proposio no pode ser VERDADEIRA e FALSA ao mesmo tempo. PRINCPIO DO TERCEIRO EXCLUDO: Toda proposio ou VERDADEIRA ou FALSA, isto , verifica-se sempre um destes casos e nunca um terceiro. ...EM RESUMO: Toda proposio tem um, e somente um, dos valores V ou F.

TIPOS DE PROPOSIO
Proposio SIMPLES aquela que no possui nenhuma outra proposio como parte integrante de si mesma. Representadas pelas letras p, q, r, s,..., minsculas. p: 19 nmero primo. q: O tringulo que tem 3 lados diferentes issceles. Proposio COMPOSTA aquela formada pela combinao de duas ou mais proposies. Representadas pelas letras P, Q, R, S..., maisculas. P: 4 a raiz de 16 e 9 o cubo de 2. Q: Mercrio um planeta do sistema solar e a lua o satlite da terra.

VALOR DE UMA PROPOSIO

O valor lgico de uma proposio simples indicado por: V(p) = F ou V(p) = V ou ainda, se for composta, V(P) = F ou V(P) = V

O valor lgico de uma proposio composta depende unicamente dos valores lgicos das proposies simples que a compem.

COMPOSIO DE PROPOSIES
possvel construir proposies a partir de proposies j existentes. Este processo conhecido por Composio de Proposies. Suponha que tenhamos duas proposies, A = "Maria tem 23 anos" B = "Maria menor"

COMPOSIO DE PROPOSIES
"Maria no tem 23 anos" (no(A)) "Maria no menor (no(B)) "Maria tem 23 anos" e "Maria menor" (A e B) "Maria tem 23 anos" ou "Maria menor" (A ou B) "Maria no tem 23 anos" e "Maria menor" (no(A) e B) "Maria no tem 23 anos" ou "Maria menor" (no(A) ou B) "Maria tem 23 anos" ou "Maria no menor" (A ou no(B)) "Maria tem 23 anos" e "Maria no menor" (A e no(B)) Se "Maria tem 23 anos" ento "Maria menor" (A B) Se "Maria no tem 23 anos" ento "Maria menor" (no(A) B) "Maria no tem 23 anos" e "Maria menor" (no(A) e B) "Maria tem 18 anos" equivalente a "Maria no menor (C no(B))

COMPOSIO DE PROPOSIES
"Maria no tem 23 anos" (noA) Note para compor proposies usou-se os smbolos "Maria no que, menor (no(B) ) no (negao e (conjuno ), ou (disjuno "Maria tem 23 anos" e ), "Maria menor" (A e B) ), implicao ) "Maria e, finalmente, "Maria tem (23 anos" ou menor"(equivalncia (A ou B)). "Maria no tem 23 anos" e "Maria menor" (no(A) e B) So os chamados conectivos lgicos. "Maria no tem 23 anos" ou "Maria menor" (no(A) ou B) "Maria tem 23 anos" que ou "Maria no menor"para (A ou no(B)) Note, tambm, usou-se umsmbolo representar "Maria tem 23 anos" eC "Maria no (A e no(B) uma proposio: representa amenor" proposio Maria tem) 18 anos. menor" (A => B) Se "Maria tem 23 anos" ento "Maria Se "Maria no tem 23 anos" ento "Maria menor" (no(A) => B) no(B) representa Maria no menor , uma vez "Maria Assim, no tem 23 anos" e "Maria menor" (no(A) eB ) que B representa Maria menor. "Maria tem 18 anos" equivalente a "Maria no menor" (C <=> no(B))

CONECTIVOS voltando ao assunto

Palavras usadas para formar novas proposies a partir de outras. Com eles formamos proposies compostas. P: O sol uma estrela e Jpiter um planeta.

Q: Hlio Engenheiro ou Advogado.

R: Dia 01 de agosto no feriado. S: Se sua nota for superior a 60, ento voc ser aprovado. T: O aluno far nova prova se e somente se puder justificar sua falta.

CONECTIVOS voltando ao assunto

De forma simplificada podemos perceber que estas palavras (conectivos), so representadas atravs de letras sentenciais combinadas com as expresses:
negao conjuno disjuno implicao ou condicional se e somente se bi-implicao, equivalncia ou bicondicional no e ou se ... ento

Essas expresses so chamadas operadores ou conectivos lgicos.

de

CONECTIVOS Formalizao

Para facilitar o reconhecimento e comparao, cada operador lgico representado por um smbolo: no : ~ ou e: ou & ou: se ... ento: se e somente se:

CONECTIVOS Formalizao De modo resumido podemos dizer que: A partir de uma proposio podemos construir uma outra correspondente com a sua negao; Com duas proposies ou mais, podemos formar:
Conjunes: a b (l-se: a e b)
Disjunes: a b (l-se: a ou b) Condicionais: a b (l-se: se a ento b)

Bicondicionais: a

b (l-se: a se somente se b)

TABELAS-VERDADE
A TABELA-VERDADE um recurso utilizado para determinar todos os possveis valores lgicos de uma proposio composta, a partir de todas as possveis atribuies de valores lgicos dados s proposies simples que a compem. O resultado depende do conectivo que gera a proposio composta. Conectivos diferentes geram tabelas-verdade diferentes.

O nmero de linhas de uma tabela-verdade dado por 2n, onde n o nmero de proposies simples.

TABELA-VERDADE
Para uma proposio simples: Ex: So Lus a capital do Maranho.

p
V

TABELA-VERDADE
Para duas proposies simples, ligadas por um conectivo: Ex: Braslia a capital do Brasil e Lima a capital do Peru.

valoraes

V V

V F

VV VF

F
F

V
F

FV
FF

TABELA-VERDADE

V V

p V V

q V F

q q

F V F

F
F

V
F

TABELA-VERDADE
Para trs proposies simples:
Ex: Joo cantor, msico e pintor.

p V V V V

q V V F F

n V F V F

valoraes

VVV VVF VFV VFF

F F
F F

V V
F F

V F
V F

FVV FVF
FFV FFF

CONECTIVOS LGICOS

Conectivos Binrios: conectivos que atuam em

duas expresses para gerar uma terceira. Geram proposies compostas. Exemplos de conectivos binrios so: conjuno: e Notaes: p q (l-se p e q) O valor lgico de uma conjuno ser verdadeiro quando ambas proposies forem verdadeiras, e falso nos outros casos.

CONECTIVOS LGICOS Tabela-verdade da CONJUNO:

p V V F F

q p q V V F F V F F F

EXEMPLOS: Elefantes so grandes e bolas so redondas. A lua quadrada e a neve branca .

CONECTIVOS LGICOS
Vamos analisar outra situao:
Exemplo: Considere as proposies p: Joo vai ao cinema.

q: Maria no vai viajar.

p q: Joo vai ao cinema e Maria no vai viajar. Perceba que esta ltima proposio somente ser verdadeira se Joo de fato for ao cinema e se de fato Maria no for viajar. Por exemplo, se Joo for ao cinema e Maria viajar, a sentena torna-se falsa. Logo: a proposio composta da conjuno somente ser verdadeira se todas as proposies envolvidas na operao forem verdadeiras.

CONECTIVOS LGICOS
Uma maneira mais fcil de entender a conjuno e seria pensarmos nas sentenas simples como promessas de um pai a um filho: eu te darei uma bola e te darei uma bicicleta Ora, pergunte a qualquer criana! Ela vai entender que a promessa para os dois presentes. Caso o pai no d nenhum presente, ou d apenas um deles, a promessa no ter sido cumprida. Ter sido falsa! No entanto, a promessa ser verdadeira se as duas partes forem tambm verdadeiras! Se as proposies p e q forem representadas como conjuntos, por meio de um diagrama, a conjuno "p e q" corresponder interseo do conjunto p com o conjunto q. Teremos:

CONECTIVOS LGICOS

IMPORTANTE: A expresso mas pode ser utilizada como conectivo da conjuno quando o conectivo e for usado com sentido adversativo. Exemplo: Ana vai viajar e Bruno no vai ao cinema. Esta proposio composta poder ser tambm representada como: Ana vai viajar, mas Bruno no vai ao cinema.

CONECTIVOS LGICOS disjuno : ou Notao: p q (l-se p ou q) O valor lgico de uma disjuno ser verdadeiro quando pelo menos uma das proposies for verdadeira, e falso quando ambas forem falso. Tabela-verdade da DISJUNO:

p V V F F

q V F V F

EXEMPLOS:

V V V F

A lua redonda ou a neve branca.

Hoje quarta. tera ou

CONECTIVOS LGICOS
Vamos analisar outra situao: Exemplo: Considere as proposies p: Joo vai ao cinema. q: Maria no vai viajar. p q: Joo vai ao cinema ou Maria no vai viajar. Perceba que esta ltima proposio ser verdadeira se Joo de fato for ao cinema ou se de fato Maria no for viajar. Bastando no que necessariamente as duas ocorram, mas somente uma delas. Por exemplo, se Joo for ao cinema e Maria viajar, a sentena torna-se verdadeira. Logo: a proposio composta da disjuno ser verdadeira se qualquer uma das proposies envolvidas na operao for verdadeira.

CONECTIVOS LGICOS
Seremos capazes de criar uma tabela-verdade para uma proposio disjuntiva? Claro! Basta nos lembrarmos da tal promessa do pai para seu filho! Vejamos: eu te darei uma bola ou te darei uma bicicleta. Neste caso, a criana j sabe, de antemo, que a promessa por apenas um dos presentes! Bola ou bicicleta! Ganhando de presente apenas um deles, a promessa do pai j valeu! J foi verdadeira! E se o pai for abastado e resolver dar os dois presentes? Pense na cara do menino! Feliz ou triste? Felicssimo! A promessa foi mais do que cumprida. S haver um caso, todavia, em que a bendita promessa no se cumprir: se o pai esquecer o presente, e no der nem a bola e nem a bicicleta. Ter sido falsa toda a disjuno. Se as proposies p e q forem representadas como conjuntos por meio de um diagrama, a disjuno "p ou q" corresponder unio do conjunto p com o conjunto q,

CONECTIVOS LGICOS Disjuno exclusiva : ou p ou q Notao: p v q (l-se ou p ou q) O valor lgico de uma disjuno exclusiva ser verdadeiro quando as proposies envolvidas na operao tiverem valores contrrios, ou seja, se uma for verdadeira e outra for falsa.. Tabela-verdade da DISJUNO EXCLUSIVA:

p q
V V

pvq
F

V F F V
F F

V V
F

CONECTIVOS LGICOS

Para compreender Disjuno Exclusiva melhor, basta fixar que: P Q PvQ Eduardo Pernambucano A proposio (p v q) ou Paraibano q: Eduardo se Pernambucano F verdadeira e Verdadeiro Verdadeiro p: Eduardo Paraibano somente se uma das q v p = ? p ou q Verdadeiro Falso V proposies Eduardo ouNo Pernambucano ou Paraibano so verdadeiras. Falso Verdadeiro V quando ambas so verdadeiras e muito Falso Falso F menos, ambas falsas.

CONECTIVOS LGICOS
Temos trs casos a considerar sobre a disjuno exclusiva:
1 caso: disjuno exclusiva com o uso de palavras antnimas.

Exemplo: Joo alto ou baixo.

2 caso: disjuno exclusiva nacionalidades ou naturalidades. com a indicao de

Exemplo: Alberto maranhense ou paulista. 3 caso: disjuno exclusiva com o acrscimo da expresso mas no ambos. Exemplo: J Soares gordo ou inteligente, mas no ambos.

CONECTIVOS LGICOS
CUIDADO! Este novo tipo de proposio composta, bem parecido com a disjuno, mas com uma pequena diferena. Comparemos as duas sentenas abaixo: Te darei uma bola ou te darei uma bicicleta ou te darei uma bola ou te darei uma bicicleta A diferena sutil, mas importante. Reparemos que na primeira sentena v-se facilmente que se a primeira parte for verdade (te darei uma bola), isso no impedir que a segunda parte (te darei uma bicicleta) tambm o seja. J na segunda proposio, se for verdade que te darei uma bola, ento teremos que no ser dada a bicicleta. E vice-versa, ou seja, se for verdade que te darei uma bicicleta, ento teremos que no ser dada a bola. Resumindo, se uma for verdade a outra no ser. Ou seja, a segunda estrutura apresenta duas situaes mutuamente excludentes, de sorte que apenas uma delas pode ser verdadeira, e a restante ser necessariamente falsa. Ambas nunca podero ser, ao mesmo tempo, verdadeiras; ambas nunca podero ser, ao mesmo tempo, falsas.

CONECTIVOS LGICOS
Pois bem na segunda sentena acima, o tipo de construo uma disjuno exclusiva, e isto se evidencia pela presena dos dois conectivos ou, que determina que uma sentena necessariamente verdadeira, e a outra, necessariamente falsa. Se as proposies p e q forem representadas como conjuntos por meio de um diagrama, a disjuno exclusiva ou p ou q" corresponder diferena do conjunto p com o conjunto q, ou diferena do conjunto q com o conjunto p,

CONECTIVOS LGICOS condicional : se ento Notao: p q (l-se se p ento q) O valor lgico de uma condicional ser falso quando p for verdadeira e q for falsa, e verdadeiro nos demais casos. Tabela-verdade da CONDICIONAL:

p V V F F

q V F V F

p V F V V

EXEMPLOS: Se tem fumaa ento tem fogo. Se hoje domingo ento tem jogo na televiso.

CONECTIVOS LGICOS
Quando estivermos analisando proposies compostas a partir do conectivo se p ento q, preciso entender que: 1. A primeira proposio (p) chamada de antecedente, hiptese ou condio suficiente;

2. A segunda proposio (q) chamada de consequente ou condio necessria;

3. A proposio composta resultante da operao condicional de uma proposio em outra somente ser falsa, se a proposio antecedente for verdadeira e a consequente for falsa. Em todos os outros casos, a proposio resultante ser verdadeira.

CONECTIVOS LGICOS
Exemplos de proposio condicional e suas variaes: Se Joo passou matemtica. de ano, ento Joo passou em

Fique atento para algumas variaes frequentes: Joo passar em matemtica, se Joo passar de ano. Joo passar de ano condio suficiente para que Joo passe em matemtica. Joo passar de ano condio necessria para que Joo passe em matemtica. Joo passar de ano somente se Joo passar em matemtica.

CONECTIVOS LGICOS
Vamos analisar outra situao: Exemplo: Considere as proposies

p: Joo passou de ano.

q: Joo passou em matemtica. p q: Se Joo passou de ano, ento Joo passou em Matemtica. Perceba que nesta ltima proposio, fica evidente que: se Joo passou de ano, por que tambm passou em matemtica. E que h apenas um caso em que ela se torna falsa: Joo passou de ano, associado com Joo no passou em matemtica. Logo: A proposio composta resultante da operao condicional de uma proposio em outra somente ser falsa, se a proposio antecedente for verdadeira e a consequente for falsa.

CONECTIVOS LGICOS
Muita gente tem dificuldade em entender o funcionamento desse tipo de proposio. Convm, para facilitar nosso entendimento, que trabalhemos com a seguinte sentena. Se nasci em Fortaleza, ento sou cearense. Vamos analisar um exemplo mais simples: Se nasci em Imperatriz, ento sou Maranhense. E assim por diante. Agora me responda: qual a nica maneira de essa proposio estar incorreta? Ora, s h um jeito de essa frase ser falsa: se a primeira parte for verdadeira, e a segunda for falsa. Ou seja, se verdade que eu nasci em Imperatriz, ento necessariamente verdade que eu sou maranhense. Se algum disser que verdadeiro que eu nasci em Imperatriz, e que falso que eu sou maranhense, ento este conjunto estar todo falso.

CONECTIVOS LGICOS
Percebam que o fato de eu ter nascido em Imperatriz condio suficiente (basta isso!) para que se torne um resultado necessrio que eu seja maranhense. Mirem nessas palavras: suficiente e necessrio. Uma condio suficiente gera um resultado necessrio. Percebam, pois, que se algum disser que: Pedro ser rico condio suficiente para Maria ser mdica, ento ns podemos reescrever essa sentena, usando o formato da condicional. Teremos: Pedro ser rico condio suficiente para Maria ser mdica igual a: Se Pedro for rico, ento Maria mdica. Por outro lado, se ocorrer de algum disser que: Maria ser mdica condio necessria para que Pedro seja rico, tambm poderemos traduzir isso de outra forma: Maria ser mdica condio necessria para que Pedro seja rico igual a: Se Pedro for rico, ento Maria mdica

CONECTIVOS LGICOS
O conhecimento de como se faz essa traduo das palavras suficiente e necessrio para o formato da proposio condicional j foi bastante exigido em questes de concursos. No podemos, pois esquecer disso: Uma condio suficiente gera um resultado necessrio. Se as proposies p e q forem representadas como conjuntos, por meio de um diagrama, a proposio condicional "Se p ento q" corresponder incluso do conjunto p no conjunto q (p est contido em q):

CONECTIVOS LGICOS
Outros exemplos da proposio condicional: Exemplo 1: Se 4 maior que 2, ento 10 menor que 20. p: 4 maior que 2 q: 10 menor que 20 p V q V Resultado V

Exemplo 2: Se o ms de Maio tem 31 dias, ento a Terra plana O ms de Maio tem 31 dias: p A Terra plana: q p V q F Resultado F

CONECTIVOS LGICOS bicondicional : se e somente se Notao: p q (l-se p se e somente se q) O valor lgico de uma bicondicional ser falso quando p e q tiverem valores (V ou F) diferentes , e verdadeiro nos demais casos. Tabela-verdade da BICONDICIONAL:

p V V F F

q V F V F

p V F F V

EXEMPLOS:

Jos faz aniversrio se e somente se estamos no ms de abril.

Hoje domingo se e somente se tem jogo na televiso.

CONECTIVOS LGICOS
A proposio bicondicional denominada suficiente e necessria ao mesmo tempo. condio

Simbolicamente podemos representar a bicondicional a partir de duas condicionais ligadas pelo conectivo e.

p
Exemplo:

(p

q) (q

p)

Joo vai ao cinema, se e somente se, Maria no viajar. Perceba que:

1. Maria no viajar condio suficiente e necessria para Joo ir ao cinema.

2. Joo ir ao cinema condio suficiente e necessria para Maria no viajar.

CONECTIVOS LGICOS Outros exemplos de proposio bicondicional: Exemplo 1: Roma fica na Europa se e somente se a neve branca p: Roma fica na Europa q: Neve branca p q Resultado V

Exemplo 2: Roma fica na Europa se e somente se a neve azul

p: Roma fica na Europa

q: Neve azul p q Resultado F

CONECTIVOS LGICOS
Exemplo 3: Roma fica na frica se e somente se a neve branca p: Roma fica na frica q: Neve branca

q Resultado F

Exemplo 4: Roma fica na frica se e somente se a neve azul p: Roma fica na frica q: Neve azul

q Resultado V

CONECTIVOS LGICOS
Se as proposies p e q forem representadas como conjuntos, por meio de um diagrama, a proposio bicondicional "p se e somente se q" corresponder igualdade dos conjuntos p e q.

Observao: Uma proposio bicondicional "p se e somente se q" equivale proposio composta: se p ento q e se q ento p, ou seja, p q a mesma coisa que (p q) e (q p) So tambm equivalentes bicondicional "p se e somente se q" as seguintes expresses:

CONECTIVOS LGICOS
A se e s se B. Se A ento B e se B ento A. A somente se B e B somente se A. A condio suficiente para B e B condio suficiente para A. B condio necessria para A e A condio necessria para B. Todo A B e todo B A. Todo A B e reciprocamente. Via de regra, em questes de prova, s se v mesmo a bicondicional no seu formato tradicional: p se e somente se q.

CONECTIVOS LGICOS
Tabela-verdade resumo dos conectivos binrios:

p V

q V

p V

p V

pvq p F V

q p V

V
F

F
V

F
F

V
V

V
V

F
V

F
F

CONECTIVOS LGICOS

Conectivo Unrio: conectivo o que atua apenas em

uma expresso para gerar uma outra. Um exemplo de conectivo unrio a: negao: a negao de uma proposio. Notaes: p ou p ou ~p proposies simples.

A ou A ou ~A proposies compostas.
O valor lgico de uma negao ser verdadeiro quando a proposio for falsa, e ser falso quando a proposio for verdadeira. Logo ~p tem valor lgico oposto ao de p.

CONECTIVOS LGICOS
Tabelas-verdade da NEGAO:

p ~p V F F V
proposio simples

A ~A V F F V
proposio composta

Usa-se o vocbulo NO antes do verbo para se construir a negao de proposies simples. Exemplo: Alex NO engenheiro. Em proposies compostas utiliza-se as expresses NO VERDADE QUE.... FALSO QUE...

CONECTIVOS LGICOS

Observao importante:
s vezes uma proposio contradiz outra, sem que seja sua negao.

Exemplo: a proposio O carro de Joo preto, contradiz, mas no a negao da proposio O carro de Joo branco.
Perceba que a negao da proposio O carro de Joo branco seria: O carro de Joo no branco.

CONECTIVOS LGICOS Negao das proposies simples: no p Notao: ~p ou p (l-se no p)

Modos de negao de uma proposio simples:

1 modo: Negao formal: Exemplo: (p) (p) Arthur vai ao cinema. falso dizer que, Arthur vai ao cinema.

2 modo: Antepondo-se a expresso no ao seu verbo:

Exemplo:

(p)
(p)

Paulo irmo de Pedro.

Paulo no irmo de Pedro.

CONECTIVOS LGICOS 3 modo: Retirando-se a expresso no antes do verbo: Exemplo: (p) (p) Maria no gosta de ir praia. Maria gosta de ir praia.

4 modo: Substituindo-se um dos proposio por um de seus antnimos:

Exemplo: (p) (p) Joo alto. Joo baixo.

termos

da

CONECTIVOS LGICOS Negao das proposies compostas:

O que veremos aqui seria o suficiente para acertarmos algumas questes de concurso. J sabemos negar uma proposio simples. Mas, e se for uma proposio composta, como fica? A, depender de qual a estrutura em que se encontra essa proposio.

Negao de uma Proposio Conjuntiva: ~(p e q)

Para negarmos uma proposio no formato de conjuno (p e q), faremos o seguinte: 1) Negaremos a primeira (~p); 2) Negaremos a segunda (~q); 3) Trocaremos e por ou. E s!

CONECTIVOS LGICOS
Da, a questo dir: No verdade que Joo mdico e Pedro dentista, e pedir que encontremos, entre as opes de resposta, aquela frase que seja logicamente equivalente a esta fornecida. Analisemos: o comeo da sentena no verdade que.... Ora, dizer que no verdade que... nada mais nada menos que negar o que vem em seguida. E o que vem em seguida? Uma estrutura de conjuno! Da, como negaremos que Joo mdico e Pedro dentista? Da forma explicada acima: 1) Nega-se a primeira parte: (~p): Joo no mdico 2) Nega-se a segunda parte: (~q): Pedro no dentista 3) Troca-se e por ou, e o resultado final ser o seguinte: Joo no mdico ou Pedro no dentista. Traduzindo para a linguagem da lgica, diremos que: ~(p q) = ~p ~q

CONECTIVOS LGICOS
Como fomos chegar essa concluso? Ora, por meio da comparao entre as tabelas-verdade das duas proposies acima. Vejamos como foi isso. Primeiro, trabalhemos a tabelaverdade do ~(p q). Tudo comea com aquele formato bsico, que j nosso conhecido:

Da, faremos a prxima coluna, que a da conjuno (e). Teremos:

CONECTIVOS LGICOS
Por fim, construiremos a coluna que a negativa desta terceira. Ora, j sabemos que com a negativa, o que verdadeiro vira falso, e o que falso vira verdadeiro. Logo, teremos:

Agora, construamos a tabela-verdade da estrutura ~p v ~q, e comparemos os resultados. No incio, teremos:

CONECTIVOS LGICOS
Faremos agora as duas colunas das duas negativas, de p e de q. Para isso, conforme j sabemos, quem for V virar F, e viceversa. Teremos:

Agora, passemos coluna final: ~p v ~q. Aqui nos lembraremos de como funciona uma disjuno. A disjuno a estrutura do ou. Para ser verdadeira, basta que uma das sentenas tambm o seja. Da, teremos:

CONECTIVOS LGICOS
Finalmente, comparemos a coluna resultado (em destaque) desta estrutura (~p ~q) com aquela que estava guardada da estrutura ~(p q). Teremos:

Resultados idnticos! Da, do ponto de vista lgico, para negar p e q, negaremos p, negaremos q, e trocaremos e por ou.

CONECTIVOS LGICOS Negao de uma Proposio Disjuntiva: ~(p ou q)

Para negarmos uma proposio no formato de disjuno (p ou q), faremos o seguinte: 1) Negaremos a primeira (~p); 2) Negaremos a segunda (~q); 3) Trocaremos ou por e. Se uma questo de prova disser: Marque a assertiva que logicamente equivalente seguinte frase: No verdade que Pedro dentista ou Paulo engenheiro. Pensemos: a frase em tela comea com um no verdade que..., ou seja, o que se segue est sendo negado! E o que se segue uma estrutura em forma de disjuno. Da, obedecendo aos passos descritos acima, faremos: 1) Nega-se a primeira parte: (~p): Pedro no dentista 2) Nega-se a segunda parte: (~q): Paulo no engenheiro 3) Troca-se ou por e, e o resultado final ser o seguinte: Pedro no dentista e Paulo no engenheiro.

CONECTIVOS LGICOS
Na linguagem apropriada, concluiremos que: ~(p q) = ~p ~q Podemos chegar a esta mesma concluso por meio de tabelasverdade:

Vamos agora analisar a tabela-verdade para a estrutura: ~p ~q

CONECTIVOS LGICOS
Resultados idnticos! Da, do ponto de vista lgico, para negar p ou q, negaremos p, negaremos q, e trocaremos ou por e.

Negao de uma Proposio Condicional: ~(p q)

Esta negativa a mais cobrada em prova! Como que se nega uma condicional? Da seguinte forma: 1) Mantm-se a primeira parte; e 2) Nega-se a segunda. Por exemplo, como seria a negativa de Se chover, ento levarei o guarda-chuva? 1) Mantendo a primeira parte: Chove e 2) Negando a segunda parte: eu no levo o guarda-chuva. Resultado final: Chove e eu no levo o guarda-chuva. Na linguagem lgica, teremos que: ~(p q) = p ~q

CONECTIVOS LGICOS
Negao de uma disjuno exclusiva: ~(p v q) Observando a tabela-verdade abaixo vamos concluir que temos duas formas de negar a disjuno exclusiva.

Da tabela-verdade acima podemos dizer que:

CONECTIVOS LGICOS
Para entender melhor vamos analisar o exemplo abaixo: Ex.: A negao da proposio Ou Maria rica ou Joo rico, mas no ambos dada por: Representando a proposio Ou Maria rica ou Joo rico, mas no ambos por (A v B) , temos: (A v B): falso dizer que, ou Maria rica ou Joo rico, mas no ambos. (Negao formal). (AB): Maria rica se somente se Joo rico. (A B) (B A): Se Maria rica, ento Joo rico e se Joo rico, ento Maria rica. Negao da Bicondicional: (A B) J vimos que a negao da disjuno exclusiva feita com a bicondicional, portanto a negao da bicondicional ser feita com a disjuno exclusiva, observe a tabela-verdade abaixo:

CONECTIVOS LGICOS

Ex.: A negao da proposio Maria viaja se somente se Joo no vai ao cinema, dada por: Primeiro vamos Representar a proposio Maria viaja se somente se Joo no vai ao cinema, por (AB) , temos: (A B): falso dizer que Maria viaja se somente se Joo no vai ao cinema. (Negao formal)

CONECTIVOS LGICOS
Ex.: A negao da proposio Maria viaja se somente se Joo no vai ao cinema, dada por: (A B): falso dizer que Maria viaja se somente se Joo no vai ao cinema. (Negao formal) (A B) (B A): Maria viaja e Joo vai ao cinema ou Joo no vai ao cinema e Maria no viaja.

(A v B): Ou Maria viaja ou Joo no vai ao cinema, mas no ambos.

CONECTIVOS LGICOS OUTROS EXEMPLOS:

Exemplo 1: p: Vai chover hoje; ~p: No vai chover hoje; Exemplo 2: A: Peter baixo e gordo; ~A: Peter alto ou magro; Neste caso entende-se que dizer que Peter no nem baixo nem gordo, equivale a dizer que ele alto ou magro. Exemplo 3: B: Julie detesta manteiga ou adora nata; ~B: Julie adora manteiga e detesta nata; Neste caso entende-se que dizer que no verdade que Julie detesta manteiga ou adora nata, equivale a dizer que Julie adora manteiga e detesta nata.

ATIVIDADES PROPOSTAS: 01. Sejam as proposies, p: Jorge rico. q: Carlos feliz.

Traduzir para linguagem corrente as seguintes proposies:

a) p ~q

b) ~p q
c) q ~p;

CONECTIVOS LGICOS
Observaes: Podemos gerar novas proposies encadeando proposies, conectivos e parnteses. Seus valores lgicos sero definidos pela construo de tabelas-verdade. importante lembrar que "ou" pode ter dois sentidos na linguagem habitual: inclusivo ou disjuno (quando pode ocorrer uma coisa ou a outra ou ambas) e exclusivo (quando pode ocorrer apenas uma das coisas).

ATIVIDADES PROPOSTAS:

02. Sejam as proposies,

p: O livro interessante. q: O livro de lgica.

Traduzir para linguagem corrente as seguintes proposies:

a) ~p

b) p q
c) p ~q

d) ~(p q) e) q ~p;

ATIVIDADES PROPOSTAS:
03. Traduzir para a linguagem simblica, considerando: p = Josefa rica

q = Josefa feliz
r = Josefa estudante. a) Josefa rica ou infeliz. b) Se Josefa estudante e rica ento estudante e feliz. c) Josefa pobre, mas feliz. d) Josefa pobre e infeliz. e) Josefa pobre ou rica, mas infeliz. f) Se Josefa pobre ento feliz. g) Josefa rica se e somente se no for pobre. h) Se Josefa estudante ento rica se e somente se feliz. i) Josefa pobre, infeliz, estudante ou rica. j) Josefa estuda, mas feliz se e somente no for pobre.

ATIVIDADES PROPOSTAS: 04. Indicar as proposies simples abaixo por letras minsculas e traduzir as sentenas para notao simblica: a) Se Janet vencer ou perder, ela estar cansada; Exemplo: p: Janet vence, q: Janet perde, t: Janet est cansada;

Notao simblica: (p q) t;
b) Ou vai chover ou vai nevar, mas no ambos;

c) Se os preos subirem, as construes ficaro mais caras, mas se as construes no forem caras, elas sero muitas;
d) Ou Janet ir vencer ou, se perder, ficar cansada; e) Se a quantidade de gua suficiente ento o crescimento das plantas sadio;

ATIVIDADES PROPOSTAS: 05. Escreva frmulas para as sentenas abaixo utilizando as seguintes proposies: p: Paula vai festa. r: Ricardo vai festa. a) Paula no vai. b) Paula vai, mas Quincas no vai. c) Se Paula for, ento Quincas tambm ir. d) Paula ir, se Quincas for. e) Paula ir se e somente se Quincas for. f) Nem Paula nem Quincas iro. q: Quincas vai festa. s: Sara vai festa.

g) Paula e Quincas no iro.

h) Paula no ir, se Quincas for. i) Se Ricardo for, ento se Paula no for, Quincas ir.

j) Se nem Ricardo nem Quincas forem, ento Paula ir.

ATIVIDADES PROPOSTAS:
05. Escreva frmulas para as sentenas abaixo utilizando as seguintes proposies: p: Paula vai festa. r: Ricardo vai festa. q: Quincas vai festa. s: Sara vai festa.

k) Se Ricardo ou Quincas forem, ento Paula ir e Sara no ir.

l) Se Sara for, ento Ricardo ou Paula iro, e se Sara no for, ento Paula e Quincas iro.

ATIVIDADES PROPOSTAS:
06. Identifique dentre as expresses abaixo, quais so proposies:

a) Sete mais trs igual a dez. Declarao (afirmativa)

b) Marcone professor de Contabilidade. Declarao (afirmativa ou negativa) c) Maria linda? Interrogativa d) Levante-se. Imperativa

ATIVIDADES PROPOSTAS:
07. Analise e resolva a situao proposta:

Dois monges esto perdidos numa mata e esto passando fome. E s existe uma planta que podem comer. Mas para com-la dever ser fervida durante exatos 30 segundos seno os matara. Mas para marcar o tempo eles s tem 2 ampulhetas uma que marca 22 e outra de 14 segundos. Como que conseguiro marcar o tempo?

ATIVIDADES PROPOSTAS:
08. Achar o erro (absurdo) da demonstrao algbrica abaixo: I. II. Vamos admitir que certo a seja igual a certo b:

a b
2 2

Multiplicando ambos os membros da igualdade por a:

a2 ab
2

III. Diminua b2 de ambos os membros da igualdade:

a b ab b
IV. Fatore ambos os membros da igualdade:

a b a b ba b
V. Dividindo ambos os membros da igualdade por (a - b), a expresso resultante ser:

VI.

a b b b b Lembrando que a = b, teremos: 2

VII. Dividindo ambos os membros da igualdade por b, teremos:

2 1