Scribd Logo
Carregar

Bem-vindo(a) ao Scribd!

  • 133 visualizações

    FORMALIZAÇAO MATEMATICA (Simoni)

    Enviado por

    api-3767762
    O documento discute formalização matemática e tabelas de verdade. Ele explica como letras sentenciais representam proposições e como tabelas de verdade são usadas para determinar se fórmulas proposicionais compostas são verdadeiras ou falsas com base nos valores de verdade das proposições simples que as compõem. Também define os princípios da lógica clássica e fornece exemplos de tabelas de verdade para negação, conjunção, disjunção, implicação e bi-implicação.

    Direitos autorais:

    Attribution Non-Commercial (BY-NC)
    Baixe no formato DOC, PDF, TXT ou leia online no Scribd

    FORMALIZAÇAO MATEMATICA (Simoni)

    Enviado por

    api-3767762
    133 visualizações3 páginas
    O documento discute formalização matemática e tabelas de verdade. Ele explica como letras sentenciais representam proposições e como tabelas de verdade são usadas para determinar se fórmulas proposicionais compostas são verdadeiras ou falsas com base nos valores de verdade das proposições simples que as compõem. Também define os princípios da lógica clássica e fornece exemplos de tabelas de verdade para negação, conjunção, disjunção, implicação e bi-implicação.

    Direitos autorais

    © Attribution Non-Commercial (BY-NC)

    Formatos disponíveis

    DOC, PDF, TXT ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    O documento discute formalização matemática e tabelas de verdade. Ele explica como letras sentenciais representam proposições e como tabelas de verdade são usadas para determinar se fórmulas proposicionais compostas são verdadeiras ou falsas com base nos valores de verdade das proposições simples que as compõem. Também define os princípios da lógica clássica e fornece exemplos de tabelas de verdade para negação, conjunção, disjunção, implicação e bi-implicação.

    Direitos autorais:

    Attribution Non-Commercial (BY-NC)
    Baixe no formato DOC, PDF, TXT ou leia online no Scribd
    Fazer download em doc, pdf ou txt
    133 visualizações3 páginas

    FORMALIZAÇAO MATEMATICA (Simoni)

    Enviado por

    api-3767762
    O documento discute formalização matemática e tabelas de verdade. Ele explica como letras sentenciais representam proposições e como tabelas de verdade são usadas para determinar se fórmulas proposicionais compostas são verdadeiras ou falsas com base nos valores de verdade das proposições simples que as compõem. Também define os princípios da lógica clássica e fornece exemplos de tabelas de verdade para negação, conjunção, disjunção, implicação e bi-implicação.

    Direitos autorais:

    Attribution Non-Commercial (BY-NC)
    Baixe no formato DOC, PDF, TXT ou leia online no Scribd
    Fazer download em doc, pdf ou txt
    de 3

    Nome: Simoni Franquini 3° Periodo

    FORMALIZAÇÃO MATEMÁTICA

    Tabelas verdades

    O processo de formalização converte uma sentença ou argumento em uma forma


    sentencial composta de letras sentenciais e operações lógicas. As letras sentenciais em si
    não tem significado, mas no contexto de um problema podem ser interpretadas como
    expressando proposições.

    Exemplo:
    Hoje é segunda-feira.
    Se interpretarmos a letra sentencial “s” para representar a frase acima, então:
    Hoje não é segunda-feira. “~s”

    “s”: Hoje é segunda-feira.


    “t”: Hoje é terça-feira.
    Hoje não é, ambas, segunda e terça-feira. ~(s & t) ou ~(s ^t)

    C: Está chovendo.
    N: Está nevando.
    Está chovendo ou nevando. (C v N)
    Está chovendo se e somente se não está nevando.

    As fórmulas proposicionais são constituídas de 3 conjuntos de símbolos:


    1 – Letras sentenciais: qualquer letra
    2 – Operadores lógicos: ~, &, v, ->, <->
    3 – Parênteses ( , )

    TABELA VERDADE

    A lógica clássica é governada por três princípios (entre outros) que podem ser
    formulados como segue:

    · Princípio da Identidade: Todo objeto é idêntico a si mesmo.

    · Princípio da Contradição: Dadas duas proposições contraditórias (uma é negação da


    outra), uma delas é falsa.

    · Princípio do Terceiro Excluído: Dadas duas proposições contraditórias, uma delas é


    verdadeira.

    Com base nesses princípios as proposições simples são ou verdadeiras ou falsas - sendo
    mutuamente exclusivos os dois casos; daí dizer que a lógica clássica é bivalente.
    Para determinar o valor (verdade ou falsidade) das proposições compostas
    (moleculares), conhecidos os valores das proposições simples (atômicas) que as
    compõem usaremos tabelas-verdade :

    1- Tabela verdade da NEGAÇÃO:


    ~P é verdadeira se, e somente se P é falsa.
    ~P é falsa se, e somente se P é verdadeira.

    P ~P
    V F
    F V

    2 -Tabela verdade da CONJUNÇÃO:


    a conjunção é verdadeira se, e somente se os conjunctos são verdadeiros.

    P Q P^Q
    V V V
    V F F
    F V F
    F F F

    3 - Tabela verdade da DISJUNÇÃO:


    a disjunção é falsa se, e somente se os disjunctos são falsos.

    P Q PvQ
    V V V
    V F V
    F V V
    F F F

    4 - Tabela verdade da IMPLICAÇÃO:


    a implicação é falsa se, e somente se o antecedente é verdadeiro e o conseqüente é
    faslso.

    P Q P->Q
    V V V
    V F F
    F V V
    F F V
    5 - Tabela verdade da BI-IMPLICAÇÃO:
    a bi-implicação é verdadeira se, e somente se seus componentes são ou ambos
    verdadeiros ou ambos falsos.

    P Q P<->Q
    V V V
    V F F
    F V F
    F F V

    NÚMERO DE LINHAS DE UMA TABELA-VERDADE: Cada proposição simples


    (atômica) tem dois valores V ou F, que se excluem. Para n atômicas distintas, há tantas
    possibilidades quantos são os arranjos com repetição de 2 (V e F) elementos n a n.
    Segue-se que o número de linhas da tabela verdade é 2n. Assim, para duas proposições
    são 22 = 4 linhas; para 3 proposições são 23 = 8; etc.

    Você também pode gostar

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy