Funções de Lógica Proposicional. Para negarmos uma proposição no formato de disjunção(p ou q), faremos o seguinte: 1) Negaremos a primeira (~p); 2) Negaremos. - ppt download
Lógica matemática - Relação, Proposição, Negação e Tautologia
Lógica de Primeira Ordem: Sentenças, Proposições, Conectivos Lógicos, Princípios Fundamentais e Tabelas-Verdade - Diego Macêdo