Lógica simbólica básica /

Saved in:
Bibliographic Details
Main Author: Camacho, Luis A.
Format: Book
Language: Spanish
Published: México, D.F. : Limusa, 2005.
Subjects:
Notas Contenido:
  • Sobre la noción de lógica
  • Sobre la naturaleza de la lógica
  • Relación entre lenguaje formalizado y lenguaje ordinario
  • Elementos del lenguaje ordinario y su relación con la lógica
  • Proposiciones y razonamientos
  • Ejercicios
  • Recomendaciones bibliográficas
  • Temas complementarios
  • Cálculo proposicional
  • En qué consiste un cálculo lógico
  • Uso del cálculo
  • Elementos del cálculo proposicional
  • Leyes y reglas de transformación
  • Aplicación de reglas de inferencias y leyes de equivalencia en prueba de argumentos
  • Temas complementarios
  • Otros sistemas de símbolos
  • Cuantificación
  • Pruebas indirectas en argumentos cuantificados con una sola variable
  • Prueba condicional en cálculo cuantificado
  • Negociación de preposiciones cuantificadas
  • Proposiciones con varios cuantificadores
  • Reglas de cuantificación revisadas
  • Paradoja de un argumento sencillo
  • Relaciones, descripciones definidas e identidad
  • Descripciones definidas
  • Identidad

Bolívar/Petroquímica: Unknown

Holdings details from Bolívar/Petroquímica: Unknown
Call Number: 511.3 C172l
Copy Unknown Available Place a Hold