IWSI1-MD-Logica.pdf
PiedraConOjos
Incluye el contenido para el segundo parcial (tema 4): lógica formal (de proposiciones y predicados), tableaus, y estructuras deductivas. No incluye las reglas de inferencia de la lógica de predicados ya que no entran en el parcial del año 26-27.
content_copy