A é contido em B, sendo B contido em C, A é contido em C. Explique.
Solução:
(A c B) ^ (B c C) => A c C <=> ((x e A -> x e B) ^ (x e B -> x e C)) -> (x e A -> x e C).
Seja x e A, como A c B, temos que x e B.
Mas, B c C, assim x e C, Logo, x e A -> x e C.
Logo então, A c B ^ B c C => A c C.
Sim, o coordenador do curso de Ciências da Computação me explicou para que serve a matemática discreta na minha vida...
De acordo com ele, ela serve para desenvolver e aprimorar meu raciocínio lógico, necessário para se exercer a função da minha profissão.
Já, em controvérsia, de acordo com as pessoas que convivem ao meu redor, está servindo para me deixar uma pessoa louca, com uma lábia sem sentido e com uma opinião de aspecto peculiarmente interessante sobre o mundo que me cerca.
Hm!
Me chamas de louco?!
Pois tu o és.
Todos são loucos.
Eu não.
Eu sou o único não-louco.
Eu sou o normal.
Porque normais são os loucos que acham loucos os normais. E vice-versa.
Eu sou alguma coisa entre o A e o B...
que está contido em...C...
"certo"
Você disse "se mata"? Eu escutei.
Não.
Mato a cachorra.
Cachorra é a senhora minha professora.
Ela tem cara de cachorra.
Por sinal, comprarei biscrok pra ela.
Ao invés de dar uma maçã, darei um biscrok.
Hmmm...
Ou talvez aqueles ossinhos de morder, sim, brancos, famosos "courinhos".
Porém biscrok é mais clássico.
Já estudou matemática discreta? E a matemática extrovertida? [Mas que divertido trocadilho]
Essa paráfrase não tem um final concreto.
Mas, o que é concreto na vida afinal?
In the cityyyyy... of bliiiinding liiiiights...
.ouvindo: U2 - MYSTERIOUS ways.
Nenhum comentário:
Postar um comentário