Está en la página 1de 5

ENADE 2005 e 2008

Nas opes abaixo, representa o condicional material (se...ento...), v representa a disjuno (ou um, ou outro, ou ambos) e ~ representa a negao (no). Com o auxlio de tabelas veritativas, examine a seguinte frmula: (p q) v (~ q v p) e, a seguir, assinale a opo correta. A A frmula uma contingncia, e ~ q v p s falsa na 3. linha, de cima para baixo. B A frmula uma tautologia, e p q s falsa na 2. linha, de cima para baixo. C A frmula uma disjuno tautolgica cujos membros so ambos tautolgicos. D A frmula uma contradio. E A frmula mal formada. Considere que , e so, respectivamente, smbolos para a negao (no), conjuno (e) e condicional material (se..., ento...) e que p e q so variveis proposicionais. Ao se empregar os procedimentos das tabelas veritativas e, em seguida, do clculo proposicional, pode-se concluir que a frmula (p q) v (p q). I uma contingncia. II uma contradio. III uma tautologia.

LGICA PROPOSICIONAL A lgica proposicional clssica um dos exemplos mais simples de lgica formal. O clculo proposicional s possvel de ser elaborado partindo de proposies declarativas, pois so as nicas a que se pode atribuir verdade e falsidade (ex: a engenharia a cincia que estuda a construo de obras de grande porte; todo metal submetido alta temperatura dilata, etc.). Proposies exclamativas (ex: que lindo dia!), imperativas (ex: voc deve respeitar seu semelhante), interrogativas (ex: todo metal submetido alta temperatura dilata?) no so passveis de atribuio valorativa (verdade e falsidade). A lgica proposicional (ou clculo sentencial) um sistema formal no qual smbolos (p, q, r, etc.) representam proposies simples (ou atmicas) que so combinadas entre si usando conectivos lgicos (~, v, ^ , etc.). As proposies simples so aquelas compostas de sujeito e predicado e que no podem ser divididas em outras proposies com sentido completo. Em linguagem natural, um exemplo de proposio simples pode ser: "O cobre conduz eletricidade", ou "X um nmero". Se fizermos a decomposio da primeira teremos o sujeito cobre (que, sozinho, no tem sentido completo, afinal o cobre o que?) e o predicado conduz eletricidade (que, sozinho, tambm no tem sentido completo, afinal o que conduz eletricidade?). Na segunda proposio o caso o mesmo. As proposies complexas, por sua vez, so aquelas que podem ser decompostas em outras proposies, por exemplo: "O cobre conduz eletricidade e o cobre um metal", uma proposio complexa construda juntando duas outras O cobre conduz eletricidade e O cobre um metal" com um conectivo lgico, o e, cujo smbolo lgico ^. Assim, uma boa regra para saber se a proposio em questo simples ou complexa verificar se ela apresenta algum conectivo lgico. Falemos, ento, sobre os conectivos. Os principais conectivos lgicos e suas funes: Negao (~). L-se no o caso de. A negao inverte o valor-verdade da proposio. Conjuno (^). L-se e. A conjuno entre duas proposies verdadeira somente se ambas forem verdadeiras. Disjuno inclusiva (v). L-se e/ou. A disjuno inclusiva s falsa se ambas forem falsas. Disjuno exclusiva (w). L-se ou... ou.... A disjuno exclusiva verdadeira se os valores-verdade forem diferentes. Condicional (). L-se se..., ento.... O condicional s ser falso se o antecedente for verdadeiro e o conseqente falso. Bi-condicional (). L-se se e somente se. O bi-condicional verdadeiro se os valores-verdade

forem iguais.
EXERCCIOS: 1. Considerando as convenes abaixo, dizer qual o valor de verdade dos enunciados: Conveno:P = F; Q = V; R = V. a) (Q P) ^ ~ P b) Q (P v ~ R) c) (Q w R) R

d) ~ (P R) ^ R

e) (P w ~ P) (R Q)

f) P v (Q ~ R)

TABELA VERDADE Se na anlise de um argumento os valores so dados (exerccios com conveno de valorao dada) simples: substitumos as variveis pelos valores dados e calculamos. Mas e quando no sabemos os valores (verdadeiro ou falso) das proposies que compem o argumento? Como analis-los ento? As tabelas verdade sero necessrias neste caso. Cada linha da tabela (fora a primeira que contm as frmulas) representa uma valorao (a regra para saber quantas linhas teremos, a seguinte: 2n (em que 2 significa V, F e n o nmero de sentenas envolvidas). Assim, se uma frmula contm 2 proposies diferentes, como P e Q, o nmero de linhas ser 4. Se a frmula contiver 3 proposies diferentes, o nmero de linhas ser 8. Desta forma como ficaria a tabela verdade de uma proposio complexa do tipo (P ^ Q)? Primeiro montamos a tabela com base no nmero de proposies, neste caso temos duas proposies diferentes P e Q. Pela frmula 22 temos uma tabela de quatro linhas. Em seguida, para saber quantas colunas a tabela ter, preenchemos as duas primeiras com os valores padro para P e Q. Feito isso, s colocar a proposio complexa na tabela, separando cada proposio atmica e conectivos em uma coluna. Agora s preencher os valores de P e Q nas colunas de P e Q. E, para finalizar, a parte mais importante: calcular o valor da coluna do conecvtivo em questo, no caso a conjuno, apresentando o resultado para cada uma das quatro linhas. Sempre que a coluna final de uma tabela verdade for em todas as linhas verdadeira, dizemos que a proposio uma tautologia. Se, por outro lado, o resultado da coluna final de uma tabela verdade for em todas as linhas falso, ento temos uma contradio. Por outro lado, se tivermos ao menos um resultado verdadeiro e ao menos um resultado falso, ento a frmula uma contingncia.
Exerccios: 1. Determinar se as proposies abaixo so tautologias, contradies ou contingncias: a) P Q (P w Q) (Q Q) V V V F F b) P V V F F c) P V V V V F F F F F V F Q V F V F Q V V F F V V F F (P ^ Q) v (Q ~ P)

R V F V F V F V F

[(R

Q)

(~

Q)]

8. Determinar se a proposio abaixo uma tautologia, uma contradio ou uma contingncia e assinalar apenas uma alternativa: P Q R [(P v Q) ^ (~ R ^ ~ P)] (Q w R) L linhas V VV V 1 1a. V VF F 2 2a. V FV V 3 3a. V FF F 4 4a. F VV V 5 5a. F VF F 6 6a. F FV V 7 7a. F FF F 8 8a. Alternativas: a) a proposio uma tautologia, e (P v Q) s falsa nas duas ltimas linhas; b) a proposio uma contingncia, e (~ R ^ ~ P) s verdadeira na 6. e na 8. linha; c) a proposio uma contingncia, e (P v Q) ^ (~ R ^ ~ P) s verdadeira na 1. e na ltima linha; d) a proposio uma contradio.

INTRODUO AO CLCULO DE PREDICADOS A linguagem do Clculo de Predicados de 1a Ordem inclui predicados, quantificadores, conectivos lgicos e regras de inferncia que, como veremos, fazem parte do Clculo de Predicados. Nesta nova linguagem teremos, alm dos conectivos do clculo proposicional e os parnteses, os seguintes novos smbolos: variveis (representam indivduos indeterminados ("algum", "algo", etc.)): x,y,z. constantes (representam os indivduos determinados nomes ou descries definidas - ex: "Joo", "Maria", Aristteles, O autor de A crtica da razo pura, O compositor de As quatro estaes...): a,b,c,....t. (vamos convencionar que isso possvel at a letra t) smbolos de predicados (representam o predicado lgico das sentenas, propriedades ou relaes entre os indivduos ou sujeitos lgicos): A, B, C, D... Z. quantificadores (representam a quantidade dos sujeitos lgicos da sentena, ex: todo, algum, pelo menos um...) : (universal), (existencial) O clculo de predicados analisa as sentenas internamente. H que se verificar os termos, separando o que sujeito do que predicado (da a expresso clculo de predicados) e os quantificadores. Comeamos simbolizando esses termos com uma notao apropriada e eliminar as ambigidades da linguagem natural. Exemplos: "Maria inteligente" = Im ; onde "m" est identificando Maria e "I" a propriedade de "ser inteligente". Para todo A B temos x (Ax Bx), que poderamos ler por extenso da seguinte forma: Para todo x, se x A, ento x B, ou, simplesmente Todo A B. Assim, a sentena Joo brasileiro pode ser simbolizada por Bj. importante notar que o predicado, nesta conveno, aparece antes do sujeito. Outros exemplos: Algum brasileiro = Bx (ainda no estamos usando os quantificadores) Ana dorme = Da Pedro alto = Ap O autor da Repblica era grego = Ga Deodoro conspirou = Cd Alguma coisa verde = Vx (continuamos no usando os quantificadores) O professor de Lgica da Unisinos organizado = Op Temos dois quantificadores: (universal), (existencial), que significam, respectivamente, para todo e existe pelo menos um. Eles s so utilizados nos casos em que a sentena apresenta ao menos uma varivel, ex: Algum brasileiro. Nessa sentena, no sabemos a quem se refere algum. Da a simbolizao ser Bx. Mas para simbolizarmos de forma mais completa, teramos que acrescentar o quantificador existencial que serve para simbolizar quantidades como: algum, alguns, algo, pelo menos um, muitos, poucos, vrios... (perceba que o mesmo caso de possibilidades que tnhamos no quantificador particular do silogismo aristotlico. Assim, nossa sentena inicial Algum brasileiro completamente simbolizada ficaria: x (Bx). Que pode ser lida das seguintes formas: Existe pelo menos um x tal que x brasileiro ou existe pelo menos algum que brasileiro ou ainda simplesmente

algum brasileiro. Por outro lado, se o quantificador for universal como todos, qualquer ou nenhum, ento usaremos a notao . Assim, para a sentena todos so brasileiros teramos a seguinte simbolizao: x (Bx). Tal notao pode ser lida das seguintes formas: para todo x, x brasileiro ou todo o mundo brasileiro ou ainda simplesmente todos so brasileiros. Outros exemplos: Nada belo = x ~ (Bx). Ela inteligente = x (Ix). Tudo belo = x (Bx). Isto no belo = x ~ (Bx). Algum um filsofo = x (Fx). Notamos que os smbolos de predicados (as letras maisculas do alfabeto) sero unrios (propriedades), binrios (relao entre dois indivduos) ou ternrios (relao entre trs indivduos) conforme o que representam envolver, respectivamente um, dois ou trs objetos do universo. Um smbolo de predicados 0-rio identifica-se com um dos smbolos de predicado e com a ausncia de sujeitos lgicos (nomes ou descries definidas). Exemplos de predicados 0-rios: Chove = C Neva = N Exemplos de predicados unrios: Scrates filsofo = Fs Cleo um peixe = Pc O compositor da Marcha fnebre criativo = Cc Algum atrapalhado = x (Ax) Exemplos de predicados binrios: Joo mais alto que Maria = Ajm Pedro gosta de Ana = Gpa Marcos est ao lado de Cludia = Lmc Todos gostam de Carlos = x (Gxc) Exemplos de predicados ternrios: Joo est sentado entre Pedro e Bruno = Sjpb Algum gosta de Maria e Carla = x (Gxmc) Paulo primo de Denis e Cristina = Ppdc
Exerccios: 1. Simbolizar as sentenas abaixo em linguagem de clculo de predicados: a) Joo no feliz _____________________________ b) Joo odeia Isabel _________________________________ c) Canoas fica entre So Leopoldo e Porto Alegre F: x fica entre y e z ____________________________________________________ d) Se Joo mais alto do que Pedro, ento Pedro mais baixo do que Joo. A: x mais alto que y / B: y mais baixo que x _________________________________________________________ 2. Simbolizar as sentenas abaixo em linguagem de clculo de predicados com o uso de variveis conforme o exemplo: Exemplo: Joo odeia algum = x (Ojx) a) Algum odeia Joo _______________________________________ b) Algum ama algum _____________________________________ c) Algum odeia a si mesmo _______________________________________________ d) Todos odeiam a si mesmos _________________________________________ e) Joo ama todos _______________________________________________________ f) Todos odeiam Joo __________________________________________________ g) Algum ama todos ___________________________________________________

3. Simbolizar as sentenas abaixo em linguagem de clculo de predicados com o uso de variveis conforme o exemplo lembrando que proposies universais so simbolizadas com o condicional e proposies particulares so simbolizadas com a conjuno: Ex: Todos os gregos so poderosos = x (Gx Px) e Alguns gregos so poderosos = x (Gx ^ Px) a) Nenhum grego poderoso _________________________________________________ b) Alguns poderosos so gregos _____________________________________________________ c) Alguns gregos no so poderosos __________________________________________________ d) Todos os gregos poderosos tm sorte _______________________________________________ e) Alguns pssaros so amarelos _________________________________________________ f) Todos os pssaros so amarelos _________________________________________________ g) Nenhuma baleia mamfero __________________________________________________ h) As pessoas so prepotentes se, e somente se, no tm escrpulos ____________________________ i) Nem tudo o que brilha ouro ________________________________________________ 4. Na sentena Maria mais baixa que Pedro, em linguagem de clculo de predicados, o predicado : a) zero-rio; b) unrio ou mondico; c) binrio ou didico; d) ternrio; e) uma descrio definida.

5. Verifique se as sentenas abaixo so verdadeiras ou falsas: ( ) Os smbolos e so usados para quantificar as variveis quando no temos nem nomes prprios nem descries definidas nas sentenas; ( ) Chove uma sentena que pode ser simbolizada por C; ( ) Nem Joo nem Maria dormiram uma sentena que pode ser simbolizada por ~ (Dj ^ Dm); ( ) Tanto Pedro quanto Flvio no comeram a refeio uma sentena complexa que pode ser simbolizada por ~ Cp ^ ~ Cf; ( ) O Paran fica entre o Rio Grande do Sul e Santa Catarina uma sentena com predicado ternrio ; ( ) Os predicados binrios sempre apresentam a relao entre dois indivduos e os ternrios denotam trs propriedades a qualquer indivduo.

6. Traduzir as seguintes sentenas para a linguagem do clculo de predicados: Conveno: S = sistemtico C = completo F = filosfico a = o autor de Investigaes filosficas a) x (~ Sx) _______________________________________________________________________ b) x (~ Sx) _______________________________________________________________________ c) x (Sx ^ Cx) ____________________________________________________________________ d) x (Fx (Sx ^ Cx)) _______________________________________________________________ e) x (Fx w Cx)___________________________________________________________________ f) (Sa Fa)_________________________________________________________________________ g) x (Fx ~ Sx) ____________________________________________________________________ h) x (Cx ~ Sx) ____________________________________________________________________ i) (~ Ca ^ Fa) Sa) __________________________________________________________________