Scribd Logo
Fazer o upload

Bem-vindo(a) ao Scribd!

  • Logic

    Enviado por

    Kwai Hui
    11 visualizações19 páginas
    I must state that in NO way, shape or form am I intending to infringe rights of the copyright holder. Content used is strictly for research/reviewing purposes and to help educate. All under the Fair Use law or relevant law if applicable.

    Direitos autorais

    © © All Rights Reserved

    Formatos disponíveis

    PDF, TXT ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    Denunciar este documento
    I must state that in NO way, shape or form am I intending to infringe rights of the copyright holder. Content used is strictly for research/reviewing purposes and to help educate. All under the Fair Use law or relevant law if applicable.

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF, TXT ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    11 visualizações19 páginas

    Logic

    Enviado por

    Kwai Hui
    I must state that in NO way, shape or form am I intending to infringe rights of the copyright holder. Content used is strictly for research/reviewing purposes and to help educate. All under the Fair Use law or relevant law if applicable.

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF, TXT ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    de 19

    1

    UGED1111

    x!
    diu1 diu1 diu1diu1diu5diu1 diu1diu1
    diu1diu1 diu6diu1diu1diu3 diu2 diu1diu6 diu3
    diu6 diu3diu1diu2!

    x()


    10

    1!

    !
    !

    1!

    21!

    11!

    1
    !
    121

    pp!

    pp


    20

    1!

    !
    !

    1!

    22!

    121!

    1
    1!

    1!

    (truth value)

    (proposition) !

    (sentence)

    Logic!

    1. (logic/introduction to logic)!

    2. (symbolic logic)!

    3. (mathematical logic)

    1.

    (propositional logic)!

    p, pq, pq!

    (quantificational logic)!

    (predicate logic)!

    () ()!

    xFx, x(FxGx)


    a:

    a!
    a

    a!

    xx

    2. (symbolic logic)!

    3. (mathematical logic)!

    (meta-theory)!

    (axiomatic set theory)

    (non-classical logics)!

    (modal logic)!

    eg. !

    (many-valued logic)!

    (fuzzy logic)

    (syllogism)!
    AFG!

    eg. !

    EFG!

    eg. !

    IFG!

    OFG

    Você também pode gostar