Lógica para Computação - Parte V
Continuando os artigos anteriores, estaremos entrando na parte de Quantificadores.
[ Hits: 11.613 ]
Por: Ariel Galante Dalla Costa em 01/03/2012 | Blog: http://arielgdc.wordpress.com
(Э!x Є A)p(x)
(Э!x Є N)(x²-9=0) => É quantificador existencial de unicidade, vp={3}
(Э!x Є R)(|x|=0) => É quantificador existencial de unicidade, vp={0}
(Э!x Є Z)(x²-9=0) => Não é quantificador existencial de unicidade, vp={-3, 3}
((Эx Є A)^(Цy Є A))(x²<y+1) => Falso. Deve existir um quantificador universal para 'y' e um existencial para 'A' na expressão 'x²<y+1. vp={ø}'
(Эy ^ Цx Є A)(x²+y²<12) => Verdadeiro. Todo o conjunto universo de 'x' deve ter um quantificador existencial em 'x'.
(Цx ^ Цy Є A)(x²<2y<10) => Falso. Deve existir um quantificador universal para 'y' em todo quantificador universal para 'x'.
Lógica para computação - parte II
Introdução a Lógica para computação
Computação em nuvem, uma visão panorâmica
Arch Linux: Uma distribuição otimizada para i686
Transformando seu Windows em um quase Linux
História do GNU/Linux: 1965 assim tudo começou!
Monitorando a saúde do Apache (Prometheus + Grafana)
Atenção a quem posta conteúdo de dicas, scripts e tal (2)
Aprenda a criar músicas com Inteligência Artificial usando Suno AI
Entendendo o que é URI, URL, URN e conhecendo as diferenças entre POST e GET
Ativando o Modo Noturno via Linha de Comando no GNOME/Wayland
Manutenção de sistemas Linux Debian e derivados com apt-get, apt, aptitude e dpkg
Como criar um robot em NTSL (Nelogica Trading System Language) para Profitchart
Use o Google PageSpeed Insights para verificar um site
filtrar só as pastas onde tem arquivo (5)
Sistema da Coréia do Norte - Red Star OS (29)
Como adicionar módulo de saúde da bateria dos notebooks Acer ao kernel... (31)
Instalacao Manjaro em notebook com placa de video hibrida [RESOLVIDO] (2)