Lógica para Computação - Parte V
Continuando os artigos anteriores, estaremos entrando na parte de Quantificadores.
[ Hits: 12.463 ]
Por: Ariel Galante Dalla Costa em 01/03/2012 | Blog: http://arielgdc.wordpress.com
vp={x/x Є A ^ p(x)}
(Цx Є A)p(x) <=> (p(a1)^p(a2)^p(a3)^p(an))
(Цx Є A) <=> (5 é primo e 7 é primo e 11 é primo e 19 é primo).
(Цx Є N)(2x>x) => É quantificador universal
(Цy Є N)(2y>=y) => É quantificador universal
(Цx Є N)(2x² +x = 3) => Não é quantificador universal
(Цx Є N)(x+4<3) => É quantificador
vp={x/x Є A ^ p(x)}
(Эx Є A)p(x) <=> (p(a1) v p(a2) v p(a3) v p(an))
(Эx Є A)(x+4) => É quantificador existencial
(Эx Є A)(x+4>8) => É quantificador existencial
(Эn Є A)(n+5<3) => Não é quantificador existencial
Introdução a Lógica para computação
Lógica para computação - parte III
Lógica para computação - parte II
OpenSSH - Debian Lenny - CentOS 5.5 - Slackware 13.1
LMDE Xfce - Instalação, configuração e extras
Atualizando versões do openSUSE pela internet
A Evolução do Linux e suas Distribuições
Como extrair chaves TOTP 2FA a partir de QRCODE (Google Authenticator)
Linux em 2025: Segurança prática para o usuário
Desktop Linux em alta: novos apps, distros e privacidade marcam o sábado
IA chega ao desktop e impulsiona produtividade no mundo Linux
Novos apps de produtividade, avanços em IA e distros em ebulição agitam o universo Linux
Como instalar o repositório do DBeaver no Ubuntu
Como instalar o Plex Media Server no Ubuntu
Digitando underscore com "shift" + "barra de espaços"
Como ativar a lixeira e recuperar aquivos deletados em um servidor Linux
Como mudar o nome de dispositivos Bluetooth via linha de comando
Programa fora de escala na tela do pc (19)
Fedora KDE plasma 42 X Módulo de segurança BB (Warsaw-2) (1)
O programa assinador digital (1)









