Fórum de Matemática | DÚVIDAS? Nós respondemos!
https://forumdematematica.org/

lógica formal do livro de iezzi
https://forumdematematica.org/viewtopic.php?f=70&t=14209
Página 1 de 1

Autor:  slopesricardo [ 12 jul 2019, 18:25 ]
Título da Pergunta:  lógica formal do livro de iezzi

Entrei essas duas imagens no livro de Iezzi. A afirmação é que uma é a negação da outra. Não entendo o que significa esses simbolos (para mim era "tal que"), mas esse cortado seria o que? E por qual motivo uma é a negação da outra?

Anexos:
Screenshot 2019-07-12 at 13.40.07.png
Screenshot 2019-07-12 at 13.40.07.png [ 5.49 KiB | Visualizado 4140 vezes ]
Screenshot 2019-07-12 at 13.40.54.png
Screenshot 2019-07-12 at 13.40.54.png [ 1.75 KiB | Visualizado 4140 vezes ]

Autor:  Rui Carpentier [ 13 jul 2019, 16:07 ]
Título da Pergunta:  Re: lógica formal do livro de iezzi

Em álgebra abstrata e teoria de números, n|m designa que o número n divide o número m. É provável que seja este o significado neste contexto.

Página 1 de 1 Os Horários são TMG [ DST ]
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/