Lógica para Computação - Parte V
Continuando os artigos anteriores, estaremos entrando na parte de Quantificadores.
[ Hits: 12.387 ]
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
Lógica para computação - parte II
Lógica para computação - parte IV
Computação em nuvem, uma visão panorâmica
Hierarquia do Sistema de Arquivos GNU/Linux
Instalação do Zabbix 1.6 no CentOS 5
Gerenciando arquivos com o Shell
Bash - O interpretador de comandos
Guia (nem tanto) Introdutório do Linux II
IA local no bolso, novo visual no Raspberry Pi OS e mais destaques do software livre
Kernel turbinado, compatibilidade em alta e debate sobre sustentabilidade: o dia no mundo Linux
Kernel turbinado e GNOME 49 dominam o giro do dia no mundo Linux
Novidades Linux: Kernel 6.17, distros em ebulição e segurança em foco
Kernel ganha novos linters Rust e distros avançam com recursos de IA
Adicionando o repositório backports no Debian 13 Trixie
Como definir um IP estático no Linux Debian
Alguém que utilize o Warsaw do BB no Ubuntu 24.04 [RESOLVIDO] (7)
Orientação para instalar o Warsaw - módulo de proteção do Banco do Bra... (9)
Como vencer a procrastinação? (0)