6.Lógica Estándar Flashcards
Características de la lógica estándar
.Apofántica(solo proposiciones)
.Bivalente(2 valores V y F)
.Asertórica(no hay “casi” V o “casi” F)
.Extensional(no le interesa la intención de las proposiciones)
Elementos que se distinguen en la ESTRATEGIA LÓGICA
. Construcción
. Decisión
. Traducción
Los cálculos son…y …
Artificiales y autárquicos
Qué significa que los cálculos son autárquicos?
Que carecen de otra finalidad que no sea calcular, no hacen referencia a nada ajeno a ellos
Qué son los símbolo primitivos?
Piezas básicas y elementales que vamos a manejar
Qué son las reglas de formación?
Combinaciones correctas de los símbolos primitivos,formula bien formada(fbf)
Qué son las reglas de transformación?
Permiten transformar una fbf en otra fbf del mismo sistema
Qué significa fbf?
Fórmula bien formada
Un cálculo es un lenguaje?
NO , ya que NO es un medio de comunicación
Lenguaje formal=
Cálculo + interpretación semántica = lenguaje formal
Los lenguajes simbólicos se componen de …
Sintaxis y semántica
Qué es la sintaxis?
La estructura del lenguaje
Los símbolos primitivos se dividen en…
.Variables proposicionales (p,q,r,s…)
.Operadores lógicos(^,v,~…)
.Signos de agrupación (,),[,],{,} y puntos auxiliares
Otro nombre con el que se conoce a las variables proposicionales es…
Símbolos proposicionales
Qué son las metavariables?
.Son símbolos para referirse a LP
.Representan fbf
.No son símbolos primitivos
