Olá!
A proposição do seu aluno está correta!
O conectivo lógico “se então” tem a seguinte tabela-verdade:
P Q PàQ
0 0 1
0 1 1
1 0 0
1 1 1
Este conectivo é equivalente a “~P OU Q” (Verifique! As respectivas
tabelas-verdade são idênticas!).
“x pertence a {}” é FALSO, logo trata-se de um dos 2 primeiros itens da
tabela-verdade acima, logo “PàQ” é verdadeiro, qualquer que seja “Q” ("x" pode
ser verde, ou não!).
[EMAIL PROTECTED]> Date: Wed, 3 Sep 2008 14:00:02 -0300> From: [EMAIL
PROTECTED]> To: [email protected]> Subject: [obm-l] Teoria dos Conjuntos> >
Olá pessoal!!!> Tudo bem???> Um aluno me apresentou uma senteça que, segundo um
outro professor, é> verdadeira.> A sentença é:> > "x pertence { } -> x é
verde"> > Na minha opinião, esta sentença é falsa, porque "x pertence { }" é
falsa.> Segundo o meu aluno, o que o outro professor alegou é que "x pode ser>
qualquer coisa".> O que vocês acham???> Muito obrigado!!!> Abração para
todos!!!> Luiz.> >
=========================================================================>
Instruções para entrar na lista, sair da lista e usar a lista em>
http://www.mat.puc-rio.br/~obmlistas/obm-l.html>
=========================================================================
_________________________________________________________________
Cansado de espaço para só 50 fotos? Conheça o Spaces, o site de relacionamentos
com até 6,000 fotos!
http://www.amigosdomessenger.com.br
