Este curso de pensamento crítico explica como aplicar a lógica e o raciocínio por meio da refutação da resolução. Começaremos apresentando várias linguagens lógicas diferentes e fornecendo uma visão geral do cálculo proposicional. Em seguida, apresentamos os símbolos usados no cálculo proposicional e mostramos como converter frases em inglês em cálculo proposicional. Discutimos detalhadamente o cálculo de predicados (também chamado de “lógica de primeira ordem”) e identificamos seus símbolos, semântica e diferenças em

O curso então examina várias técnicas de pensamento crítico, incluindo 'modus ponens', 'modus tollens', eliminação, introdução e instanciação universal. Cobrimos o processo de unificação e dedução para ajudar você a aplicar a lógica a cenários do mundo real. Demonstramos como criar um sistema de raciocínio e combinar dois predicados para implementar um mecanismo de inferência. Como todas as variáveis precisam ser quantificadas universalmente, exploramos as etapas envolvidas no processo de unificação e aquelas tomadas para implementar o princípio de resolução

Nossa próxima seção se concentra na prova de teoremas por refutação de resolução. Fornecemos exemplos para ajudar você a entender as etapas básicas tomadas para estabelecer teoremas, incluindo a forma da cláusula, estratégias de resolução eficientes e extração de respostas a partir da refutação da resolução. O curso examina a unificação, a substituição e a escolemização para aprimorar suas habilidades práticas de raciocínio crítico. Também explicamos como usar o Prolog, uma linguagem de programação lógica e uma aplicação do teorema de resolução que prova que é frequentemente usada na computação moderna. Nossa seção final compara várias abordagens de raciocínio. Este curso é adequado para programadores de computador, pois explica como o pensamento crítico pode ser expresso e aplicado para aprimorar suas habilidades em ciência da computação