Construção de tabelas verdade

Esta apresentação busca mostrar como deve ser feito para criar tabelas verdade para uma proposição compostas. São exibidos os passos a serem seguidos para a construção segundo um problema. Tem como inicio o entendimento do problema, a manipulação das variáveis do problema, a ordenação das mesmas e a construção propriamente dita da tabela. Seguidamente, é feita o preenchimento das linhas e colunas de acordo com o conceito abordado, este passo precede o entendimento de como fica a tabela-verdade populada aplicando os conceitos relacionados ao operador “ou” e a negação de uma proposição.

Construção de tabelas verdade - Parte 1

O vídeo explica a construção de uma tabela verdade para uma proposição composta e seus procedimentos. A tabela verdade é composta de 8 linhas e três passos de elaboração: o primeiro defini os valores de cada variável, o segundo defini as colunas de cada sub-fórmula e o terceiro defini o valor final de cada proposição.

Construção de tabelas verdade - Parte 3

O vídeo explica a construção de uma tabela verdade através de uma proposição composta. O primeiro passo é definir os valores de cada variável de forma direta. Depois, definir as colunas de cada sub-fórmula e preencher as colunas aplicando operadores, e com isso, definir os valores lógicos da proposição final.

Conhecimento, linguagem e legitimação no processo de aprendizagem acadêmico-científica

O item não apresenta o texto completo, para aquisição do livro na íntegra você poderá acessar a Editora da UFSCar por meio do link: www.editora.ufscar.br

Inferência lógica e os sistemas de derivação

Nestes slides são apresentados conceitos sobre a inferência lógica e os sistemas de derivação. Define o conceito de argumento válido, e demonstra que a verificação da validade de argumentos pode ser feita por meio de tabelas-verdade e pelo uso de regras de inferência.

Lógica proposicional: Alfabeto e considerações iniciais

São apresentados alguns itens do Guia da Disciplina. Depois são apresentados alguns conceitos básicos de lógica proposicional, como: operadores e funções lógicas binárias, tabelas-verdade, consequência e equivalência lógica e proposições associadas à condicionais.

Podcast CCHS - recuperação de conceitos da disciplina

O podcast consiste em uma retomada do conteúdo e conceitos vistos durante a disciplina CCHS nas unidades 1 (sujeito, realidade e conhecimento) e 2 (razão e verdade).