LOGICA O ESTUDO DOS METODOS E PRINCIPIOS USADOS PARA DISTINGUIR O RACIOCINIO COR RETO DO INCORRETO PROPOSIAO - CONJUNTO DE PALAVRAS

S OU SIMBOLOS QUE EXPRIMEM UM PENSAMENTO DE SENTID O COMPLETO PROPOSIAO - SENTEA DECLARATIVA QUE POSER VERDADEIRA OU FALSA PRINCIPIO DO IDENTIDADE - TODO OBJETO IDENTICO A SI MESMO PRINCIPIO DA NAO CONTRADIO - UMA PROPOSIO NAO PODE SER FALSA E VERDADEIRA AO MESMO T EMPO PRINCIPIO DO TERCEIRO EXCLUIDO - PROPOSIO OU VERDADEIRA OU FALSA PROPOSIO SIMPLES AQUELA QUE NAO PODE SER SUBDIVIDA EM OUTRAS PROPOSIO COMPOSTA AQUELA FORMADA PELA COMBINAO DE UMA OU MAIS PROPOSIES CONECTIVO - PALAVRAS QUE USAM PARA FORMAR NOVAS PROPOSIES A PARTIR DE OUTRAS conjuno(^) e - verdadeiro quando todas as preposioes forem verdadeiras conjuno (v) ou - verdadeiro quando pelo menos uma for verdadeira. dijuno exclusiva(v-) ou um ou outro condicional (->) S falsa quando parte de uma verdade e termina em falsidade bicondicional ( <-->) verdadeiro quando ambas forem iguais(ex: V V = V F F = V) Tautologia toda proposiao composto cujo valor logico sempre verdade. contradio toda proposiao composta cujo valor sempre falso contingencia toda proposiao composta cujo valor logico da proposio composta depende dos valores logicos da proposio simples