apostila logica digital

Introduo Lgica Digital Lgica a ferramenta pela qual decidimos sobre a validade de uma proposio. Todo o raciocnio lgico baseado na tomada de uma deciso a partir da avaliao de determinadas condies ou proposies. Inicialmente tem-se os dados de entrada e uma condio (ou uma combinao de condies ou proposies). Aplica-se a condio aos dados de entrada para decidir quais so os dados de sada. A lgica digital no diferente. Mas apresenta uma peculiaridade trabalha apenas com variveis cujos valores alternam exclusivamente entre dois estados e no admitem valores intermedirios. Estes estados podem ser representados por um e zero, sim e no, verdadeiro e falso ou quaisquer outras grandezas cujo valor possa assumir apenas um dentre dois estados possveis. Assim sendo, a lgica digital a ferramenta ideal para trabalhar com grandezas cujos valores so expressos no sistema binrio. Proposio Toda proposio uma frase, mas nem toda frase uma proposio uma frase uma proposio apenas quando admite um dos dois valores lgicos Falso (F)ou Verdadeiro (V), caso contrrio ser chamada de Termo ou Nome. Exemplos Frases que no so proposies Concurso Seguro de Carro Brasil ( Fazem referencia a objetos, sem afirmar nada sobre eles, no faz sentido, verificar sua validade. Frases que so proposies A lua o nico satlite do planeta terra (V) O Concurso daquele Banco fcil (V) A cidade de Salvador a capital do estado do Amazonas (F) O numero 712 mpar (F) Raiz quadrada de dois um nmero irracional (V) Ana utiliza o Plano de Sade (V) ( Estas j fazem referencia aos objetos, afirmando algo sobre eles, faz sentido verificar sua validade, atribuindo-lhe um valor lgico. Composio de Proposies possvel construir proposies a partir de proposies j existentes. Este processo conhecido por Composio de Proposies. Suponha que tenhamos duas proposies A Um triciclo carrega pessoas B Um Triciclo um carro Vamos a alguns exemplos Um triciclo no carrega pessoasNegao de A(no(A)) Um Triciclo no um carroNegao de B(no(B))Um