00979nam a2200205Ia 4500008004100000020001800041050002200059100002700081240003000108245008400138250001700222260003100239300002800270500003600298504002600334505030500360650003900665650002800704700004100732120721r2009    mx            000 0 spa d  a978968260134704aBC135bC6718 2009  aCopi, Irving M.eautor  aSymbolic Logiclespañol10aLógica simbólicab/ Irving M. Copi ;  Traducción Andrés Sestier Boulier  a2a edición  aMéxicob: Patriac, 2009  a407 páginasc; 23 cm.  aVigésima sexta reimpresión.  aIndice alfabético.   aLógica y lenguaje. Argumentos que contienen enunciados compuestos. El método de la deducción. Funciones proposicionales y cuantificadores. La lógica de las relaciones. Sistemas deductivo. Un cálculo proposicional. Sistemas y notaciones alternativos. Un cálculo funcional de primer orden.  0aLÓGICA, SIMBOLICA Y MATEMÁTICA 0aINTELIGENCIA ARTIFICIAL  aSestier Boulier, Andrésetraductor