AT18 Dualidade e Interpretação Lógica
2 maio 2019, 10:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Teorema do equilíbrio. Fórmula e fórmula derivada a partir de outra. Fórmula incoerente. Satisfação por vector.
2 maio 2019, 10:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Teorema do equilíbrio. Fórmula e fórmula derivada a partir de outra. Fórmula incoerente. Satisfação por vector.