Please enable JavaScript.

Coggle requires JavaScript to display documents.

LÓGICA DA COMPUTAÇÃO, Teoria dos conjuntos - Coggle Diagram

- - - - Uma proposição só pode ter duas respostas possíveis, sendo VERDADEIRA ou FALSA
    - - Nenhuma proposição pode ser simultaneamente “verdadeira e falsa”
    - - E (Conjunção) AND
      - OU ( Disjunção ) OR
      - NAO ( Negação ) NOT
      - SE .. ENTAO ... ( Condicional ) <=
      - SE E SOMENTE SE ( Bicondicional ) =
      - Fórmulas
        
        PODE SER FORMADAS POR:
        
        Conectivos ( ⋀, ⋁, →, ↔, ¬ ) e parênteses
        
        Letras de proposições ( A,B,C )
        
        EX: ( A → B ) ⋀ ( B → A )
        
        EX: A )) ⋀⋀ → BC (inválida)
        
        EX: ( ( A ⋁ B ) ⋀ C ) → ( B ⋁ C' )
        
        2 elevado a n o ele e a quantidade de letras com esse calculo consigo saber as possibilidades da tabela verdade
- - - - Invertendo o conjunto
        
        R-1 = { 〈 b, a 〉 | 〈 a, b 〉 ∈ R } formula
- - - - Continente
  - - - R
        
        (1,N)
        
        B