Please enable JavaScript.

Coggle requires JavaScript to display documents.

Aula 01 - RL Processo lógico (Proposição lógica (Equivalência de…

- - - - Operador "E" - ^
        SÓ É VERDADEIRO SE AS DUAS PROPOSIÇÕES FOREM VERDADEIRAS. (tem propriedade cumutativa)
      - Operador "OU"
        SÓ É FALSO SE AS DUAS PROPOSIÇÕES FOREM FALSAS. (tem propriedade cumutativa)
      - Operador "SE...ENTÃO" -->
        SÓ É FALSO SE A PRIMEIRO FOR VERDADEIRO E A SEGUNDA FOR FALSA.(Vera Fisher é Falsa)
        OBS: proposição condicional
      - Operador "Se e somente se" <-->
        SÓ É VERDADEIRO SE AS DUAS PROPOSIÇÕES FOREM IGUAIS (V e V ou F e F)
        Obs: bicondicional
      - Operador "ou...ou"
        SÓ É VERDADEIRO SE APENAS UMA DELAS FOR VERDADEIRA ( V e F OU F e V)
        Obs: Oposta ao bicondicional
  - - - Aplicação do "Não" ou negando parte do todo (analisar o mpinimo necessário para negar)
        ;
        ex: Negar "Nehnum deputado é sensato".
        ;
        "Há, pelo menos, um deputado sensato."
    - - Condicional: Se...Então
        Regra do MANÉ:
        MAntém a primeira "E" NEga a segunda
      - Conjunção: p ^ q
        ; Nega as duas e muda para disjunção: ~p v ~q
      - Disjunção: p v q
        ; Nega as duas e muda para conjunção: ~p ^ ~q
      - Disjunção exclusiva: ou...ou
        Muda para bicondicional : mantem a primeira...se e somente se... mantem a segunda.
        
        ex: OU CHOVE HOJE OU VOU À PRAIA
        ;
        CHOVE HOJE SE E SOMENTE SE VOU À PRAIA
        ;
      - Bicondicional: se e somente se...
        Muda para disjunção exclusiva ou pode manter a primeira se e somente se... nega a segunda
        ;
        EX: CHOVE HOJE SE E SOMENTE SE VOU À PRAIA
        CHOVE HOJE SE E SOMENTE SE NÃO VOU À PRAIA