Scribd Logo
Carregar

Bem-vindo(a) ao Scribd!

  • 134 visualizações

    Tabela de Símbolos Lógica Proposicional

    Enviado por

    Rodrigo Canal
    P, Q, R são letras proposicionais usadas para representar proposições. A tabela mostra símbolos lógicos comuns como negação (¬), conjunção (Ʌ), disjunção (V), condicional (→) e bicondicional (↔), juntamente com seus nomes e exemplos. O sinal ` indica uma conclusão derivada de premissas. Parêntesis podem ser usados para agrupar termos.

    Direitos autorais:

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

    Tabela de Símbolos Lógica Proposicional

    Enviado por

    Rodrigo Canal
    134 visualizações1 página
    P, Q, R são letras proposicionais usadas para representar proposições. A tabela mostra símbolos lógicos comuns como negação (¬), conjunção (Ʌ), disjunção (V), condicional (→) e bicondicional (↔), juntamente com seus nomes e exemplos. O sinal ` indica uma conclusão derivada de premissas. Parêntesis podem ser usados para agrupar termos.

    Descrição original:

    TABELA DE SÍMBOLOS LÓGICA PROPOSICIONAL

    Título original

    TABELA DE SÍMBOLOS LÓGICA PROPOSICIONAL

    Direitos autorais

    © © All Rights Reserved

    Formatos disponíveis

    PDF, TXT ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    P, Q, R são letras proposicionais usadas para representar proposições. A tabela mostra símbolos lógicos comuns como negação (¬), conjunção (Ʌ), disjunção (V), condicional (→) e bicondicional (↔), juntamente com seus nomes e exemplos. O sinal ` indica uma conclusão derivada de premissas. Parêntesis podem ser usados para agrupar termos.

    Direitos autorais:

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

    Tabela de Símbolos Lógica Proposicional

    Enviado por

    Rodrigo Canal
    P, Q, R são letras proposicionais usadas para representar proposições. A tabela mostra símbolos lógicos comuns como negação (¬), conjunção (Ʌ), disjunção (V), condicional (→) e bicondicional (↔), juntamente com seus nomes e exemplos. O sinal ` indica uma conclusão derivada de premissas. Parêntesis podem ser usados para agrupar termos.

    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 1

    ormulário – 12.º ano (cont.

    ) Anexo

    TABELA DE SÍMBOLOS LÓGICOS

    SÍMBOLO
    NOME EXEMPLO ALTERNATIVAS
    ADOTADO

    Letras proposicionais P, Q, R, . . . P A, B, C, . . .; p, q, r, . . .

    Negação ¬ ¬P ͠ P

    Conjunção Ʌ PɅ Q P&Q

    Disjunção V PV Q

    Condicional → P→Q P⇒Q

    Bicondicional ↔ P↔Q P ⇔ Q P→
    ←Q

    PɅ Q PɅ Q PɅ Q` P
    Sinal de conclusão ` ––––––
    `P P

    Parêntesis (...) (P Ʌ Q ) V P [...] {...}

    Prova 714 2/2

    Você também pode gostar