PUBLICIDADE

A Lógica Proposicional ou Lógica moderna

A lógica proposicional, também conhecida como lógica sentencial, é um ramo da lógica que se concentra no estudo e na análise de proposições, …

Compartilhar

PUBLICIDADE
PUBLICIDADE

Conceito da Lógica Proposicional

A lógica proposicional, também conhecida como lógica sentencial, é um ramo da lógica que se concentra no estudo e na análise de proposições, que são declarações que podem ser verdadeiras ou falsas.

Na lógica proposicional, as proposições são representadas por símbolos, e as relações lógicas entre essas proposições são analisadas por meio de conectivos lógicos, como “e”, “ou”, “se… então”, “se somente se”, entre outros.

PUBLICIDADE

Os principais elementos da lógica proposicional incluem:

  1. Proposições: Declarações que podem ser verdadeiras ou falsas.
  2. Conectivos lógicos: Partículas que representam operações lógicas entre proposições, como conjunção, disjunção, condicional, bicondicional e negação.
  3. Tabelas de verdade: Ferramenta utilizada para determinar os valores de verdade de uma proposição composta com base nos valores de verdade das proposições simples que a compõem.
  4. Leis da lógica proposicional: Princípios fundamentais que regem as relações lógicas entre proposições, como a lei da identidade, a lei da não contradição e a lei do terceiro excluído.

Em resumo, a lógica proposicional é uma ferramenta essencial para analisar a validade dos argumentos, identificar contradições e inferir novas informações a partir de proposições existentes. Ela desempenha um papel fundamental na filosofia, matemática, ciência da computação e em diversas áreas do conhecimento onde a precisão e a consistência são essenciais.

PUBLICIDADE

Lógica moderna ou lógica da inferência proposicional

Após explorarmos conceitos fundamentais da chamada lógica aristotélica, também conhecida como clássica, que é totalmente formal e demonstrativa, como a silogística, vamos agora nos dedicar ao estudo da lógica moderna. Esta vertente, além de ser formal, é sistematicamente simbólica.

Em outras palavras, a lógica moderna, ou seja, a lógica da inferência proposicional, utiliza uma linguagem simbólica para traduzir proposições e suas relações, evitando assim ambiguidades decorrentes do uso da linguagem natural.

PUBLICIDADE

Para aplicar a lógica proposicional, é necessário considerar os seguintes aspectos:

  • As variáveis, representadas pelas letras do nosso alfabeto, são utilizadas para expressar proposições simples ou atômicas. Essas variáveis, em número indefinido, podem representar qualquer enunciado, sendo também chamadas de letras minúsculas: p, q, r, s, t, p’, q’, r’, s’, etc.
  • Existem cinco conectivos ou operadores lógicos, como veremos a seguir: ¬ (negação), ∧ (conjunção), ∨ (disjunção), → (condicional), ↔ (bicondicional).
  • Os parênteses (curvos e retos) e as chaves: {, }, [, ], são utilizados como sinais de pontuação em proposições complexas, assim como a vírgula e os pontos. A ordem de utilização é a mesma que na aritmética elementar: primeiro os parênteses (com os mais para o interior), seguidos pelos parênteses retos e, por fim, as chaves. Eles indicam quando uma proposição simples termina e quando outra começa.
  • Os valores lógicos das proposições: Uma proposição p é considerada verdadeira ou falsa com base na veracidade de seu enunciado. Toda proposição pode assumir um único valor lógico, sendo verdadeira (V) ou falsa (F).

Confira estes artigos:

PUBLICIDADE

Deixe o seu comentário

O seu endereço de email não será publicado. Campos obrigatórios marcados com *

Pesquisar:

Secções

Aulas Recentes

  • All Post
  • Antropologia
  • Biologia
  • Contabilidade
  • Cultura Geral
  • Cursos
  • Empreendedorismo
  • Filosofia
  • Geografia
  • Geopolítica
  • História
  • Livros
  • Matemática
  • O que é?
  • Português
  • Química
    •   Back
    • Introdução à Filosofia
    • A pessoa Como Sujeito Moral
    • Teoria de Conhecimento
    • Lógica I
    • Lógica II
    • Filosofia Política
    • Filosofia Africana
    • Metafísica
    • Estética
    •   Back
    • Contabilidade de Custos
    • Introdução à Contabilidade
    •   Back
    • Urbanismo / Geografia Urbana
    • Curiosidades de Geografia
    •   Back
    • Curso: Exames de Matemática da 10ª Classe
    •   Back
    • Tecnicas de Expressão Oral e Escrita
    • Géneros textuais
    • Duvidas de Português
    • Textos de pesquisa de dados
    •   Back
    • Empresas
    • Empreendedorismo e Dignidade do Trabalho
    • Uso do Rendimento e do Tempo
    • Oportunidades de Projetos
    • Estudo de Mercados
    •   Back
    • Estatística
    •   Back
    • Geopolítica em África
    •   Back
    • Introdução a História
    • História africana
    •   Back
    • Livros da 11ª Classe
    • Livros da 12ª Classe
    • Livros da 10ª Classe
    • Livros da 9ª Classe
    • Livros da 8ª Classe
    • Livros da 7ª Classe
    •   Back
    • O que é a Ciência?
    • O que é a Contabilidade?
    • O que é Filosofia?
    • O que é Português?
    • O que é Biologia?
    • O que é a pessoa Como Sujeito Moral
    • O que é Teoria de Conhecimento
    • O Que É Alfabeto?
    • O que é Letra?
    • O que é Biologia Celular??
    •   Back
    • O que é a pessoa Como Sujeito Moral
    • O que é Teoria de Conhecimento
    •   Back
    • O Que É Alfabeto?
    • O que é Letra?
    •   Back
    • O que é Biologia Celular??
    •   Back
    • Sistemática
    •   Back
    • Tribos Africanas

Ajudamos-te com o seu trabalho

Mande - nos o seu trabalho/ sua atividade e nós resolveremos para ti...

PUBLICIDADE
Edit Template
PUBLICIDADE

Trabalho de casa difícil?

Solicite Apoio Académico na Resolução dos seus trabalhos académicos: Projetos, TPC, Trabalhos de campo/ pesquisa, Testes Online, Cálculos/ Matemática … 

Escola MozEstuda – Portal de Leituras e Aprendizagens

Siga-nos

Atualizações

Subscreva-se e fique dentro de todas atualizações

Subscreveu-se com sucesso Ops! Algo deu errado, por favor, tente novamente

© 2024 MozEstuda   Por: OSJ. Cumbe