Re: dúvida na terceira lista

[Vinicius Cifu Lopes <vclopes@linux.ime.usp.br>]

Oi,
  Basta escrever que {y1,...,yn} I= =I y1 & ... & yn e prosseguir com seu
raciocínio.
  Sempre que precisamos fazer uma mudança, se não é uma passagem óbvia (e
não é, porque havia uma explicação: a que você deu), devemos explicar o
que vamos fazer.
  Até amanhâ,
 Vinicius  <vclopes@linux.ime.usp.br>

On Sat, 25 Jan 2003, Elison Matioli wrote:

> Desculpe me pelos caracteres estranhos.
> Eu explico as duas fórmulas:
> 
> {y1,y2,...,yn} I= B equivale a: o conjunto {y1,y2,...,yn} tautologicamente
> implica em B.
> 
>  e
> 
>  y1^y2^...^yn => B equivale a:  a operação AND aplicada a todos os elementos
> do conjunto {y1,y2,...,yn} implica em B.
> 
> 
> Pela tabelas verdade, estas duas expressões são equivalentes.
> Porém, antes de substituir uma forma pela outra nos exercícios, decidi lhe
> perguntar se você aceita esta equivalência e a substituição de uma forma
> pela outra.
> 
>  Obrigado,
> Elison Matioli
> 
> 
> ----- Original Message -----
> From: "Vinicius Cifu Lopes" <vclopes@linux.ime.usp.br>
> To: "Elison Matioli" <elison.matioli@ig.com.br>
> Cc: <is-logica@ime.usp.br>
> Sent: Saturday, January 25, 2003 5:33 PM
> Subject: Re: dúvida na terceira lista
> 
> 
> Oi,
>   Estou com um pouco de dificuldade para ler as fórmulas que vocês
> escrevem nos e-mails: há muitos caracteres estranhos...
>   Elison, você pode mandar as fórmulas de um outro jeito ? E diga também a
> qual exercício você se refere.
>   Desculpem o incômodo,
>  Vinicius  <vclopes@linux.ime.usp.br>
> 
> On Thu, 23 Jan 2003, Elison Matioli wrote:
> 
> > Vinícius,
> > Pela tabela verdade das duas formas abaixo, verifica-se que elas são
> equivalentes:
> >
> >  {y1,y2,...,yn} I= B
> >
> > e
> >
> > y1^y2^...^yn => B
> >
> > Porém, antes de substituir uma forma pela outra nos exercícios, decidi lhe
> perguntar se você aceita esta equivalência e a substituição de uma forma
> pela outra.
> >
> > Obrigado,
> > Elison Matioli
> >
> 
> 
> 
> 
>