23
17/10/2013 1 Raciocínio Lógico Sentenças Sentenças Abertas Abertas. Quantificadores Quantificadores. Negação Negação de de Raciocínio Lógico Proposições Proposições Quantificadas Quantificadas. Argumentos Argumentos. Diagramas Diagramas de de Conjuntos Conjuntos 1. Conceito de Sentença Aberta Orações que contêm variáveis e cujo valor lógico (verdadeiro ou falso) vai depender do valor atribuído às variáveis são chamadas de sentenças abertas . Veja os exemplos: a) x + 1 = 12 (sentença aberta com uma variável: x). b) x³ - 3x² = -2xy (sentença aberta com duas variáveis: x e y). c) a² -3a > 0 (sentença aberta com uma variável: a). Raciocínio Lógico Observe, nos exemplos anteriores, que o valor lógico (verdadeiro ou falso) das expressões depende do valor atribuído às variáveis. No exemplo a, se fizermos x=1, teremos 11 + 1 = 12, o que é logicamente verdadeiro; porém, se substituirmos a incógnita x por qualquer outro número diferente de 1, a expressão x +1= 12 será logicamente falsa; por exemplo, para x=2, teremos: 2+1=12, o que é logicamente falso. Então, sentença aberta não pode ser considerada uma proposição , pois seu valor lógico (verdadeiro ou falso) é discutível ou pois seu valor lógico (verdadeiro ou falso) é discutível, ou seja, depende do valor atribuído às variáveis. Mas podemos transformar uma sentença aberta em proposição utilizando os chamados quantificadores , que apresentamos a seguir. www.concursovirtual.com.br www.concursovirtual.com.br

1390837648 35191 Sentencas Abertas Quantificadores Negacao de Proposicoes

Embed Size (px)

Citation preview

  • 17/10/2013

    1

    Raciocnio Lgico

    SentenasSentenas AbertasAbertas.. QuantificadoresQuantificadores.. NegaoNegao dede

    Raciocnio Lgico

    QQ g g ProposiesProposies QuantificadasQuantificadas.. ArgumentosArgumentos.. DiagramasDiagramas dedeConjuntosConjuntos

    1. Conceito de Sentena AbertaOraes que contm variveis e cujo valor lgico (verdadeiro oufalso) vai depender do valor atribudo s variveis sochamadas de sentenas abertas.

    Veja os exemplos:a) x + 1 = 12 (sentena aberta com uma varivel: x).b) x - 3x = -2xy (sentena aberta com duas variveis: x e y).c) a -3a > 0 (sentena aberta com uma varivel: a).

    Raciocnio Lgico

    Observe, nos exemplos anteriores, que o valor lgico(verdadeiro ou falso) das expresses depende do valoratribudo s variveis. No exemplo a, se fizermosx = 1, teremos 11 + 1 = 12, o que logicamenteverdadeiro; porm, se substituirmos a incgnita x porqualquer outro nmero diferente de 1, a expresso x + 1 =12 ser logicamente falsa; por exemplo, para x = 2,teremos: 2+1=12, o que logicamente falso. Ento,sentena aberta no pode ser considerada uma proposio,pois seu valor lgico (verdadeiro ou falso) discutvel oupois seu valor lgico (verdadeiro ou falso) discutvel, ouseja, depende do valor atribudo s variveis.Mas podemos transformar uma sentena aberta emproposio utilizando os chamados quantificadores, queapresentamos a seguir.

    www.concursovirtual.com.br

    www.c

    oncurs

    ovirtua

    l.com.b

    r

  • 17/10/2013

    2

    Raciocnio Lgico

    2. Os Quantificadores Universal e ExistencialSo expresses utilizadas para transformar sentenasp p abertas em proposies logicamente falsas ou logicamenteverdadeiras.

    O Quantificador UniversalO quantificador universal, utilizado para transformarsentenas abertas em proposies, indicado pelo smbolo, que se l: qualquer que seja, para todo ou para, que se l: qualquer que seja , para todo ou paracada.

    Raciocnio Lgico

    Exemplos:

    a) ( x) (x+1 = 7), que se l: Qualquer que seja o nmero x (ou) ( ) ( ), q Q q q j (para todo nmero x), temos que x+1 = 7. Veja que temos aquiuma proposio logicamente falsa, pois o nico nmero quesatisfaz a igualdade o 6, e no qualquer nmero.

    b) ( x) (x+1 > 0), que se l: Qualquer que seja o nmero x(ou para todo nmero x), temos que x+1 > 0 . A proposio logicamente verdadeira, pois um nmero qualquer ao quadrado,somado ao nmero 1 sempre maior que zerosomado ao nmero 1, sempre maior que zero.Note, nos exemplos anteriores, que a presena do quantificadoruniversal transformou as sentenas abertas em proposies, jque foi possvel atribuirmos os valores lgicos verdadeiro oufalso.

    www.concursovirtual.com.br

    www.c

    oncurs

    ovirtua

    l.com.b

    r

  • 17/10/2013

    3

    Raciocnio Lgico

    O Quantificador ExistencialO quantificador existencial, utilizado para transformarsentenas abertas em proposies, verdadeiras ou falsas, p p indicado pelo smbolo , que se l: existe, existe um ouexiste pelo menos um.Veja os exemplos:a) ( x) (x + 3 = 5), que se l: Existe um nmero x (ou existepelo menos um nmero x), tal que x + 3 = 5. A proposio logicamente verdadeira, pois existe o nmero 2 que satisfaz asentena.b) ( x) (x < 0), que se l: Existe um nmero x, tal que x