Scribd Logo
Carregar

Bem-vindo(a) ao Scribd!

  • 18 visualizações

    Lógica Moderna

    Enviado por

    Tomás Mendonça

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF, TXT ou leia online no Scribd

    Lógica Moderna

    Enviado por

    Tomás Mendonça
    18 visualizações3 páginas

    Direitos autorais

    © © All Rights Reserved

    Formatos disponíveis

    PDF, TXT ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF, TXT ou leia online no Scribd
    Fazer download em pdf ou txt
    18 visualizações3 páginas

    Lógica Moderna

    Enviado por

    Tomás Mendonça

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF, TXT ou leia online no Scribd
    Fazer download em pdf ou txt
    Você está na página 1de 3

    LÓGICA MODERNA - os instrumentos do cálculo proposicional

    conectivas ou operadores verofuncionais

    As conectivas possibilitam que a partir de proposições simples se formem proposições


    compostas.

    Exemplo: há atos que são livres E somos responsáveis

    P e Q

    Juntámos 2 proposições simples com a partícula e, formando uma proposição composta.

    1.1 A CONJUNÇÃO - é quando se utiliza a partícula e para conectar proposições. o símbolo da


    conjunção é:

    P∧ Q

    Na lógica moderna os operadores são analisados numa tabela de verdade.

    Regra da conjunção - só é verdadeira se as proposições que a compõem forem ambas


    verdadeiras.

    Completa a tabela seguindo a regra:

    P Q P∧Q
    V V
    V F
    F V
    F F

    1.2 DISJUNÇÃO INCLUSIVA - é quando conectas 2 proposições simples com a partícula OU

    SÍMBOLO _________

    Exemplo: temos direitos OU temos deveres

    P ou Q p 𝛬̅ Q

    Regra da disjunção - só é falsa se as proposições que a compõem forem ambas falsas

    Completa a tabela seguindo a regra:

    P Q P 𝛬̅ Q
    V V
    V F
    F V
    F F
    1.3 DISJUNÇÃO EXCLUSIVA Símbolo V
    É referente às proposições constituídas por – Ou……ou

    Exemplo: ou é um ato intencional ou resulta de coerção


    regra da disjunção exclusiva: é falsa se as 2 proposições que a compõem tiverem o mesmo valor
    de verdade ou de falsidade.

    Completa a tabela seguindo a regra:

    P Q PVQ
    V V
    V F
    F V
    F F

    1.4 CONDICIONAL OU IMPLICAÇÃO símbolo →


    É referente às proposições constituídas por Se……então
    Exemple. Se falar é um ato voluntário, então é consciente

    P → Q

    regra da condicional ou implicação: só é falsa se a antecedente for verdadeira e a consequente


    for falsa

    Completa a tabela seguindo a regra:

    P Q P→Q
    V V
    V F
    F V
    F F

    1.5- BICONDICIONAL OU EQUIVALÊNCIA símbolo ↔


    se e somente se

    Exemplo: é um ato voluntário se e somente se o agente escolhe fazê-lo


    P ↔ Q

    regra da bicondicional ou equivalência: é verdadeira quando as proposições que a compõem


    assumem em simultâneo o mesmo valor de verdade ou de falsidade.

    Completa a tabela seguindo a regra:

    P Q P ↔Q
    V V
    V F
    F V
    F F

    1.6 NEGAÇÃO é uma função unária, isto é, refere-se a UMA proposição simples

    Símbolo ¬
    regra: é verdadeira se a proposição original for falsa. é falsa se a proposição original for
    verdadeira. a dupla negação é igual a proposição originária.

    Completa a tabela seguindo a regra:

    P ¬P ¬ ¬P
    V
    F

    Você também pode gostar