Apresentação; Temas: proposições e operações lógicas sobre proposições
20 Setembro 2016, 09:30 • Mário Jorge Edmundo
Apresentação do docente e da unidade curricular (objetivos, conteúdo programático, bibliografia e métodos de avaliação).
Proposições; valor lógico de uma proposição; princípio da não contradição.
Operações lógicas sobre proposições; a forma lógica de uma proposição; antecedente e consequente de uma implicação; condição suficiente e condição necessária; outras formas de ``se ... então ... '' e de `` ... se e só se ....''.