Racíocinio Lógico
RACÍOCINIO LÓGICO
O Modificador Negação
Dada a proposição p , indicaremos a sua negação por ~p .
(Lê-se “ não p “ ).
Operações lógicas
As proposições lógicas podem ser combinadas através dos
∨ → E↔ operadores lógicos ∧
, dando origem ao que conhecemos como proposições compostas . Assim , sendo p e q duas proposições simples, poderemos então formar as seguintes proposições compostas: p ∧ q , p q , p→ q , p↔ q (Os significados dos símbolos estão indicados na tabela anterior).
Estas proposições compostas recebem designações particulares: Conjunção: p ∧ q (lê-se “p e q “ ).
Disjunção: p v q (lê-se “p ou q “) .
Condicional: p→ q (lê-se “se p então q “ ).
Bi-condicional: p↔ q ( “p se e somente se q”).
Conhecendo-se os valores lógicos de duas proposições simples p e q , como determinaremos os valores lógicos das proposições compostas acima? Isto é conseguido através do uso da tabela a seguir, também conhecida pelo sugestivo nome de
TABELA VERDADE.
Sejam p e q duas proposições simples, cujos valores lógicos representaremos por 0 quando falsa (F) e 1 quando verdadeira (V).
Podemos construir a seguinte tabela simplificada:
RACIOCÍNIO LÓGICO
Entendimento da estrutura lógica de relações arbitrárias entre pessoas, lugares, coisas ou eventos fictícios
Dedução de novas informações das relações fornecidas e avaliação das condições usadas para estabelecer a estrutura das relações.
∧
LÓGICA
A lógica matemática (ou lógica simbólica), trata do estudo das sentenças declarativas também conhecidas como proposições, as quais devem satisfazer aos dois princípios fundamentais seguintes:
Princípio do terceiro excluído: uma proposição só pode ser verdadeira ou falsa , não havendo outra alternativa.
Princípio da não contradição: uma proposição não pode ser ao mesmo tempo verdadeira e falsa.
Diz-se então que uma proposição verdadeira possui valor lógico V (verdade) e uma proposição falsa possui valor lógico F
(falso).