[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[obm-l] Proposicoes
- To: obm-l@xxxxxxxxxxxxxx
- Subject: [obm-l] Proposicoes
- From: Klaus Ferraz <klausferraz@xxxxxxxxxxxx>
- Date: Wed, 8 Feb 2006 22:13:29 +0000 (GMT)
- DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com.br; h=Message-ID:Received:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=g7B8P/kO+w3uGlrr0uQ3t8wTtPtHvQH/sAdqLg7RdJpn66wCrv4NM9qYGNULeHiwaGz8eVE2Di8KqkQvYBakp2gef9E35IsjIXaCqFjLL3TPvYmVOXcL////Rxx1jeIJf0oECe/8mJfkL+ivLrzV5Nn3h+6n7aYohYwFeQp5/gs= ;
- Reply-To: obm-l@xxxxxxxxxxxxxx
- Sender: owner-obm-l@xxxxxxxxxxxxxx
Sejam A, B e C conjuntos quaisquer. Prove os teoremas abaixo.
a) Se A = B entao A uniao B = A inter B;
b)Se A contem B enao (A-B) uniao B = A;
c)Se A contido C e B contido C e A uniao B = C e A inter B = vazio entao B=C-A
Como provo isso usando somente implicações matematicas.
Yahoo! Acesso Grátis
Internet rápida e grátis. Instale o discador agora!