RACIOCINIO LOGICO ESTACIO

Prévia do material em texto

Itens iniciais
Propósito
A lógica tem aplicação direta em campos como ciência da computação, filosofia, matemática, direito e ciências sociais, capacitando os alunos a tomar decisões fundamentadas e identificar falácias. Ter uma compreensão sólida dos princípios lógicos e estruturas fundamentais para analisar, avaliar e construir argumentos de forma racional é de extrema importância para o desenvolvimento de habilidades de pensamento crítico.
Objetivos
· Identificar os princípios lógicos que regem o pensamento humano e investigar a importância do princípio da não contradição, bem como o princípio da identidade.
· Formular as principais estruturas lógicas e suas tabelas-verdade e conhecer as propriedades da conjunção, disjunção, condicional e bicondicional.
· Identificar as principais regras de equivalência lógica.
· Reconhecer as implicações lógicas entre proposições, incluindo implicações, equivalências, tautologias e contradições.
Introdução
A lógica permeia diversas áreas do conhecimento e está presente em nosso cotidiano de maneira mais profunda do que imaginamos. Vamos explorar os fundamentos dessa ciência, que nos permite analisar, avaliar e construir argumentos de forma racional.
Abordaremos os princípios lógicos que regem o pensamento humano, investigando a importância do princípio da não contradição (uma proposição não pode ser verdadeira e falsa ao mesmo tempo) e da identidade, que nos permitem desenvolver um pensamento mais claro e coerente.
Exploraremos as principais estruturas lógicas e suas tabelas-verdade. Conheceremos as propriedades da conjunção, disjunção, condicional e bicondicional; aprenderemos a construir tabelas-verdade e veremos como essas estruturas se relacionam entre si.
A equivalência lógica nos permite simplificar e transformar expressões lógicas sem alterar seu significado. Veremos suas principais regras, como a lei da dupla negação e a regra de Morgan, e aprenderemos a aplicá-las na simplificação de argumentos complexos.
Exploraremos ainda as relações entre proposições, incluindo implicações, equivalências e contradições. Veremos quando uma proposição implica em outra, quando duas proposições são equivalentes, bem como detectar tautologias e contradições lógicas.
Utilizaremos exemplos de linguagem lógica simbólica e nossa linguagem corrente. Você verá que a lógica pode ser uma ferramenta poderosa para analisar e resolver problemas complexos, além de desenvolver habilidades de pensamento crítico, valiosas em sua carreira profissional.
A lógica está presente em todos os aspectos da vida. Aqui você será capaz de compreender seus princípios básicos e introdutórios à linguagem e aplicá-la de maneira eficaz.
A lógica permeia diversas áreas do conhecimento, desde a filosofia e a matemática até a ciência da computação e a linguística. Ela nos permite analisar argumentos de forma sistemática, identificar falhas de raciocínio e construir pensamentos coerentes. Ao dominar seus conceitos básicos, desenvolvemos habilidades essenciais, como o pensamento crítico, a capacidade de avaliar informações e resolver problemas.
O pensamento lógico também ajuda a analisar e compreender estruturas e relações entre as proposições. Por meio dos conectivos e estruturas lógicas (como a negação, a conjunção, a disjunção, a disjunção exclusiva, a condicional e a bicondicional), podemos combinar proposições simples e criar proposições compostas.
A lógica é a ciência da razão e do raciocínio válido.
A lógica nos possibilita distinguir entre argumentos válidos, ou seja, aqueles cujas conclusões são logicamente inferidas a partir de suas premissas, e argumentos inválidos, que contêm falhas lógicas. Ao compreender as leis do pensamento e os princípios lógicos, somos capazes de avaliar a validade de um argumento e identificar possíveis erros de raciocínio.
Dica
A construção e interpretação de tabelas-verdade nos permite determinar os valores lógicos dessas proposições compostas em diferentes cenários. Isso é particularmente importante em áreas como a matemática e a ciência da computação, em que a lógica é usada para estabelecer as bases do raciocínio dedutivo e da programação.
Além de sua aplicação direta em várias disciplinas, a lógica também promove o pensamento crítico e a argumentação, auxiliando na tomada de decisão; ensina a formular perguntas claras, a examinar evidências de forma imparcial e avaliar argumentos com base em critérios objetivos. A habilidade de pensar logicamente nos capacita a tomar decisões e a evitar falácias e vieses cognitivos que podem levar a conclusões equivocadas.
Na filosofia, a lógica desempenha papel fundamental na análise e avaliação dos argumentos, permitindo identificar os válidos e inválidos, examinando a estrutura lógica subjacente. Além disso, a lógica nos ajuda a evitar falácias comuns e construir argumentos mais sólidos e convincentes.
Veja a seguir como a lógica se aplica nestes aspectos.
Filosofia
Desempenha papel fundamental na análise e avaliação dos argumentos, permitindo identificar os válidos e inválidos, examinando a estrutura lógica subjacente. Além disso, a lógica nos ajuda a evitar falácias comuns, e construir argumentos mais sólidos e convincentes.
Matemática
É essencial para o raciocínio dedutivo e a demonstração de teoremas. Os conceitos de verdade e falsidade são cruciais para a construção de provas lógicas e a resolução de problemas matemáticos. Por meio da lógica, estabelecemos uma base sólida para a compreensão das estruturas e relações matemáticas.
Ciência da computação
É amplamente utilizada na programação e no design de algoritmos. Os conectivos lógicos (como a negação, conjunção, disjunção, condicional e bicondicional) permitem a construção de expressões lógicas complexas. Por meio das tabelas-verdade, podemos determinar os valores lógicos dessas expressões e garantir o correto funcionamento dos programas.
Linguística
Aplicada no estudo da semântica e da análise de argumentos linguísticos, ajudando a identificar ambiguidades e contradições na linguagem, permitindo uma análise mais precisa da estrutura e do significado das sentenças.
O estudo dos conceitos básicos da lógica (como proposições lógicas, princípio da não contradição, princípio do terceiro-excluído, sentenças abertas, verdade e falsidade) é fundamental para o desenvolvimento do pensamento crítico e racional.
Resumindo
Os conceitos básicos da lógica são a base para a construção de argumentos sólidos, resolução de problemas complexos e tomada de decisões. Ao dominar esses fundamentos, estamos preparados para explorar os aspectos mais avançados da lógica e suas aplicações em diferentes áreas do conhecimento.
A lógica é essencial para a compreensão do raciocínio e da estrutura dos argumentos. Para adentrar nesse campo, é fundamental familiarizar-se com alguns conceitos básicos que servem como alicerce para a lógica e suas aplicações.
Proposição lógica
Frase declarativa que pode ser classificada como verdadeira ou falsa. É importante ressaltar que nem todas as frases se enquadram nessa categoria.
Atenção, essas sentenças não são consideradas proposições lógicas! Veja!
Frases exclamativas
Frases como "Que dia maravilhoso!" não podem ser consideradas proposições lógicas, pois não têm valor lógico definitivo.
Frases imperativas
Frases como "Feche a porta!" não são proposições lógicas, pois não expressam uma afirmação que pode ser verdadeira ou falsa.
Frases interrogativas
Frases como "Você vai viajar?" não são proposições lógicas, pois expressam uma pergunta e não uma afirmação com valor lógico determinado.
Uma proposição lógica é uma frase declarativa, uma afirmação que pode ser categorizada como verdadeira ou falsa. Deve ser formulada de maneira clara e inequívoca, permitindo a determinação de seu valor lógico.
Exemplo
"O sol nasce no leste" é uma proposição lógica verdadeira. "Os pássaros cantam todas as manhãs" é uma proposição lógica falsa.
Notação
Para reforçar a representação das proposições lógicas verdadeiras e falsas, podemos utilizar as letras V (verdadeiro) e F (falso)para atribuir valores de verdade a elas. Essa convenção permite uma representação clara e padronizada dos valores lógicos das proposições.
Ao analisar uma proposição, podemos atribuir o valor V quando ela é verdadeira e o valor F quando é falsa, facilitando a compreensão e a avaliação das afirmações lógicas. Essa representação é especialmente útil ao trabalhar com tabelas-verdade, em que as diferentes combinações de valores V e F para proposições e conectivos lógicos podem ser exploradas para determinar resultados lógicos de expressões mais complexas.
Curiosidade
Alguns autores utilizam a representação numérica, usando "1" para representar verdadeiro e "0" para representar falso. Essa notação é comumente empregada em contextos em que a lógica é aplicada em sistemas digitais, como a lógica booleana e a programação de computadores.
A representação numérica da notação, usando "1" e "0", tem a vantagem de ser facilmente mapeada para conceitos de verdadeiro e falso, sendo especialmente útil em circuitos digitais, nos quais os valores lógicos são representados eletronicamente. Além disso, essa notação se alinha à representação binária, utilizada em sistemas computacionais.
Tanto a representação com "V" e "F" quanto a representação com "1" e "0" são formas válidas e amplamente utilizadas para atribuir valores de verdade às proposições lógicas. A escolha entre essas convenções depende do contexto e da preferência do autor ou da área de estudo.
Portanto, ao estudar lógica, é importante estar ciente das diferentes formas de representação dos valores de verdade e adaptar-se ao padrão utilizado na fonte consultada ou definido no curso em questão. Deve-se compreender a relação entre os símbolos adotados e os conceitos de verdadeiro e falso.
Sentença aberta
Além das proposições, outro conceito importante é o de sentença aberta. Estrutura com variáveis não pode ser classificada como verdadeira ou falsa até que valores específicos sejam atribuídos a elas.
Exemplo
A sentença aberta "x + 2 = 5" só pode ser avaliada como verdadeira ou falsa quando um valor é atribuído à variável x. Se x = 3, a sentença se torna verdadeira, mas se x = 4, a sentença se torna falsa.
Verdade x Falsidade
Os conceitos de verdade e falsidade estão intrinsecamente relacionados às proposições lógicas. Uma proposição é considerada verdadeira se está em conformidade com os fatos e a realidade, e falsa se entra em contradição com eles. Determinar a verdade ou falsidade de uma proposição é aspecto crucial da análise lógica.
Além desses conceitos básicos, há outros termos relevantes na lógica, como premissa, conclusão, conectivos lógicos e tabelas-verdade.
A lógica facilita a análise do raciocínio e a tomada de decisões, e nos capacita para distinguir entre informações válidas e falaciosas, tomar decisões embasadas em fundamentos sólidos, identificar erros de raciocínio e contradições, permitindo uma análise crítica mais precisa.
Resumindo
A introdução à lógica é fundamental para uma compreensão profunda das estruturas do pensamento e da argumentação. Ela nos permite analisar, avaliar e construir argumentos de forma racional, desenvolvendo habilidades de pensamento crítico cruciais em diversas áreas do conhecimento.
As leis do pensamento aristotélico são fundamentais para a lógica clássica, e têm influência significativa na forma como entendemos o raciocínio e a validade dos argumentos. Essas leis, formuladas por Aristóteles, são compostas por 3 princípios que fornecem a base para construção de argumentos lógicos e análise rigorosa de proposições. Conheça esses princípios!
Princípio da identidade
Afirma que uma coisa é idêntica a si mesma. Em termos lógicos, uma proposição é verdadeira se, e somente se, ela se refere a algo verdadeiro. Por exemplo, se afirmarmos "O céu é azul", essa afirmação será verdadeira apenas se o céu for, de fato, azul. Esse princípio é intuitivo e serve como base para a consistência do raciocínio. Sem ele, seria impossível estabelecer qualquer forma de comunicação lógica, pois não poderíamos confiar na validade das afirmações.
Princípio da não contradição
Afirma que uma proposição não pode ser verdadeira e falsa ao mesmo tempo, no mesmo sentido e no mesmo contexto. Algo não pode ser e não ser ao mesmo tempo. Esse princípio, essencial para a coerência lógica e a consistência do pensamento, nos permite identificar contradições e inconsistências nos argumentos e descartá-los como inválidos. Exemplo: É logicamente impossível afirmar que "Um gato é um cão" e que "Um gato não é um cão", pois são proposições verdadeiras ao mesmo tempo.
Princípio do terceiro excluído
Estabelece que uma proposição só pode ser verdadeira ou falsa, não havendo uma terceira opção. Não pode haver meio-termo entre verdadeiro e falso. Esse princípio é crucial para determinar valores de verdade das proposições e permite a tomada de decisões lógicas com base na exclusão de opções inviáveis, essencial para análise e construção de argumentos lógicos válidos. Exemplo: "A água está quente ou não está quente", pois não há uma terceira possibilidade além de estar quente ou não.
A importância dessas leis do pensamento aristotélico está na sua aplicação generalizada em diversas áreas do conhecimento. Elas fornecem um alicerce sólido para o raciocínio lógico, permitindo análise crítica e avaliação de argumentos.
Os princípios das leis do pensamento aristotélico são usados não apenas na filosofia e na lógica formal, mas também na matemática, na ciência, no direito e em outras disciplinas. Eles nos capacitam a reconhecer argumentos válidos e não válidos, identificar falácias e contradições, e estabelecer um padrão de pensamento consistente e confiável.
As leis do pensamento também têm implicações práticas no dia a dia. Ao aplicá-las, podemos evitar inconsistências em nossas afirmações, promover a coerência em nossos argumentos e tomar decisões mais fundamentadas.
Resumindo
As leis do pensamento aristotélico, representadas pelos princípios da identidade, da não contradição e do terceiro excluído são fundamentais para a lógica e a razão. Elas fornecem as bases para a validade dos argumentos, a consistência do pensamento e a tomada de decisões informadas. Ao compreender e aplicar esses princípios, somos capazes de desenvolver habilidades de pensamento crítico e analítico essenciais para diversas áreas do conhecimento e para a busca da verdade.
Agora vamos abordar as principais estruturas lógicas básicas e suas tabelas-verdade. Uma tabela-verdade mostra possíveis combinações de valores lógicos para as proposições envolvidas. Vamos explorar os conectivos lógicos fundamentais, incluindo a negação, conjunção, disjunção, e as estruturas condicional e bicondicional.
Negação (~)
Conectivo que inverte o valor lógico de uma proposição. Se uma proposição p é verdadeira (V), a negação de p (~p) ou (Øp) será falsa (F), e vice-versa.
	P
	~P
	V
	F
	F
	V
Tabela Verdade - Negação
Professor Marcelo Roseira 
Exemplo: Se p representa "O Sol é amarelo", a negação de p (~p) seria "O Sol não é amarelo". Ou “Não é verdade que o Sol é amarelo”. Ou “É falso que o Sol é amarelo”.
Conjunção (∧)
Conectivo que une duas proposições e resulta em uma nova, sendo essa terceira proposição verdadeira apenas quando as anteriores também são. Em linguagem corrente, o sentido dessa nova estrutura é dado pelo conectivo “e”, cuja lógica correspondente na linguagem simbólica é do conectivo (∧). Veja a tabela-verdade para conjunção (∧) a seguir.
	p
	q
	p∧q
	V
	V
	V
	V
	F
	F
	F
	V
	F
	F
	F
	F
Tabela Verdade - Conjunção
Professor Marcelo Roseira 
Exemplo 1: A proposição "Maria estuda matemática" pode ser representada por p. A proposição "Pedro estuda física" pode ser representada por q. A conjunção das duas proposições seria "Maria estuda matemática e Pedro estuda física", representada por p ∧ q.
Exemplo 2: A proposição "O Sol está brilhando" pode ser representada por p. A proposição "O céu está claro" pode ser representada por q. A conjunção das duas proposições seria “O Sol está brilhandoe o céu está claro”, representada por p ∧ q.
Disjunção (∨)
Conectivo que une duas proposições e resulta em uma nova, sendo verdadeira quando pelo menos uma delas for verdadeira. Em linguagem corrente, o sentido dessa nova estrutura é dado pelo conectivo “ou”, cuja lógica correspondente na linguagem simbólica é do conectivo (∨). Veja a tabela-verdade para disjunção (∨) a seguir.
	p
	q
	p∨q
	V
	V
	V
	V
	F
	V
	F
	V
	V
	F
	F
	F
Tabela-verdade - Disjunção 
Professor Marcelo Roseira 
Exemplo 1: A proposição "Hoje é segunda-feira" pode ser representada por p. A proposição "Hoje é sexta-feira" pode ser representada por q. A disjunção das duas proposições seria "Hoje é segunda-feira ou sexta-feira", representada por p ∨ q.
Exemplo 2: A proposição "João gosta de futebol" pode ser representada por p. A proposição "Maria gosta de basquete" pode ser representada por q. A disjunção das duas proposições seria "João gosta de futebol ou Maria gosta de basquete", representada por p ∨ q.
Disjunção excludente (⊻)
Também conhecida como disjunção exclusiva, indica que apenas uma das proposições pode ser verdadeira, excluindo a possibilidade de ambas serem verdadeiras ou falsas. O símbolo utilizado para representar a disjunção excludente é o "⨁" ou "⊻". Quando p e q têm o mesmo valor lógico (ambas verdadeiras ou falsas), a disjunção excludente resulta em proposição falsa. Somente quando p e q têm valores lógicos diferentes é que a disjunção excludente é verdadeira.
Exemplo 1: A proposição "O carro é vermelho" pode ser representada por p. A proposição "O carro é azul" pode ser representada por q. A disjunção excludente das duas proposições seria "O carro é vermelho ou azul, mas não ambos", representada por p ⨁ q. Alternativamente, poderíamos utilizar a forma “Ou o carro é vermelho, ou o carro é azul”.
Exemplo 2: A proposição "Hoje é sábado" pode ser representada por p. A proposição "Hoje é domingo" pode ser representada por q. A disjunção excludente das duas proposições seria "Hoje é sábado ou domingo, mas não ambos", representada por p ⨁ q. Alternativamente, poderíamos utilizar a forma “Ou hoje é sábado, ou hoje é domingo”.
Condicional (→)
Relaciona duas proposições, estabelecendo uma implicação lógica entre elas. A proposição p → q afirma que, se p for verdadeira, então q também será. Na estrutura condicional, chamamos p de antecedente e q de consequente da estrutura condicional, respectivamente. Temos quatro formas distintas de verbalizar a relação entre p e q. Vejamos!
p implica em q
 
se p, então q (mais usada)
 
p é condição suficiente para q
 
q é condição necessária para p
Observe a tabela-verdade para a estrutura condicional.
	p
	q
	p→q
	V
	V
	V
	V
	F
	F
	F
	V
	V
	F
	F
	V
Tabela Verdade - Condicional
Professor Marcelo Roseira 
Exemplo 1: A proposição "Se está chovendo, então a rua está molhada" pode ser representada por p → q. Isso significa que, se p for verdadeiro (“está chovendo”), então q também será (“a rua está molhada”).
Exemplo 2: A proposição "Se a temperatura cai, então faz frio" pode ser representada por p → q. Isso significa que, se p for verdadeiro (“a temperatura cai”), então q também será (“faz frio”).
Bicondicional (⬌)
Estabelece relação de equivalência entre duas proposições. A proposição p ⬌ q será verdadeira quando p e q possuírem o mesmo valor lógico, e falsa em caso contrário. Você vai encontrar nos livros e questões envolvendo essa estrutura a expressão se, e somente se. Como veremos no exemplo a seguir, “O número é par se, e somente se, for divisível por 2.”
Esta é a tabela-verdade para estrutura bicondicional. Veja!
	p
	q
	p↔q
	V
	V
	V
	V
	F
	F
	F
	V
	F
	F
	F
	V
Tabela-verdade - Estrutura bicondicional 
Professor Marcelo Roseira 
Exemplo 1: A proposição "O número é par se, e somente se, for divisível por 2" pode ser representada por p ⬌ q. Isso significa que p implica em q (“se o número é par, então é divisível por 2”) e q implica em p (“se o número é divisível por 2, então é par”).
Exemplo 2: A proposição “Uma figura é um quadrado se, e somente se, tiver quatro lados iguais e quatro ângulos retos” pode ser representada por p ⬌ q. Isso significa que p implica em q (“se a figura é um quadrado, então tem quatro lados iguais e quatro ângulos retos”) e q implica em p (“se a figura tem quatro lados iguais e quatro ângulos retos, então é um quadrado”).
Resumindo
Conectivos, estruturas e tabelas-verdade nos permitem analisar a validade de argumentos e construir demonstrações lógicas.