Teoria dos conjuntos
TÓPICOS DE TEORIA DOS CONJUNTOS E LÓGICA PROPOSICIONAL
IGUALDADE
A = A REFLEXIVA
Se A = B e B = A SIMÉTRICA
Se A = B e B = C então A = C TRANSITIVA
INCLUSÃO e REFLEXIVA e SIMÉTRICA e SIMÉTRICA e TRANSITIVA e TRANSITIVA
UNIÃO COMUTATIVA ASSOCIATIVA IDEMPOTÊNCIA e IDENTIDADE
Se então
Se então
INTERSECÇÃO
COMUTATIVA ASSOCIATIVA IDEMPOTÊNCIA e IDENTIDADE
Se então
Se então
DIFERENÇA COMPLEMENTAR se
DISTRIBUTIVIDADE
INVOLUÇÃO
OUTRAS MORGAN
DUALIDADE DEFINIÇÕES
USO DE CONECTIVOS NA LÓGICA PROPOSICIONAL
A diz a B:
- Amanhã irei à Fatec e ao teatro
Possibilidades:
A vai à Fatec e ao teatro
A vai à Fatec e não vai ao teatro
A não vai à Fatec mas vai ao teatro
A não vai à Fatec nem ao teatro
Em qual das possibilidades a afirmação de A foi plenamente cumprida?
A diz a B:
- Amanhã irei à Fatec ou ao teatro
Possibilidades:
A vai à Fatec e ao teatro
A vai à Fatec mas não vai ao teatro
A não vai à Fatec mas vai ao teatro
A não vai à Fatec nem ao teatro
Em qual possibilidade a afirmação de A foi descumprida?
A diz a B:
Se fizer Sol amanhã, então passarei em sua casa’
Possibilidades:
Fez Sol e A passou na casa de B
Fez Sol e A não passou na casa de B
Não fez Sol e A passou na casa de B
Não fez Sol e A não passou na casa de B.
Em qual das possibilidades a afirmação de A foi descumprida?
A diz a B:
Irei à sua casa amanhã se e somente se fizer Sol Possibilidades:
Fez Sol e A passou na casa de B
Fez Sol e A não