null
US
Entrar
Registre-se gratuitamente
Registre-se
Detectamos que o JavaScript não está habilitado no teu navegador. Habilite o Javascript para o funcionamento correto do nosso site. Por favor, leia os
Termos e Condições
para mais informações.
Próximo
Copiar e Editar
Você deve estar logado para concluir esta ação!
Inscreva-se gratuitamente
20753604
Leyes de Inferencia
Descrição
UNAD - LOGICA MATEMATICA
Sem etiquetas
tarea 2: metodos para probar la validez de un argumento
Mapa Mental por
Alejandra Duque
, atualizado more than 1 year ago
Mais
Menos
Criado por
Alejandra Duque
mais de 4 anos atrás
17
0
0
Resumo de Recurso
Leyes de Inferencia
Son Formas De Argumentos Cuya Valides Puede Ser Demostrada Con Tablas De Verdad
Leyes De Inferencia Logica
Modus Ponens (MD)
Permite eliminar el antecedente siempre que la segunda premisa sea dicho antecedente
p →q, p ∴q
Modus Tollens (MD)
Permite eliminar el consecuente siempre y cuando este negado en la segunda premisa, dado como consecuencia el antecedente negado
p →q, ¬q, ∴¬q
Silogismo Hipotetico (SH)
Permite eliminar el consecuente de la primera premisa y el antecedente de la segunda premisa, siempre y cuando sean las mismas
p →q, q→r, ∴p→r
Silogismo Disyuntivo (SD)
Permite eliminar una de las dos disyunciones siempre que una de las dos esté negada en la segunda premisa
p∨q, ¬p, ∴q
Adicion (AD)
Permite agregar las variables proposicionales que se necesiten
p, ∴p∨q
Simplificacion (SIM)
Permite eliminar las variables proposicionales que no se necesiten
p∧q, ∴p
Conjuncion (CON)
Permite unir dos premisas diferentes
p, q, ∴p∧q
Dilema Constructivo (DC)
Permite eliminar los antecedentes de las dos condicionales , dando como resultado la disyuncion de los consecuentes
(p→q)∧(r→s), p∨r, ∴q∨s
Dilema Destructivo (DD)
Permite eliminar los antecedentes de las dos condicionales, dado como resultado la disyuncion de la negacion de los consecuentes
(p→q)∧( r→ s), ¬q∨¬s, ∴¬p∨¬q
Absorcion (ABS)
Permite reescribir el consecuente, dando como resultado la conjuncion del antecedente y consecuente
p→q , ∴p→(p∧q)
Apoyada bajo
LOGICA MATEMATICA
Es aquella que nos permite mediante un lenguaje simbolico determinar si un argumento es valido o no
Leyes de Equivalencia
Ley de contraposicion
Ley del Condicional
Ley de expotacion (LE)
Leyes de Morgan (DM)
¬(p∧q)≡¬p∨¬q
{(p∧q)→r}≡{p→(q→r)
p→q≡ ¬p∨q
p→q≡ ¬q→¬p
Emplea
RAZONAMIENTOS LOGICOS
Para demostrar teoremas y resolver situaciones o problematicas
Quer criar seus próprios
Mapas Mentais
gratuitos
com a GoConqr?
Saiba mais
.
Semelhante
Mapa conceptual de Lógica Matemática
Jhonnier Torres
Artigo Científico elaboração
Candido Gabriel
Calendário de Estudos ENEM 2014
Alessandra S.
RACIOCÍNIO LÓGICO
Viviana Veloso
Direito Administrativo
deboravasconcelos
Apresentação em Inglês
GoConqr suporte .
Expressões em inglês #5
Eduardo .
CRASE
Edison Antonio Oliveira
Reino Fungi
Taína Garcia Moreno Tomazella
Contextualização da disciplina - Gestão - Administração da Carreira Profissional
Fabrícia Assunção
GRÉCIA ANTIGA
Hugo Fonseca
Explore a Biblioteca