Baixe o app para aproveitar ainda mais
Prévia do material em texto
Parte superior do formulário LÓGICA MATEMÁTICA 10a aula Lupa Vídeo PPT MP3 1a Questão (Ref.: 201704160605) Fórum de Dúvidas (0) Saiba (0) Qual das equivalências tautológicas é conhecida absorção? p ^p <=> p ~(~p) <= > p p ^(p v r) <=> p p ^q <=> q ^p ~(p ^q ) ,=> ~p v ~q Gabarito Comentado 2a Questão (Ref.: 201704160556) Fórum de Dúvidas (0) Saiba (0) Observe a demonstração: 1 - P --> Q .........Premissa 2 - Q --> R.........Premissa 3 - ~R ........ Premissa 4 - P --> R ....................1,2 e Silogismo Hipotético 5 - ~P ........................... 3,4 ___________ . Utilizando as linhas 3 e 4 chegamos na conclusão. Para chegar a esta conclusão lógica qual regra de inferência foi utilizada? Silogismo Disjuntivo Modus Tolens Silogismo Hipotético Modus Ponens Adição Gabarito Comentado Gabarito Comentado 3a Questão (Ref.: 201704160546) Fórum de Dúvidas (0) Saiba (0) Defina a operação utilizada na última linha da demonstração, de maneira a chegar a na conclusão a partir das premissas: 1 - P --> Q .................... premissa 2 - Q --> R ..................... premissa 3 - R --> S ..................... premissa 4 - P --> R ..................... 1,2 Silogismo Hipotético 5 - P --> S ...................... 3,4 _______________ Qual a inferência lógica deve ser colocada na linha 5 Adição Silogismo Hipotético Modus Ponens De Morgam Modus Tolens Gabarito Comentado 4a Questão (Ref.: 201704160594) Fórum de Dúvidas (0) Saiba (0) A regra de inferência representada pela expressão (p-->q) ^(q--> r) => p-->r é chamada de: Silogismo DIsjuntivo Absorção Simplificação Silogismo Hipotético Eliminação Gabarito Comentado 5a Questão (Ref.: 201704160467) Fórum de Dúvidas (0) Saiba (0) Observe a demonstração: 1 - p v q .........Premissa 2 - p v q --> r.......Premissa 3 - r --> ~(s v t) ...... Premissa 4 - r ....................1,2 e Modus Ponens 5 - ~(s v t) ............. 3,4 ___________ . Utilizando as linhas 3 e 4 chegamos na conclusão. Para chegar a esta conclusão lógica qual regra de inferência foi utilizada? Modus Tolens Silogismo Disjuntivo Silogismo Hipotético Comutatividade Modus Ponens Gabarito Comentado Gabarito Comentado 6a Questão (Ref.: 201704160592) Fórum de Dúvidas (0) Saiba (0) A regra de inferência representada pela expressão ~q ^(p-->q)=> ~p é chamada de: Modus Ponens Silogismo Hipotético Modus Tollens Simplificação Silogismo Disjuntivo Gabarito Comentado 7a Questão (Ref.: 201704160584) Fórum de Dúvidas (0) Saiba (0) Ao observarmos as inferências tautológicas representadas pelas expressões (p ^q) ^r <=> p ^( q ^r) e (p v q) v r <=> p v (q v r) estamos observando uma inferência: Idempotente Distributiva Absorção Associativa Leis de De morgan Gabarito Comentado 8a Questão (Ref.: 201704160589) Fórum de Dúvidas (0) Saiba (0) A regra de inferência representada pela expressão p ^(p-->q) => q é chamada de Silogismo Hipotético Modus Pones Modus Tolens Silogismo DIsjuntivo Simplificação Gabarito Comentado Parte inferior do formulário
Compartilhar