Trabalho de logica

Lógica de vários valores ( ou Lógica Multivalorada)
Sistemas que vão além dessas duas distinções (verdadeiro e falso) são conhecidos como lógicas não-aristotélicas, ou lógica de vários valores (ou então lógicas polivaluadas, ou ainda polivalentes).
No início do século 20, Jan Lukasiewicz investigou a extensão dos tradicionais valores verdadeiro para incluir um terceiro valor, "possível".
Em lógica, a lógica multivalorada ( ou lógica plurivalente) é um cálculo proposicional em que há mais de dois valores verdade. Tradicionalmente, na Lógica aristotélica, existem apenas dois possíveis valores (i.e., "verdadeiro" e "falso") para cada proposição. Uma extensão obvia para a lógica clássica 2-valorada é uma lógica n-valorada, com n maior que 2. As mais populares na literatura são a lógica ternária( que usa "verdadeiro", "falso" e "não se sabe"), a finitamente-valorada com mais de 3 valores , e a infinitamente-valorada , como a Lógica difusa e a lógica probabilística.

Lógica da computação

Parte 3
O que é lógica?
Lógica tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido. No segundo sentido, a lógica é discutida principalmente nas disciplinas de filosofia, matemática e ciência da computação.
A lógica examina de forma genérica as formas que a argumentação pode tomar, quais dessas formas são válidas e quais são falaciosas.
A lógica foi estudada em várias civilizações da Antiguidade. Na Índia, a recursão silogística, Nyaya remonta a 1900 anos atrás. Na China, o Moísmo e a Escola dos Nomes datam de à 2200 anos atrás. Na Grécia Antiga a lógica foi estabelecida como disciplina por Aristóteles, com a sua obra Organon. Ele dividiu a lógica em formal e material. O estudo da lógica era parte do Triyiu, clássico, juntamente com a gramática e a retórica.
A lógica é frequentemente dividida em três partes: o raciocínio indutivo, o raciocínio abdutivo e o raciocínio dedutivo. O que é termo e