Para definir o termo "lógica proposicional", você precisa entender claramente o que é a "declaração".
Assim, a declaração é uma sugestão, classificados gramaticalmente correta, e é falsa ou verdadeira.Esta noção deve expressar um certo significado.Por exemplo, a frase "canários têm" inclui os seguintes componentes: "canário" e "Bird".
É por isso que um dos conceitos-chave iniciais da lógica e está dizendo.Estes conceitos são para descrever a situação específica em que a declaração é ou algo ou negação.
Verdadeiro considerada estar dizendo, se a realidade linha traçada da situação quando é circunscrever.Eles Mesmos "false" e "true" definir uma afirmação verdadeira.
declarações de lógica consiste em expressões simples e complexas.Então, só acho que a afirmação de que não inclui em sua composição outras expressões.E do complexo incluem expressões que são derivados das demonstrações simples, logicamente inter-relacionados.
lógica proposicional clássica pode ser representada pela teoria geral da dedução.É que parte da lógica, que descreve não dependem da estrutura de frases ligações lógicas simples expressões.
Sem mencionar as conjunções - uma declaração complexa, obtidos pela combinação de duas expressões simples usando a palavra "e".A verdade da conjunção confirma a precisão de todas as afirmações incluídas na sua estrutura.No caso em que pelo menos um dos seus membros é falsa, todo o conjunto é um sinal de "uma mentira."Si
conjunto serve para formar as instruções complexas, que são baseados nessas premissas:
- qualquer expressão (simples e complexos) pode ser verdadeira ou falsa;
- a verdade dos enunciados complexos depende da veracidade das declarações nele contidas e as ligações lógicas na mesma.
Ao unir duas declarações com a palavra "ou" já obteve uma disjunção.Na vida cotidiana, este conceito pode ser visto a partir da perspectiva de dois significados diferentes.Em primeiro lugar, é sentido não exclusiva, o que implica a validade de expressão, independentemente da verdadeira expressão de um ou dois tais, eles são ambos.Em segundo lugar, eliminando a sensação afirma que uma das expressões é verdadeiro, e os outros - é falsa.Fórmulas
de lógica proposicional conter caracteres especiais.Assim, na disjunção símbolo V indica o fato de que a expressão é verdadeira a verdade de pelo menos uma das declarações, e falso se ambos os seus membros são falsas.
Ao determinar a implicação há uma declaração dizendo que a base não pode ser verdade na investigação errado.Em outras palavras, este conceito implica dependência verdade ou a falsidade da expressão do valor dos seus componentes e métodos de suas relações.
Apesar do facto de a implicação é bastante útil para alguns propósitos, não é muito compatível com o entendimento de a ligação condicionado em geral.Assim, em muitos traços importantes envolve o comportamento lógico dispositivo dizendo que este conceito não pode ser uma descrição adequada do mesmo.
lógica de declarações destinadas a resolver este problema central, como a separação de esquemas de raciocínio certo e errado e sistematização do primeiro.Para obter o resultado correto, você deve concentrar-se nos caracteres especiais que podem representar uma ou outra forma.Daí o interesse em tais designado palavras aparentemente insignificantes como "e", "e", etc.
declarações lógicas ainda tem a sua própria língua, que é constituído pelos seguintes elementos:
- os personagens originais - variáveis, constantes e sinais técnicos lógicos;
- fórmulas.
Para entender o que foi dito deve ir para exemplos específicos.Por exemplo, usando o símbolo conjunto & amp;, disjunção - \ / ou \ º /.
