fdsg

Conectiva
Expresión en el
lenguaje natural
Ejemplo
Símbolo en
este artículo
Símbolos
alternativos
Negación
no
No está lloviendo.


Conjunción
y
Está lloviendo y está nublado.

 Disyunción
o
Está lloviendo o está soleado.


Condicional material
si... entonces
Si está soleado, entonces es de día.


Bicondicional
si y sólo si
Está nublado si y sólo si hay nubesvisibles.


Negación conjunta
ni... ni
Ni está soleado ni está nublado.


Disyunción excluyente
o bien... o bien
O bien está soleado, o bien está nublado.



1. Reglas lógicas
1.1 Reglasde cuantificadores:
Instanciación universal: ∀x A[x] ⇒ A[a]
Generalización existencial: A[a] ⇒ ∃xA[x]
Descenso cuantificacional: ∀x A[x] ⇒ ∃x A[x]
Conmutatividad del cuantificador universal:∀x∀yA[xy] ⇔∀y∀xA[xy]
Conmutatividad del cuantificador existencial: ∃x∃yA[xy] ⇔∃y∃xA[xy]
Conmutatividad del cuantificador existencial y el universal: ∃x∀yA[xy] ⇒ ∀y∃xA[xy]
1.2. Reglas de conjunción y dedisyunción:
Producto Lógico: A, B ⇒ A&B.
Simplificación: (a) A&B ⇒ A ; (b) A&B ⇒ B.
Adición: (a) A ⇒ A ∨ B ; (b) B ⇒ A ∨ B.
1.3. Reglas del condicional
Modus Ponens: A, A → B ⇒ B.
SilogismoHipotético: A → B, B → C ⇒ A → C.
Conmutación de Antecedentes: A → (B → C) ⇒ B → (A → C).
Carga de Antecedente: B ⇒ A → B.
1.4. Reglas de la negación
Doble Negación: ¬¬A ⇒ A.
Eliminación de la DobleNegación: A ⇒ ¬¬A.
Regla del Ex Falso Quodlibet: A&¬A ⇒ C.
1.5. Reglas de condicional y conjunción
Importación: A → (B → C) ⇒ A & B → C.
Exportación: A & B → C ⇒ A → (B → C).
1.6. Reglas decondicional y negación
Modus Tollens: A → B, ¬B ⇒ ¬A.
Contraposición: A → B ⇒ ¬B → ¬A.
1.7. Silogismo disyuntivo
(a) A ∨ B, ¬A ⇒ B (b) A ∨ B, ¬B ⇒ A.
1.8. Dilemas
Conjuccion
Una conjunciónlógica (comúnmente simbolizada como Y o ) es, en lógica y matemáticas, un operador lógico que resulta en verdadero si los dos operadores son verdaderos.
Definición

Dado un conjunto universal U y...