RA2: Saber aplicar mecanismos de inferencia para derivar nuevo conocimiento.
|
A2 A4 A5
|
B2
|
C3 C13 C14
|
D3
|
RA4: Conocer los conceptos fundamentales de la lógica de predicados y saber manejar las reglas de inferencia y equivalencias lógicas de cuantificación para realizar pruebas formales.
|
A4 A5
|
|
C3
|
D1 D2
|