[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [obm-l] Progressálise_Combitmética + Duvidas sobre Logica Matematica



 > 
> 2) Simplificar a seguinte proposicao e indicar em
> cima de cada simbolo de
> equivalencia a propriedade logica utilizada.
> 
> ~((~P -> ~Q) OU ((Q E P) <-> ~P))
  ~((P OU ~Q) OU ( ( (Q E P)-> ~P ) E (~P->(Q E P) ) )

  ~((P OU ~Q) OU ( ( ~(Q E P) OU ~P ) E ( P OU (Q E P)
) ) )  

~((P OU ~Q) OU  ( (  ~Q OU ~P OU ~P ) E ( P OU ( Q E
P)))

~((P OU ~Q) OU  ( ~Q OU ~P E ( P OU ( Q E P) ) ) ) 

~((P OU ~Q) OU  ( ~Q OU FALSO OU ~P E Q E P ) ) 
~((P OU ~Q) OU  ( ~Q E Q E FALSO ) )
~((P OU ~Q) OU  FALSO )

             ~( P OU ~Q )
       
             ~P E Q   
 
> 
> =====
> []s
> Ricardo Miranda
> ricardomirandabr@yahoo.com.br
> http://rm2.hpg.ig.com.br/
> 
>
_______________________________________________________________________
> Yahoo! Encontros
> O lugar certo para você encontrar aquela pessoa que
> falta na sua vida. Cadastre-se hoje mesmo!
> http://br.encontros.yahoo.com/
>
=========================================================================
> Instruções para entrar na lista, sair da lista e
> usar a lista em
> http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
> O administrador desta lista é
> <nicolau@mat.puc-rio.br>
>
========================================================================= 

_______________________________________________________________________
Yahoo! Encontros
O lugar certo para você encontrar aquela pessoa que falta na sua vida. Cadastre-se hoje mesmo!
http://br.encontros.yahoo.com/
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
O administrador desta lista é <nicolau@mat.puc-rio.br>
=========================================================================