LÓGICA MATEMÁTICA
Lógica matemática I
Todo agrupamento de frases ou símbolos que são capazes de expor um pensamento de sentido completo.
Sentença ou proposição se diferenciam do nome que caracteriza um objeto.
Todo valor lógico de uma proposição p será verdadeiro no momento que p for verdadeiro e falsidade quando p for falso.
As proposições compostas são também chamadas fórmulas proposicionais.
Princípio da não contradição ocorre na ocasião em uma proposição nunca poderá ser simultaneamente F e V.
Lógica matemática II
Chamamos toda proposição composta por disjunções em que as parcelas encontram-se vinculadas pelo conectivo ou.
Lógica matemática III
O bicondicional de duas proposições p e q são uma proposição verdadeira quando V(p)= V(q)e falsa quando V(p)≠V(q)
São também equivalentes á bicondicional p se e somente se q .
TABELA DE VERDADE
A se e só B
Se A então B e se B então A.
Primeiro momento será observar o numero de proposições e assim determinar a quantidade de linhas desta tabela.
Segundo passo será verificar todos os conectivos que constituem as proposições.
Primeiro resolveremos a negação
A segunda operação a ser desenvolvida será a conjunção
A terceira operação a ser desenvolvida será a condicional
E a ultima operação a ser desenvolvida será a bicondicional
ARGUMENTAÇÃO
Chamamos de argumento toda afirmação de uma associação de proposições.
Argumento será chamado de válido, legítimo ou bem construído, no momento em que a conclusão for um resultado obrigatório de suas premissas.
Caso a formação esteja, temos que o argumento é válido, apesar de questionamos a autenticidade das premissas e da conclusão.
Um argumento é classificado como inválido, ilegítimo, mal construído, falacioso ou sofisma, no momento em que as premissas verdadeiras não são suficientes para determinar uma conclusão verdadeira.
REGRAS DE INFERÊNCIA
Os argumentos são usado para fazer deduções ,isto é realizar os passos de uma demonstração, e por isso chamamos regras de inferência
Adição - A
Simplificação - S
Regra da absorção - RA
Modus Ponens - MP
Modus Tollens - MT
Silogismo disjuntivo - SD
Silogismo Hipotético - SH
União - U
Dilema Construtivo - DC
Dilema Destrutivo - DD
Dupla Negação - DN
Axioma
Qualquer axioma, postulado ou suposição será uma afirmação vista como sendo verdadeira , sentido de ajustar-se como uma perspectiva quando temos um raciocínio e argumentos adicionais.
É possível traçar uma linha reta de qualquer ponto.
É possível estender um segmento de linha continuamente em ambas as direções.
É possível descrever um círculo com qualquer centro e e qualquer raio.
É verdade que todos os ângulos retos são iguais entre si.