Caros colegas,
Consideremos as proposições p e q abaixo.
p: 2 é ímpar.
q: 2 + 2 é ímpar.
Então a condicional p --q é verdadeira, pois p é falsa.
Minha dúvida:
Seria correto afirmar que p = q ? Ou seja, é correto afirmar que p implica
logicamente q?
(Parece-me que não, pois se admitirmos
Oi, Pedro.
Do jeito que eu estou acostumado a escrever, nao ha diferenca entre -- e
=. Para mim, ambas sao a mesma coisa, ambas significam que p implica q,
e ambas estao corretas. Sim, p:2 eh impar implica logicamente que q:2+2
eh impar (e implica tambem que eu sou o Papa, como voce mesmo
Não, não está errado. É supérfluo, mas não errôneo.
Em 21 de abril de 2014 10:33, Pedro Chaves brped...@hotmail.com escreveu:
Caros colegas da Lista,
Constitui erro escrever x = 1 é verdadeiro = x + 1 = 2 é verdadeiro?
Penso que, pelo significado de implicação lógica, bastaria escrever:
Na minha interpretação ambas as frases têm o mesmo significado...
Agora, vale notar: assim, sem contexto, nenhuma delas afirma que x=1 é
verdadeiro.
Abraço,
Ralph
2014-04-23 16:06 GMT-03:00 terence thirteen peterdirich...@gmail.com:
Não, não está errado. É supérfluo, mas não
Sent: Wednesday, April 23, 2014 6:11 PM
Subject: [obm-l] Re: [obm-l] Re: [obm-l] Implicação lógica (linguagem)
Na minha interpretação ambas as frases têm o mesmo significado...
Agora, vale notar: assim, sem contexto, nenhuma delas afirma que x=1 é
verdadeiro.
Abraço,
Ralph
Caros colegas da Lista,
Constitui erro escrever x = 1 é verdadeiro = x + 1 = 2 é verdadeiro?
Penso que, pelo significado de implicação lógica, bastaria escrever:
x = 1 = x + 1 = 2 .
Abraços do Pedro Chaves!
___
Lendo em um livro
x 3 == x - 3 0
vejo o comentário que o símbolo de implicação lógica é incorretamente
utilizado como 'então'.
Como posso obter uma boa referência para utilizações adequadas desses
símbplos?
O que seria usado, no lugar?
Obrigada.
--
M. Ângela
] nome de
Maria Angela de Camargo
Enviada em: quarta-feira, 13 de dezembro de 2006 08:01
Para: obm-l@mat.puc-rio.br
Assunto: [obm-l] Implicação lógica
Lendo em um livro
x 3 == x - 3 0
vejo o comentário que o símbolo de implicação lógica é incorretamente
utilizado como 'então'.
Como posso obter
foi o que imaginei, Arthur. Acontece que isso estava num livro do IMPA, uma
análise de textos de matemática para o ensino médio.
Boiei total.
--
M. Ângela
conferir...
Abraços,
João Luís.
- Original Message -
From: Maria Angela de Camargo
To: obm-l@mat.puc-rio.br
Sent: Wednesday, December 13, 2006 8:49 PM
Subject: Re: [obm-l] RES: [obm-l] Implicação lógica
foi o que imaginei, Arthur. Acontece que isso estava num livro do IMPA
Olá João Luis, vou colocar o texto aqui:
na página 274 do Exame de textos, está escrito assim:
Na pág 157, o símbolo == de implicação lógica é incorretamente utilizado
como se significasse 'então
Fui até a tal pág 157, onde está
como X Î R ÞX² ³ 0 e, pela definição ...
Pode ser isso mesmo
texto em particular não está à mão pra mim agora, para que eu
possa conferir...
Abraços,
João Luís.
- Original Message -
*From:* Maria Angela de Camargo [EMAIL PROTECTED]
*To:* obm-l@mat.puc-rio.br
*Sent:* Wednesday, December 13, 2006 8:49 PM
*Subject:* Re: [obm-l] RES: [obm-l] Implicação
12 matches
Mail list logo