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
Reglas de formación de LP
.Cada variable proposicional es fbf
.Si A representa una fbf, ~(A) representa una fbf
.si A y B representan fbf’s,entonces
A^B,AvB,…representan una fbf
.Solo son fbf si cumplen con las reglas anteriores
La sintaxis está compuesta por…
. Símbolos primitivos
. Reglas de formación
. Reglas de transformación
Qué son los esquemas de fórmulas?
.Son moldes o formas que representan fbf.
.Estan conformadas por metavariables.
.Pueden presentar operadores lógicos y signos de agrupación
Cuál es el esquema de fbf más general?
A porque puede representar lo siguiente:
- p
- q
- p^q
- etc
