Switch to full style
Responder

lógica formal do livro de iezzi

12 jul 2019, 18:25

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 4139 vezes
Screenshot 2019-07-12 at 13.40.54.png
Screenshot 2019-07-12 at 13.40.54.png (1.75 KiB) Visualizado 4139 vezes

Re: lógica formal do livro de iezzi

13 jul 2019, 16:07

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.
Responder