1 resultado para Meios de resolução de litígios
em Livre Saber - Repositório Digital de Materiais Didáticos - SEaD-UFSCar
Filtro por publicador
- B-Digital - Universidade Fernando Pessoa - Portugal (1)
- Biblioteca de Teses e Dissertações da USP (7)
- Biblioteca Digital da Câmara dos Deputados (93)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (3)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (120)
- Bibloteca do Senado Federal do Brasil (104)
- Centro Hospitalar do Porto (1)
- Escola Superior de Educação de Paula Frassinetti (1)
- Funes: Repositorio digital de documentos en Educación Matemática - Colombia (1)
- Infoteca EMBRAPA (16)
- INSTITUTO DE PESQUISAS ENERGÉTICAS E NUCLEARES (IPEN) - Repositório Digital da Produção Técnico Científica - BibliotecaTerezine Arantes Ferra (1)
- Instituto Politécnico de Castelo Branco - Portugal (4)
- Instituto Politécnico de Leiria (9)
- Instituto Politécnico de Santarém (1)
- Instituto Politécnico de Viseu (2)
- Instituto Politécnico do Porto, Portugal (3)
- Instituto Superior de Psicologia Aplicada - Lisboa (3)
- Livre Saber - Repositório Digital de Materiais Didáticos - SEaD-UFSCar (1)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (21)
- Ministerio de Cultura, Spain (1)
- RCAAP - Repositório Científico de Acesso Aberto de Portugal (13)
- RDBU - Repositório Digital da Biblioteca da Unisinos (10)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (4)
- Repositório Aberto da Universidade Aberta de Portugal (1)
- REPOSITÓRIO ABERTO do Instituto Superior Miguel Torga - Portugal (1)
- Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (5)
- Repositório Científico da Universidade de Évora - Portugal (4)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (21)
- Repositório Científico do Instituto Politécnico de Santarém - Portugal (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (30)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (2)
- Repositório Digital da Universidade Municipal de São Caetano do Sul - USCS (3)
- Repositório Institucional da Universidade de Aveiro - Portugal (6)
- Repositório Institucional da Universidade de Brasília (3)
- Repositório Institucional da Universidade Estadual de São Paulo - UNESP (3)
- Repositório Institucional da Universidade Federal do Rio Grande - FURG (1)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (223)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (16)
- SAPIENTIA - Universidade do Algarve - Portugal (7)
- Universidad de Alicante (1)
- Universidade de Lisboa - Repositório Aberto (14)
- Universidade dos Açores - Portugal (1)
- Universidade Federal do Pará (35)
- Universidade Federal do Rio Grande do Norte (UFRN) (44)
- Universidade Metodista de São Paulo (5)
- Universidade Técnica de Lisboa (2)
- University of Michigan (3)
Relevância:
Resumo:
O vídeo mostra um conceito da lógica proposicional que é a prova por resolução. A vantagem dessa aplicação é a simplicidade, pois emprega apenas uma regra de inferência. Para verificar se o argumento é válido, por exemplo, são necessário três passos: converter cada premissa para FNC e negar a conclusão, separar as cláusulas, e construir a árvore de derivação ou refutação.
