nociones

CONECTIVA LOGICA
¿QUE ES LA CONECTIVA LOGICA?
es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor deverdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.
¿CUALES SON LOS CONECTIVOS MAS COMUNES?
Los conectivos lógicos más comunes son los conectivos binarios (tambiénllamados conectivos diádicos) que unen dos frases, que pueden ser consideradas los operandos de la función. También es común considerar a la negación como un conectivo unario.
DA UN EJEMPLO DE LENGUAJENATURAL
A: Juan subió la montaña.
B: Pedro subió a la montaña.
C: Juan subió a la montaña y Pedro se subió a la montaña.
D: Juan subió la montaña, por lo tanto Pedro subió la montaña.
¿QUE SONLOS SIMBOLOS INEQUIVOCOS?
Estos símbolos se llaman "conectivos lógicos", "operadores lógicos", "operadores proposicionales", o, en la lógica clásica, la "de funciones conectivos de verdad.
¿CUALES SONLOS CONECTIVOS LOGICOS COMUN MENTE USADOS?
Negación (no): ¬, ~
Conjunción (y): ∧, y, ∙
Disyunción (o) ∨
Implicación material (Si .. entonces): →, ⇒, ⊃
Bicondicional (si y solo si): ↔, ≡, =FORMULAS SENTENCIALES
¿QUE ES?
es una variable discreta que puede ser verdadera o falsa. Las variables proposicionales son los bloques de construcción básicos de las fórmulas proposicionales,usadas en lógica proposicional y en lógicas superiores.
¿COMO SON COMUN MENTE CONSTRUIDAS?
ecursivamente a partir de algunas variables proposicionales, algún número de conectivos lógicos, y algunoscuantificadores lógicos.
COMO SON?
Cada variable proposicional es una fórmula.
Dada una fórmula X, su negación ¬X es una fórmula.
Dadas dos fórmulas X e Y, y un conectivo binario b (como por ejemplola conjunción ∧), entonces (X b Y) es una fórmula
CUALES SU MODELO
Nociones de la lógica simbólica LA LÓGICA TRADICIONAL LA LÓGICA EN LA FILOSOFÍA MODERNA EVOLUCIÓN DE LA LÓGICA. Empieza después...