RA2: Saber aplicar mecanismos de inferencia para derivar novo coñecemento. |
A2 A4 A5
|
B2
|
C3 C13 C14
|
D3
|
RA4: Coñecer os conceptos fundamentais da lóxica de predicados e saber manexar as regras de inferencia e equivalencias lóxicas de cuantificación para realizar probas formais. |
A4 A5
|
|
C3
|
D1 D2
|