AP07 Semântica

14 março 2019, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Fórmulas válidas e fórmulas não válidas, Construção de contra-exemplos. Denotação de fórmula.