T_14

20 Novembro 2020, 09:30 • Mário Jorge Edmundo

A semântica das fórmulas: numa interpretação as fórmulas exprimem condições, condição universal e condição possível; A semântica das sentenças: numa interpretação uma sentença exprime uma proposição, o valor lógico de uma sentença universal e condição universal, o valor lógico de uma sentença existencial e condição possível; Exemplos.