Lógica Formal Aspectos Introdutórios Resumo Teórico...Pág 1 [email protected] Registro CMI 40616...

10
Pág 1 [email protected] Registro CMI 40616 – Aula 4 a Parte Lógica Formal – Aspectos Introdutórios Resumo Teórico Proposição Toda proposição é uma frase mas nem toda frase é uma proposição; uma frase é uma proposição apenas quando admite um dos dois valores lógicos: Falso (F)ou Verdadeiro (V). Exemplos: 1. Frases que não são proposições o Pare! o Quer uma xícara de café? o Eu não estou bem certo se esta cor me agrada 2. Frases que são proposições o A lua é o único satélite do planeta terra (V) o A cidade de Salvador é a capital do estado do Amazonas (F) o O numero 712 é ímpar (F) o Raiz quadrada de dois é um número irracional (V) Composição de Proposições É possível construir proposições a partir de proposições já existentes. Este processo é conhecido por Composição de Proposições. Suponha que tenhamos duas proposições, 1. A = "Maria tem 23 anos" 2. B = "Maria é menor" Pela legislação corrente de um país fictício, uma pessoa é considerada de menor idade caso tenha menos que 18 anos, o que faz com que a proposição B seja F, na interpretação da proposição A ser V. Vamos a alguns exemplos: 1. "Maria não tem 23 anos" (nãoA)

Transcript of Lógica Formal Aspectos Introdutórios Resumo Teórico...Pág 1 [email protected] Registro CMI 40616...

  • Pág 1

    [email protected]

    Registro CMI 40616 – Aula

    4a Parte

    Lógica Formal – Aspectos Introdutórios

    Resumo Teórico

    Proposição

    Toda proposição é uma frase mas nem toda frase é uma proposição; uma frase é uma proposição apenas quando admite um

    dos dois valores lógicos: Falso (F)ou Verdadeiro (V). Exemplos:

    1. Frases que não são proposições o Pare! o Quer uma xícara de café? o Eu não estou bem certo se esta cor me agrada

    2. Frases que são proposições o A lua é o único satélite do planeta terra (V) o A cidade de Salvador é a capital do estado do Amazonas (F) o O numero 712 é ímpar (F) o Raiz quadrada de dois é um número irracional (V)

    Composição de Proposições

    É possível construir proposições a partir de proposições já existentes. Este processo é conhecido por Composição de

    Proposições. Suponha que tenhamos duas proposições,

    1. A = "Maria tem 23 anos" 2. B = "Maria é menor"

    Pela legislação corrente de um país fictício, uma pessoa é considerada de menor idade caso tenha menos que 18 anos, o que faz

    com que a proposição B seja F, na interpretação da proposição A ser V. Vamos a alguns exemplos:

    1. "Maria não tem 23 anos" (nãoA)

  • Pág 2

    [email protected]

    2. "Maria não é menor"(não(B)) 3. "Maria tem 23 anos" e "Maria é menor" (A e B) 4. "Maria tem 23 anos" ou "Maria é menor" (A ou B) 5. "Maria não tem 23 anos" e "Maria é menor" (não(A) e B) 6. "Maria não tem 23 anos" ou "Maria é menor" (não(A) ou B) 7. "Maria tem 23 anos" ou "Maria não é menor" (A ou não(B)) 8. "Maria tem 23 anos" e "Maria não é menor" (A e não(B)) 9. Se "Maria tem 23 anos" então "Maria é menor" (A => B) 10. Se "Maria não tem 23 anos" então "Maria é menor" (não(A) => B) 11. "Maria não tem 23 anos" e "Maria é menor" (não(A) e B) 12. "Maria tem 18 anos" é equivalente a "Maria não é menor" (C não(B))

    Note que, para compor proposições usou-se os símbolos não (negação), e (conjunção), ou (disjunção), => (implicação) e,

    finalmente, (equivalência). São os chamados conectivos lógicos. Note, também, que usou-se um símbolo para representar

    uma proposição: C representa a proposição Maria tem 18 anos. Assim, não(B) representa Maria não é menor, uma vez que B

    representa Maria é menor.

    Algumas Leis Fundamentais

    Lei do Meio

    Excluido Um proposição ou é falsa (F) ou verdadeira (V): não há meio termo.

    Lei da

    Contradição Uma proposição não pode ser, simultaneamente, V e F.

    Lei da

    Funcionalidade

    O valor lógico (V ou F) de uma proposição composta é unicamente determinada

    pelos valores lógicos de suas proposições constituintes.

    Tabela-Verdade

    A tabela-verdade, como se sabe, é um instrumento eficiente para a especificação de uma composição de proposições. Abaixo

    segue a tabela-verdade dos conectivos aqui tratados,

    Negação

    A ~(A), ou -A, ou /A, ou ainda, A'

    F V

    V F

    A B

    Conjunção

    A . B, ou AB

    Disjunção

    A + B

    Implicação

    A => B

    Equivalência

    A B

    F F F F V V

    F V F V V F

    V F F V F F

    V V V V V V

  • Pág 3

    [email protected]

    Alguns destaques das tabelas-verdade tratadas:

    A negação, como o próprio nome diz, nega a proposição que tem como argumento. Tem como símbolo o acento "~" , ~A,ou, algumas vezes, uma barra sobre a variavel lógica, Ã, ou o sinal "-", -A, ou o símbolo "/", /A, ou ainda, o sinal

    "'", A'. Lembre-se que o símbolo nada mais é que uma simples representação da negação. O que é relevante é que o

    significado do símbolo seja explicitamente declarado.

    Aqui, os símbolos mais usados para a negação são o sinal "'", e barra por sobre a variável lógica, .

    O símbolo mais utilizado para a conjunção, em Eletrônica Digital, é o ponto ".".

    O símbolo mais utilizado para a disjunção, em Eletrônica Digital, é o sinal "+".

    A única função da implicação lógica (A => B, onde A é o antecedente e B é o conseqüente) é afirmar o conseqüente no caso do antecedente ser verdadeiro. Segundo Quine, a única maneira de se negar a implicação lógica como um todo

    é quando isto não ocorre, isto é, tem-se o antecedente (A) V e o consequente (B) é F. Apenas neste caso, a implicação

    (A => B) é F. Em todos os outros casos é V.

    A equivalência sempre é V quando os dois argumentos possuem o mesmo valor lógico (seja, este valor, V ou F).

    Propriedades Importantes

    1. Leis Idempotentes

    a) p v p p b) p ^ p p

    2. Leis Comutativas

    a) p v q q v p

    b) p ^ q q ^ p

    3. Leis Associativas

    a) p v (q v r) (p v q) v r

    b) p ^ (q ^ r) (p ^ q) ^ r

    4. Leis de De Morgan

    a) ~(p ^ q) ~p v ~q (Negação da conjunção)

    b) ~(p v q) ~p ^ ~q (Negação da disjunção)

    5. Leis Distributivas

    c) p ^ (q v r) (p ^ q) v (p ^ r) d) p v (q ^ r) (p v q) ^ (p v r)

    6. Bicondicional

    a) p q (p q) ^ (q p)

    b) p q q p (comutativa)

    c) (p q ) r p ( q r ) (associativa)

    7. Condicionais

    a) p q b) ~q ~p (contrapositivo)

    c) q p (recíproca do condicional)

    d) ~p ~q (recíproca do contrapositivo)

    http://www.inf.ufsc.br/ine5365/bibliog.html#QUINE,

  • Pág 4

    [email protected]

    p q ~p ~q p q ~q ~p q p ~p ~q

    F F V V V V V V

    F V V F V V F F

    V F F V F F V V

    V V F F V V V V

    Destas tabelas verdade tiramos as seguintes equivalências lógicas:

    i) (pq) (~q ~p) ii) (qp) (~p ~q)

    8. Negação do condicional

    ~(pq) (p ^ ~q)

    9. Mais condicional

    pq ~p v q

    10. Negação do bicondicional

    ~(pq) ~pq p~q

    QUESTÕES DE CONCURSOS

    QUESTÃO 01

    Considere como verdadeiras as sentenças a seguir. I. Alguns matemáticos são professores. II. Nenhum físico é matemático. Então, é necessariamente verdade que (A) algum professor é físico. (B) nenhum professor é físico. (C) algum físico é professor. (D) algum professor não é físico (E) nenhum físico é professor.

    QUESTÃO 02

    Observe a linha de argumentação a seguir. Toda banana é vermelha. Toda banana tem casca azul. Logo, as frutas vermelhas têm casca azul.

  • Pág 5

    [email protected]

    a) trata-se de um argumento válido b) trata-se de um sofisma c) não há bananas vermelhas d) nenhuma fruta tem casca azul

    QUESTÃO 03

    Se, numa vila, todo torcedor do Arranca-toco é homem, mas nem todo homem é torcedor do Arranca-toco e todo torcedor do Tira-canela é mulher, mas nem toda mulher é torcedora do Tira-canela então, nessa vila:

    (a) existem homens que torcem pelo Tira-canela (b) há mais de um homem que torce pelo Arranca-toco (c) existe pelo menos uma mulher que torce pelo Arranca-toco (d) ninguém torce pelo outro time (e) há pelo menos duas pessoas que não torcem nem pelo Arranca-toco, nem pelo Tira-canela

    QUESTÃO 04

    Pedro, candidato ao cargo de Escrivão de Polícia Federal, necessitando adquirir livros para se preparar para o concurso, utilizou um site de busca da Internet e pesquisou em uma livraria virtual, especializada nas áreas de direito, administração e economia, que vende livros nacionais e importados. Nessa livraria, alguns livros de direito e todos os de administração fazem parte dos produtos nacionais. Além disso, não há livro nacional disponível de capa dura. Com base nas informações acima, é possível que Pedro, em sua pesquisa, tenha a.encontrado um livro de administração de capa dura. b. adquirido dessa livraria um livro de economia de capa flexível. c. selecionado para compra um livro nacional de direito de capa dura. d. comprado um livro importado de direito de capa flexível.

    QUESTÃO 05

    Se Francisco desviou dinheiro da campanha assistencial, então ele cometeu um grave delito. Mas Francisco ao desviou dinheiro da campanha assistencial. Logo, a) alguém não desviou dinheiro da campanha assistencial. b) Francisco não cometeu um grave delito. c) Francisco cometeu um grave delito. d) alguém desviou dinheiro da campanha assistencial. e) Francisco desviou dinheiro da campanha assistencial.

    QUESTÃO 06

    Sejam as seguintes sentenças:

    I) o uniforme dos policiais rodoviários deve ser utilizado em todas as operações de estradas; II) qual a cor predominante do uniforme dos policiais rodoviários ?

  • Pág 6

    [email protected]

    III) o DPRF tem x postos de controle nas estradas capixabas; IV) o posto do DPRF existente na rodovia Rio – Teresópolis foi recentemente reformado.

    Com base na definição de Proposição Lógica, é correto afirmar que, dentre as sentenças apresentadas acima é uma proposição:

    a) todas b) uma c) duas d) três e) nenhuma

    QUESTÃO 07

    A proposição composta BABA , para quaisquer que sejam os valores lógicos de A e de B, tem exato(s) :

    a) nenhum valor lógico F

    b) um valor lógico F

    c) dois valores lígicos F

    d) três valores lógicos F

    e) quatro valores lógicos F

    QUESTÃO 08

    Sejam as seguintes proposições : (P) – não é verdade dizer que amo ou caso (Q) – não amo ou caso Julgue o item a seguir. A proposição P Q é uma :

    a) contradição

    b) contingência

    c) tautologia

    d) equivalência

    5a Parte

    QUESTÕES DE CONCURSOS

    QUESTÃO 01

    Se não é verdade que “Todos assistentes judiciários de determinado fórum são formados em advocacia”, então é necessariamente verdade que

  • Pág 7

    [email protected]

    (A) nenhum assistente judiciário desse fórum é formado em advocacia. (B) todos assistentes judiciários desse fórum não são formados em advocacia. (C) ninguém formado em advocacia é assistente judiciário desse fórum. (D) alguém formado em advocacia é assistente judiciário desse fórum. (E) algum assistente judiciário desse fórum não é formado em advocacia

    QUESTÃO 02

    A afirmação “se a onça é pintada e o urso é pardo, então o macaco é preto” é logicamente equivalente a: A) Se o macaco é preto, então a onça não é pintada e ou o urso não é pardo. B) Se o macaco não é preto, então a onça não é pintada e o urso não é pardo. C) Se o macaco não é preto, então a onça não é pintada ou o urso não é pardo. D) Se o macaco não é preto, então a onça é pintada ou o urso não é pardo. E) Se o macaco não é preto, então a onça não é pintada ou o urso é pardo.

    QUESTÃO 03

    Se a proposição P(x) representa “x é um pavão” e a proposição M(x) representa “x é misterioso”, pode-se concluir

    que a proposição “nenhum pavão é misterioso” é corretamente simbolizada por )()( xMxPx .

    QUESTÃO 04

    A negação da proposição “ Todo animal tem dentes “ é :

    a) nenhum animal tem dentes b) todo animal não tem dentes c) existem animais sem dentes d) existem animais com dentes e) se tem dentes, é animal

    QUESTÃO 05

    Considere a seguinte afirmação: Se José estuda com persistência, então ele faz uma boa prova e fica satisfeito. Uma afirmação que é a negação da afirmação acima é (A) José estuda com persistência e ele não faz uma boa prova e ele não fica satisfeito. (B) José não estuda com persistência e ele não faz uma boa prova ou fica satisfeito. (C) José estuda com persistência ou ele faz uma boa prova ou ele não fica satisfeito. (D) José estuda com persistência e ele não faz uma boa prova ou ele não fica satisfeito. (E) Se José fica satisfeito então ele fez uma boa prova e estudou com persistência.

    QUESTÃO 06

    Assinale a opção que apresenta uma proposição logicamente equivalente à negação da proposição “Todo ser humano é responsável pelo bem que não faz”. A) Todo ser humano não é responsável pelo bem que não faz. B) Algum ser humano não é responsável pelo bem que não faz C) Todo ser humano é responsável pelo bem que faz.

  • Pág 8

    [email protected]

    D) Todo ser humano é responsável pelo mal que não faz. E) Algum ser humano não é responsável pelo bem que faz.

    QUESTÃO 07

    Ser síndico não é fácil. Além das cobranças de uns e da inadimplência de outros, ele está sujeito a passar por desonesto. A esse respeito, um ex-síndico formulou as seguintes proposições: — Se o síndico troca de carro ou reforma seu apartamento, dizem que ele usou dinheiro do condomínio em benefício próprio. (P1) — Se dizem que o síndico usou dinheiro do condomínio em benefício próprio, ele fica com fama de desonesto. (P2) — Logo, se você quiser manter sua fama de honesto, não queira ser síndico. (P3) Com referência às proposições P1, P2 e P3 acima, assinale os itens verdadeiros.

    I- Considerando que P1 e P2 sejam as premissas de um argumento de que P3 seja a conclusão, é correto

    afirmar que, do ponto de vista lógico, o texto acima constitui um argumento válido..

    II- A negação da proposição “O síndico troca de carro ou reforma seu apartamento” pode ser corretamente expressa por “O síndico não troca de carro nem reforma seu apartamento”

    III- A partir das premissas P1 e P2, é correto concluir que a proposição “Se o síndico ficou com fama de

    desonesto, então ele trocou de carro” é verdadeira..

    IV- Se a proposição “Dizem que o síndico usou dinheiro do condomínio em benefício próprio” for falsa, então, independentemente do valor lógico da proposição “O síndico fica com fama de desonesto”, a premissa P2 será verdadeira

    V- A proposição P3 é equivalente a “Se você quiser ser síndico, não queira manter sua fama de honesto”

    VI- O síndico trocar de carro ou reformar o seu apartamento é condição necessária para que digam que ele usou dinheiro do condomínio em benefício próprio.

    6a Parte

    QUESTÕES DE CONCURSOS

    QUESTÃO 01

    Considere como verdadeiras as sentenças a seguir. I. Se André não é americano, então Bruno é francês. II. Se André é americano então Carlos não é inglês. III. Se Bruno não é francês então Carlos é inglês. Logo, tem‐se obrigatoriamente que

  • Pág 9

    [email protected]

    (A) Bruno é francês (B) André é americano. (C) Bruno não é francês. (D) Carlos é inglês. (E) André não é americano.

    QUESTÃO 02

    Se você se esforçar, então irá vencer. Assim sendo, a) seu esforço é condição suficiente para vencer. b) seu esforço é condição necessária para vencer. c) se você não se esforçar, então não irá vencer. d) você vencerá só se se esforçar. e) mesmo que se esforce, você não vencerá.

    QUESTÃO 03

    Considere três homens (Alberto, Bruno e Carlos), cada um com sua profissão (comerciante, industrial e funcionário público) e com seu automóvel (um de cor preta, outro de cor prata e o terceiro de cor branca). Sobre essa situação, são dadas as seguintes informações: O proprietário do carro branco é funcionário público. Carlos é industrial. O proprietário do carro prata não é Carlos. O proprietário do carro branco não é Bruno. Com base nas informações, é correto concluir que (A) o comerciante é proprietário do carro branco. (B) Bruno é industrial. (C) Alberto é funcionário público. (D) o proprietário do carro preto é Bruno. (E) Alberto é proprietário do carro preto.

    QUESTÃO 04

    Se Marta é estudante, então Pedro não é professor. Se Pedro não é professor, então Murilo trabalha. Se Murilo trabalha, então hoje não é domingo. Ora, hoje é domingo. Logo, a) Marta não é estudante e Murilo trabalha. b) Marta não é estudante e Murilo não trabalha c) Marta é estudante ou Murilo trabalha. d) Marta é estudante e Pedro é professor. e) Murilo trabalha e Pedro é professor.

    QUESTÃO 05

    A fórmula que representa corretamente a notação formal da proposição “ Há pessoas que passam para o TRE ou para o TRT, mas nunca para ambos” é :

  • Pág 10

    [email protected]

    babae

    babad

    babac

    babab

    abaa

    )

    )

    )

    )

    )

    QUESTÃO 06

    A seguir, são apresentadas proposições relativas a um cliente de uma instituição financeira. Se Carlos fizer um empréstimo na instituição financeira, então ele não viajará. Se Carlos não viajar, então ele comprará um carro novo. Se Carlos comprar uma moto ou usar o cartão de crédito, então ele não comprará um carro novo. Se Carlos viajar, então ele usará o cartão de crédito. Considerando que essas proposições sejam verdadeiras, julgue os seguintes itens.

    I - A proposição “se Carlos viajar, então ele não fará um empréstimo na instituição financeira” é verdadeira.

    II - A proposição “se Carlos comprar um carro novo, então ele não comprará uma moto nem usará o cartão de crédito” é falsa..

    III - A proposição “se Carlos não usar o cartão de crédito, então ele comprará um carro novo” é verdadeira.

    IV - A proposição “se Carlos fizer um empréstimo no banco, então ele comprará uma moto” é verdadeira..