093a    Lógica Proposicional                                          

094a    Tabelas verdade                                                

095b    Construção de Tabela Verdade                                   

095e    Tabelas verdade aleatórias                                     

095f    Construção de Tabela Verdade                          

095h    Prática em Tabela Verdade                                      

096a    Semântica em lógica proposicional                              

097a    Equivalência e redução ao absurdo                              

098b    Álgebra das proposições - parte 1                              

098f    Álgebra proposicional - 2.parte                                

099b    Argumentos e validade                                          

099h    Argumentos e validade ad-hoc                                   

099j    Argumentos literais e validade  

101b    Lógica e Diagramas de Venn                                     

101c    Teoria de Conjuntos e Diagramas de Venn               

102a    Lógica e quantificadores                                       

103a    Dem. Aut. Teoremas simples                                     

104a    demonstração aut. teoremas (clone 858)                      

105a    Lógica e Teoria dos Conjuntos                                  

106a    Álgebra de Boole                                               

108a    Outras lógicas