Lógica para Computação - Parte V
Continuando os artigos anteriores, estaremos entrando na parte de Quantificadores.
[ Hits: 10.933 ]
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
MySQL, Apache2, PHP5, phpMyAdmin e o driver de conexão com o NetBeans no OpenSUSE 11.2
Lógica para computação - parte III
Introdução a Lógica para computação
Lógica para computação - parte II
Computação em nuvem, uma visão panorâmica
Introdução ao Linux: Instalação do Xubuntu
Rodando um aplicativo em modo Kiosk no Ubuntu Linux 20.04
Instalação do Gentoo em HD Externo para dual boot com Windows
Instalação do OCS Inventory (última versão, 2.9.2 - 2022) no Debian 11
VOIP - Interceptando tráfego de pacotes
Sistemas de proteção de acesso a dados do seu HD, será efetivo?
Arduino IDE não reconhece portas USB no Ubuntu 22.04
Passando parâmetros do cliente SSH para o GIT
Auto indentar linhas selecionadas no Vim
Som estourado ou falhando na Steam com Proton
Habilitando a compilação JIT (Just In Time) para o PHP8 no Ubuntu
Pente de memória funciona em um pc, mas não em outro. (5)
Formatar arquivo de texto (15)
Lembrete (Quero estabelecer contato com o Fabio) (0)