Re: [obm-l] Lógica de Proposições

["Daniel S. Braz" <dsbraz@xxxxxxxxx>]

(~R) é fórmula..as demais não...eu acho...


On Thu, 23 Dec 2004 02:30:42 EST, Faelccmm@aol.com <Faelccmm@aol.com> wrote:
> Olá pessoal !
> 
> Para os que entendem de Lógica Proposicional:
> 
> Quais das expressões seguintes são fórmulas (wff's) e quais não são:
> 
> a) ~~~R
> b) (~R)
> c) PQ
> d) ~(P --> Q)
> e) ~(~P ^ ~Q)
> 
> 
> []s, 
> Rafael 
> 
> "Nada é permanente, exceto a mudança" (Heráclito) 
> 
> ICQ 192039325 


-- 
"Uma das coisas notáveis acerca do comportamento do Universo é que ele
parece fundamentar-se na Matemática num grau totalmente
extraordinário. Quanto mais profundamente entramos nas leis da
Natureza, mais parece que o mundo físico quase se evapora e ficamos
com a Matemática. Quanto mais profundamente entendemos a Natureza,
mais somos conduzidos para dentro desse mundo da Matemática e de
conceitos matemáticos." (Roger Penrose)

=========================================================================
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
=========================================================================