Escolar Documentos
Profissional Documentos
Cultura Documentos
Resumo Teórico 1, Mat A, 10ano PDF
Resumo Teórico 1, Mat A, 10ano PDF
Princpio de no contradio
Pgina 1 de 7
Propriedades da conjuno e disjuno.
Dadas as proposies p, q e r:
. propriedade comutativa:
. propriedade associativa : ( ) ( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
. idempotncia da conjuno:
. idempotncia da disjuno:
( ) ~ ( )
Propriedades da implicao.
Dadas as proposies p, q e r:
. Negao da implicao: ( )
Observao:
Pgina 2 de 7
Nota:
. a implicao recproca
. ~ ~ a implicao contrria
. ~ ~ a implicao contrarrecproca
3. Condies e conjuntos
. Uma expresso designatria uma expresso p(x) envolvendo uma varivel x tal
que, substituindo x por um objeto a, se obtm uma designao p(a).
Classificao de condies
Propriedades
Sejam c(x) uma condio qualquer, u(x) uma condio universal e i(x) uma condio
impossvel:
() () ()
() () ()
() () ()
() () ()
Pgina 3 de 7
Segundas Leis de De Morgan
[ , ()] ~ ()
[ ()] , ~ ()
[ , ()] : ~ ()
[ : ()] , ~ ()
Pgina 4 de 7
Conjuntos e condies
Conjunto-soluo A B AB BA A=B
, () () , (() () () ())
Exemplo:
Pgina 5 de 7
1. parte:
2. parte:
= ; =
= ; =
Exemplo:
Exemplo:
Pgina 6 de 7
Ou seja, , 1 2 1
Seja 1,
Se = 1 ento 2 = 1
FIM
Pgina 7 de 7