Idéias para uma apresentação Math Logic

A lógica matemática ou lógica simbólica , as tentativas de reescrever reivindicações argumentativos como equações. Como o nome sugere , a lógica matemática utiliza vários símbolos para substituir elementos de uma reclamação , nomeadamente os elementos existenciais ou conjuntivos , tais como ” e”, ” ou ” e ” não ” . Porque a lógica matemática casa com os princípios da argumentação com os princípios de fórmulas matemáticas , é importante estabelecer rapidamente em audiência a compreensão básica de cada um, antes de tentar resolver problemas de lógica matemática , ou usar a lógica matemática para determinar a lógica de um argumento. Estabelecer conteúdo argumentativo básico

simples argumentativos , reclamações existenciais formam a base da matemática ou da lógica simbólica. Existencial se refere a declarações sobre algo , tal como existe no mundo. Por exemplo; ” John é um solteirão ” é uma afirmação existencial sobre o mundo , uma vez que postula uma teoria ou argumento sobre algum elemento do mundo, ou seja, o estado civil de John . Premissas e conclusões construir afirmações argumentativas simples. Quando tomado em conjunto , as instalações são as declarações que comprovem a conclusão, que é a verdade comprovada de uma série de premissas. Por exemplo; ” 1 . Bacharelado são homens solteiros. 2. John é um celibatário . 3. Portanto, John é um homem solteiro . ” Nesta frase , “1” e “2” representam instalações, enquanto “3” representa a conclusão .

Estabelecer Simbolismo Básico

Ao introduzir os elementos mais simples de um argumento – premissas e conclusões – é importante estabelecer os símbolos básicos na maioria das vezes implantados e compreendido pelos lógicos matemáticos , neste caso, “P” e “Q ” “P “, apropriadamente , simboliza a ” premissa “, enquanto ” Q “, confusamente , simboliza a ” conclusão”. Além disso, instalações tendem incluir números ao lado do P, enquanto as conclusões tendem a receber cartas adicionais, posteriores. Por exemplo; P1 , P2 , P3 para a primeira , segunda e terceira premissa , e Q , R , S para a primeira , segunda e terceira conclusão . Embora muitas teorias existem sobre o significado etimológico da P e Q como as cartas comuns da lógica matemática – a partir da declaração ” mente seu Ps e Qs ” para possíveis abreviaturas dos termos latinos ” por ” e ” quod ” – Não verdadeiramente contas ou explica por P e Q são tão comumente considerado o simbolismo básico de premissa e conclusão.

alterando Argumentative Formulário

matemática e lógica simbólica tende a confiar If /Then estruturas de argumentos, afirmações bastante simples de instalações conectadas. Por exemplo; em vez de “P1 : Bacharelado são homens solteiros P2 : . John é um Bachelor Q : . John é um homens solteiros “, uma representação matemática ou lógica simbólica do mesmo argumento seria substituir acordo: “P1 : Se Bacharelado são homens solteiros , e P2 : Se João é solteiro , então Q : John é um homem solteiro P1 e P2 é verdade é verdade, portanto Q ” Este ainda como substitutos Se P1 e P2, então Q. P1 e P2, portanto Q.

.

introdução de novos símbolos

a fase final da introdução de matemática ou lógica simbólica exige a substituição de outros símbolos , de modo a eliminar completamente todas as palavras escritas. Enquanto alguns lógicos matemáticos ou simbólicos empregar símbolos matemáticos simples, como “+ “, “-” e ” = “, outros empregam símbolos altamente específicas únicas para a matemática ou a lógica simbólica como uma disciplina. Para efeitos da sua apresentação, considerar o uso de símbolos com os quais o público já está familiarizado . Por exemplo; reescrever ” Se P1 e P2, então Q. P1 e P2, portanto Q” como “P1 + P2 = P. P1 . P2. Q.” Utilizando letras maiúsculas para enfatizar o significado deste argumento lógico simbólico , esses símbolos ler: “SE Bacharelado são homens solteiros , e John é um solteirão , então João é um homem solteiro solteiros são homens solteiros John é um solteirão PORTANTO , John. . . É um homem solteiro . “