Lógica proposicional [5] - Regras de inferência (1/3)
26:10
Lógica proposicional [5] - Regras derivadas (2/3)
24:04
Lógica clássica [1] - Introdução (3/3)
18:16
Lógica proposicional [8] - Dedução natural (método direto) (1/3)
46:33
Aula 4 - Regras de Inferência (Parte IV de Lógica) - Fundamentos Matemáticos para Computação
15:36
Exemplos: Mostrando a validade de argumentos usando regras de inferência e equivalência.
26:27
Lógica de primeira ordem [9] - Predicados e relações (1/2)
17:39
Lógica proposicional [2] - Operadores verofuncionais (1/7)
29:45