Correcção do exercício escrito. Completude expressiva. Conectivas não-verofuncionais.

22 Outubro 2018, 18:00 • Ricardo Santos

Correcção do exercício escrito.

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 ...’).