Home > Terms > Portuguese, Brazilian (PB) > lógica proposicional
lógica proposicional
Também chamada de lógica de sentença e o cálculo sentenciais. Uma lógica de tal preocupações proposições elementares - p, q, r, s, etc. ..--que a única suposição é que devem ser individualmente ou truefalse respeitando e operadores que formam proposições complexas quando se juntou com apropriado número de proposições elementares. Os operadores incluem conjunto (&), portanto 'p e q'; disjunção (v), daí 'p ou q'; negação (-), daí '-p'; condicional (-->), daí ' se p Então q'; e equivalência (=), portanto 'p é equivalente a q'. Essa lógica é concernida com determinar quais proposições complexas são verdades lógicas ou tautologias; isto efetivamente determina o que são argumentos válidos, porque tal pode sempre ser tratado como proposições complexas, em que as premissas do argumento aparecem como o antecedente e a conclusão como consequência. Essa lógica, ao contrário, para o primeiro, ou superior, ordem lógica de predicados é completa e decidível.
- Part of Speech: noun
- Synonym(s):
- Blossary:
- Industry/Domain: Philosophy
- Category: General philosophy
- Company:
- Product:
- Acronym-Abbreviation:
Other Languages:
Member comments
Terms in the News
Billy Morgan
Sports; Snowboarding
Snowboarder britânico Billy Morgan aterrou o primeiro alguma vez 1800 cortiça quádruplo do esporte. o piloto, que representou a Grã-Bretanha nos Jogos Olímpicos de inverno em Sochi 2014, foi em Livigno, Itália, quando ele alcançou a manobra. Envolve lançando quatro vezes, enquanto o corpo gira também cinco rotações completas sobre um eixo lateralmente ou virado ...
Marzieh Afkham
Broadcasting & receiving; News
Marzieh Afkham, a primeira porta-voz do Ministério das Relações Internacionais do país, vai liderar uma missão no leste da Ásia, informou a agência de notícias do Estado. Não está claro para qual país ela será enviada, uma vez que sua nomeação ainda não foi anunciada oficialmente. Afkham será a segunda embaixadora que o Irã já teve. Sob o domínio do último ...
Pacote semanal
Language; Online services; Slang; Internet
Semanal pacote ou "Paquete Semanal" como é conhecido em Cuba é um termo usado pelos cubanos para descrever as informações coletadas de internet fora de Cuba e salvos em unidades de disco rígido para ser transportado na própria Cuba. Pacotes semanais são depois vendidos para o cubano sem acesso à internet, permitindo-lhes obter informações poucos dias - e às vezes ...
Banco de investimento de infra-estrutura Asiático (AIIB)
Banking; Investment banking
O Banco Asiático de investimento infra-estrutura (AIIB) é uma instituição financeira internacional criada para atender à necessidade da Ásia para o desenvolvimento de infra-estrutura. De acordo com o Banco Asiático de desenvolvimento, Ásia precisa de US $ 800 bilhões anualmente para estradas, portos, usinas de energia ou outros projetos de infra-estrutura antes de ...
Espartano
Online services; Internet
Spartan é o nome de código dado para o novo navegador da Microsoft Windows 10 que irá substituir o Microsoft Windows Internet Explorer. o novo navegador será construído do chão e desconsiderar qualquer código da plataforma IE. Tem um novo motor de renderização que é construído para ser compatível com como a web é escrito hoje. o ...
Featured Terms
Parar de acto de pirataria on-line (SOPA)
Um projeto de lei americano atualmente em debate para inclusão na lei dos EUA, concebido para combater a pirataria on-line. o projeto de lei está ...
Contributor
Featured blossaries
Browers Terms By Category
- Plastic injection molding(392)
- Industrial manufacturing(279)
- Paper production(220)
- Fiberglass(171)
- Contract manufacturing(108)
- Glass(45)
Manufacturing(1257) Terms
- General Finance(7677)
- Funds(1299)
- Commodity exchange(874)
- Private equity(515)
- Accountancy(421)
- Real estate investment(192)
Financial services(11765) Terms
- Fuel cell(402)
- Capacitors(290)
- Motors(278)
- Generators(192)
- Circuit breakers(147)
- Power supplies(77)
Electrical equipment(1403) Terms
- Pesticides(2181)
- Organic fertilizers(10)
- Potassium fertilizers(8)
- Herbicides(5)
- Fungicides(1)
- Insecticides(1)