Logica Matemática

PROPOSIÇÃO – é um conjunto de palavras que exprimem um pensamento de sentido completo.
LÓGICA – é a ciência que estuda as leis do raciocínio.
VALOR LÓGICO – Chama-se valor lógico de uma proposição a VERDADE se a proposição for verdadeira e a FALSIDADE se a proposição for falsa.
PROPOSIÇÃO SIMPLES – não contém nenhuma outra proposição como parte integrante de si mesma.
PROPOSIÇÃO COMPOSTA – formada pela combinação de duas ou mais proposições simples.
ARGUMENTO – é um conjunto de enunciados, onde as primeiras são chamadas de PREMISSAS e os últimos são chamados de CONCLUSÕES.
ARGUMENTO VÁLIDO – é aquele em que todas as premissas são verdadeiras e a conclusão também.
TABELA VERDADE – é um diagrama do qual constam todos os valore lógicos possíveis de uma proposição ou conjunto de proposições.
CONECTIVOS – São palavras usadas para formar novas proposições a partir de outras pré-existentes.
CONJUNÇÃO ( ^) – É V quando ambas dão verdadeiras e F nos demais casos.
DISJUNÇÃO( V ) – é F quando ambas são falsas e V nos demais casos.
DISJUNÇÃO EXCLUSIVA ( ) – É V quando ambas são diferentes e F quando ambas são iguais.
CONDICIONAL ( -> ) – só é F quando for (V F) nos demais casos é verdadeira.
NEGAÇÃO ( ~ou ¬ ) – é o contrário de todas.
BICONDICIONAL ( ) – Só é V quando as duas forem iguais e F se as duas forem diferentes.
TAUTOLOGIA – Todas as respostas são verdadeiras.
CONTRADIÇÃO – Todas as repostas são falsas.
IMPLICAÇÃO – Se todas as vezes que p= V, q também é = V.
CONTIGÊNCIA – Tem que ter os dois valores V e F se não, não é contingente.
EQUIVALÊNCIA LÓGICA – São ditas logicamente equivalentes, se as suas tabelas-verdades são idênticas.
NEGAÇÃO CONJUNTA ( ) – como se tivesse negando a conjunção.
NEGAÇÃO DISJUNTA ( ) – como se tivesse negando a disjunção.
QUANTIFICADORES – são símbolos lógicos que atuam sobre sentenças abertas, tornando as sentenças fechadas ou proposições.
QUANTIFICADOR UNIVERSAL ( )- Significa “para todo”,