Lgica Matemtica para concursos Dudu cearense

AULA 02 VALORES LGICOS ENTRE DUAS PROPOSIES SIMPLES Ol turma, Vou hoje iniciar resolvendo as questes da aula anterior. Vamos l: 1) Traduza para a linguagem simblica os enunciados a, b, c, d e e da questo do MPOG. Resoluo: Colocamos, na aula passada, a representao em linguagem simblica das proposies da referida questo. Foram estas: p: Ana artista q: Carlos carioca r: Jorge juiz t: Breno bonito Transformando cada proposio para sua respectiva linguagem simblica: a) Jorge juiz e Breno bonito r^t b) Carlos carioca ou Breno bonito qvt c) Breno bonito e Ana artista t^p d) Ana no artista e Carlos carioca ~p ^ q e) Ana artista e Carlos no carioca p ^ ~q Fcil, no?! 2) Dadas as preposies p: Joo pobre e q: Laura fala ingls, traduzir para a linguagem corrente as seguintes proposies: a) ~p q Se Joo no pobre, ento Laura fala ingls

Lgica Matemtica para concursos Dudu cearense

b) ~~p ~(Joo no pobre) Joo pobre c) ~p ^ q p Se Joo no pobre e Laura fala ingls, ento Joo pobre d) p v ~q Joo pobre ou Laura no fala ingls e) q p Se Laura fala ingls, ento Joo pobre f) p v q Joo pobre ou Laura fala ingls g) p ~q Se Joo pobre, ento Laura no fala ingls Ok?! Para a 3 questo...

3) Sejam as proposies p: Carlos rico e q: Carlos alto e r: Carlos fala alemo. Traduzir para a linguagem simblica as seguintes proposies: Resoluo: Aqui, ao contrrio do item anterior, escreveremos em linguagem simblica cada enunciado, conhecendo j as letras de cada proposio simples. So elas: p: Carlos rico q: Carlos alto r: Carlos fala alemo a) Carlos rico, mas fala alemo p^r Obs: Note que, aqui, a palavra mas equivalente ao conectivo e

Lgica Matemtica para concursos Dudu cearense

b) Carlos pobre ou baixo Dizer que Carlos pobre negar a sua condio de rico, ou melhor, dizer que Cludio no rico. O mesmo entendimento vale para sua estatura. Assim, escrevemos: ~p v ~q c) Carlos fala alemo e alto r^q d) Carlos baixo ou rico, mas fala alemo ~q v p ^ r e) Carlos rico ou pobre e fala alemo p v ~p ^ r f) Carlos rico ou alto, mas no fala alemo p v q ^ ~r g) Carlos rico e alto, ou no fala alemo p ^ q v ~r h) falso que Carlos rico mas que no fala alemo Aqui, note que a afirmao Carlos rico mas no fala alemo. Escrevendo em linguagem simblica: p ^ ~r Agora, dizer que essa afirmao falsa, dar falsidade a toda a expresso simblica, assim: ~(p ^ ~r) i) falso que Carlos alto ou fala alemo mas que no rico Da mesma forma que na questo anterior, a afirmao Carlos alto ou fala alemo mas no rico. E a escrevemos: ~(q v r ^ ~p) Essa 3 questo s teve algumas observaes para sua resoluo, mas nada de muito difcil de entender, no verdade?!

Lgica Matemtica para concursos Dudu cearense

Vamos ao que interessa agora! Antes, imperativo notar que toda e qualquer proposio deve ter um valor lgico, verdade ou falsidade. Se uma proposio verdadeira, seu valor lgico a verdade. Caso contrrio, o valor lgico ser falsidade. Nada de difcil ento! Para ficar claro, imagine as seguintes preposies simples. p: Ana artista q: Carlos carioca Se sabemos que Ana no artista e Carlos carioca, tem-se o seguinte: a proposio p: Ana no artista falsa; e a proposio q: Carlos carioca verdadeira. Conclui-se que a proposio p verdadeira, e q falsidade. Falou-se, na aula passada, dos operadores lgicos. Os operadores lgicos so os que ditam qual operao dever ser realizada entre as proposies. Vamos coloc-los aqui novamente: 1) ~: negao 2) ^: conjuno (em bom portugus quer dizer e) 3) v: disjuno (chamamos pela palavra ou) 4) : condicional (lemos normalmente se p, ento q) 5) : bicondicional (l-se normalmente ...se e somente se...) 6) v: disjuno exclusiva (sua leitura ou...ou...) Saber resolver questes de lgica matemtica conhecer as operaes lgicas fundamentais, atravs destes operadores. Estas operaes obedecem s regras do clculo proposicional. Assim, olharemos sempre para um operador lgico, e ele nos dir qual regra dever ser aplicada. Para entender melhor as operaes lgicas vamos estud-las uma-a-uma. Para isso, construiremos as propaladas tabelas-verdade, para uma visualizao mais didtica, muito usadas no ensino dessa disciplina.

NEGAO (~) A primeira operao que veremos ser a negao (~). Montando sua tabela-verdade: p V F ~p F V

Lgica Matemtica para concursos Dudu cearense

Vendo a tabela, dizemos que, se p: Ana artista, a negao de p ~p: Ana no artista. S admitimos a verdade ou falsidade de uma preposio. Nunca poderemos dizer que uma proposio ser verdade e falsidade ao mesmo tempo. No poderamos dizer que Ana artista e Ana no artista e admitir isso como verdade. No h nada mais coerente do que esse princpio basilar da lgica matemtica, conhecido como princpio da no contradio. Igualmente, devemos ter uma nica entre duas respostas possveis: a verdade ou a falsidade de uma proposio. Do exemplo anterior, ou Ana artista, ou Ana no artista. Na linguagem simblica: ou p ou ~p. Esse o princpio do terceiro excludo, tambm importantssimo dentro da lgica matemtica.

CONJUNO (^) Construindo a tabela verdade da conjuno: p V V F F q V F V F p^q V F F F

Por essa tabela-verdade, ser verdadeiro afirmar que Ana artista e Cludio carioca (1 linha). Do contrrio, dizer que Ana no artista e Cludio carioca (3 linha) uma falsidade. Se observarmos, na conjuno, basta que apenas uma proposio tenha valor lgico falso para ser falsidade a conjuno p ^ q. Isso acontece nas linhas 1, 2 e 3. esse o aspecto mais importante a ser esclarecido para a conjuno de duas proposies. DISJUNO (v) Construindo a tabela verdade da disjuno: p V V F F q V F V F pvq V V V F

Lgica Matemtica para concursos Dudu cearense

Segundo esta tabela-verdade, ser verdadeiro afirmar que Ana artista e Cludio carioca (1 linha), como na conjuno p ^ q. Agora, dizer que Ana no artista e Cludio carioca (3 linha) uma verdade. Veja: na disjuno, somente teremos p v q falsidade se p e q forem falsas. Isso acontece somente na linha 4. esse o aspecto mais importante a ser esclarecido na disjuno de duas proposies.

CONDICIONAL () Construindo a tabela verdade da condicional: p V V F F q V F V F pq V F V V

Vendo a tabela-verdade da condicional, ser verdadeiro afirmar que se Ana artista, ento Cludio carioca (1 linha). Agora, dizer que se Ana artista, ento Cludio no carioca (2 linha) uma falsidade. Vamos ao que interessa: na condicional, somente teremos p q falsidade se p for verdadeira e q for falsa. Isso acontece somente na linha 2. Esse o aspecto mais importante a ser esclarecido na condicional entre duas proposies. Um detalhe importante so as diferentes leituras para a Condicional. L-se tambm: p condio suficiente para q; ou q condio necessria para p Alis, foi artifcio da prova de ACE/TCU-2002, onde foi colocada, entre outras, a seguinte proposio: O rei ir caa condio necessria para o duque sair do castelo, e condio suficiente para a duquesa ir ao jardim

Lgica Matemtica para concursos Dudu cearense

BICONDICIONAL () Construindo a tabela verdade da bicondicional: p V V F F q V F V F pq V F F V

Vamos direto ao assunto: na bicondicional, teremos p q verdade se p e q for verdadeiras ou se p e q forem falsas. Isso acontece nas linhas 1 e 4. Esse o aspecto mais importante a ser esclarecido na bicondicional. uma operao cobrada com menos frequncia em provas de concursos, como j foi dito na aula passada. Mas no resta nada ficar sempre atento Bicondicional como medida de segurana, pois no AFC/AGU-2003 foi dado o seguinte enunciado: X>Y e Q>Y, se e somente se Y>Z Fique esperto! Existem outras formas de se expressar a Bicondicional. Pode ser que venha da seguinte maneira: p condio necessria e suficiente para q; ou q condio necessria e suficiente para p

DISJUNO EXCLUSIVA (v) Construindo a tabela verdade da disjuno exclusiva: P V V F F q V F V F pq F V V F

Lgica Matemtica para concursos Dudu cearense

Seremos breve: na disjuno exclusiva, teremos p v q verdade se p for verdadeira e q for falsa ou se p for falsa e q for verdadeira. Isso acontece nas linhas 2 e 3. A disjuno exclusiva diferente da simples disjuno no seguinte aspecto: na disjuno (v), para a proposio composta p v q ser verdadeira, basta apenas p ou q ser verdadeira, ou mesmo as duas; na disjuno exclusiva (v), para p v q ser verdadeira, uma das proposies simples, p ou q, deve ser verdadeira, nunca as duas ao mesmo tempo. Ademais, se voc estiver atendo na leitura deste material, observou neste exato momento que a tabela-verdade da disjuno exclusiva a negao da tabela-verdade da bicondicional. D uma olhada rpida nas duas tabelas para tirar sua dvida e volte para continuar a leitura do texto! Apesar da importncia de se conhecer a disjuno exclusiva, ocorre com menos frequncia em provas de concurso. H de se resaltar, porm, que, no AFC-2002, uma questo teve como uma de suas proposies a seguinte: Ou Lgica fcil, ou Artur no gosta de Lgica Isso mostra que devemos ficar sempre em standby...

ta, pessoal, um pouco longo o texto, no?! Mas esse so os conceitos mais importantes para o entendimento da lgica matemtica. Aos poucos, vamos destrinchando essa matria e descobriremos, no tarde, como era to fcil resolver questes de lgica, e s voc no sabia! Ser que no sabia mesmo...?! Para finalizar, deixarei algumas questes da aula passada (na prxima pgina) para voc resolver e ir se familiarizando com todo o processo de entendimento e resoluo das questes. Vou l, Dudu cearense.

Lgica Matemtica para concursos Dudu cearense

Exerccios

1) Construa as tabelas-verdade das seguintes proposies: a) p ^ q b) q v t c) q p d) (~p ^ q) v q

2) Sabendo que os valores lgicos de p F e de q V, determine o valor lgico (V ou F) de cada uma das seguintes proposies: a) ~p q b) (~p ^ q) p c) p v ~q d) (p v q) ^ (p q) e) (p ~q) v p 3) Sejam as proposies verdadeiras p: Carlos rico e q: Carlos alto e r: Carlos fala alemo. Encontre o valor lgico das proposies abaixo: a) Carlos pobre ou baixo b) Carlos fala alemo e alto c) Carlos rico ou alto, mas no fala alemo d) Carlos rico e alto, ou no fala alemo e) falso que Carlos rico mas que no fala alemo