Académique Documents
Professionnel Documents
Culture Documents
~ ( p q) = (~ p ~ q)
2. A negao da disjuno de duas proposies logicamente equivalente
conjuno das negaes das duas proposies consideradas.
~ ( p q) = (~ p ~ q)
~ ( p q) = (~ p ~ q)
~ ( p q) = (~ p ~ q)
2. Pense agora como encontrar
~ ( p q)
Referncias Bibliogrficas
Ferreira J., (2001). Elementos de Lgica Matemtica e Teoria de
Conjuntos, Instituto Superior Tcnico - Lisboa.
Machado A., (2002). Introduo Lgica Matemtica, Fundao Calouste
Gulbenkian, Lisboa.
Neves M., Vieira M, Alves A., (1988). Livro de texto 10ano Matemtica,
Porto Editora Porto.