Completude expressiva. Conectivas não-verofuncionais

16 Outubro 2017, 18:00 • Ricardo Santos

Completude expressiva do conjunto de conectivas seleccionado (viz. negação, conjunção, disjunção, condicional e bicondicional). Como expressar outras funções de verdade usando as conectivas deste conjunto. Conectivas verofuncionais e não-verofuncionais (exemplos: ‘É necessário que ...’, ‘... antes que ...’, ‘... porque ...’). O conceito de demonstração.