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.

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.

Propriedade de relações e Relações de equivalência

O vídeo traz os conceitos relativos às relações entre conjuntos e muito dos conceitos relacionados, como as propriedades de relações, onde as relações são definidas sobre um mesmo conjunto sendo uma parte importante do estudo de relações; e as relações de equivalência. Também apresenta os conceitos de relação reflexiva, relação irreflexiva, relação simétrica, relação antissimétrica,e relação transitiva. A relação é uma comparação entre objetos. Para verificar se uma relação R tem ou não alguma propriedade é necessária considerar o conjunto sobre o qual a relação está definida. Por fim, o vídeo traz conceitos da relação de equivalência que são relações que apresentam forte semelhança com a relação de igualdade; e traz as classes de equivalência, que são conjuntos de elementos que fazem parte do conjunto original.

Propriedades de relações e relações de equivalência

A videoaula traz as propriedades de relações, com foco nas relações reflexiva, irreflexiva, simétrica, antissimétrica, transitiva, e nas classes de equivalência.