Lógica Simbólica

Lógica Simbólica
1. Símbolos de la lógica simbólica
Símbolo
Regla
La Negación
No presenta regla lógica, su incidencia consiste en cambiar, transformar o invertir el valor de una determinadaproposición.
La Conjunción
Será falsa cuando uno de sus componentes sea falso.
La disyunción inclusiva
Será verdadero cuando su antecedente o consecuente sea verdadero.
La disyunción exclusiva
Será falsocuando sus componentes sean falsos y cuando sus miembros sean verdaderos.
La condicional
Será falsa cuando su antecedente es verdadero y su consecuente es falso.
La bicondicional
Es verdadera cuando suscomponentes posean el mismo valor peritativo.
La incompatibilidad
Es falsa cuando su antecedente y consecuente sean verdaderos.
La negación conjunta
Será verdadera cuando sus componentes sean falsos.2. Conectivas lógicas:
Nombre
Símbolo
Lectura
Negación

No; no es cierto que; no es verdad, etc.
Conjunción

Y; pero; aunque; sino, etc.
Disyunción inclusiva

O; a menos que; sino, etc.
Disyunciónexclusiva

O; o bien, etc.
Condicional

Sí; entonces; es condición; necesario y suficiente para.
Bicondicional


Incompatibilidad


Negación conjunta



3. Clases de proposiciones lógicas, atómicasy moleculares:
Atómico, el significado de esta palabra en el lenguaje de la lógica es análogo a su significado original en las ciencias físicas. En lógica, atómicas son las proposiciones de forma mássimple (o más básicas).si se juntan una o varias proposiciones atómicas con un término de enlace, se tiene proposición molecular. Una proposición atómica es una proposición sin enlace, se usantérminos de enlace para formar proposiciones moleculares a partir de las proposiciones atómicas. 
*Ejemplos de Proposiciones atómicas:
1. Aquél árbol será derribado
2. Aquellos estudiantes están suspendidos3. El profesor es una buena persona
4. No había soda en la tienda
5. No hay clases
6. Las clases son interesantes
7. Los carros son verdes
8. Mi vecino es muy solidario
9. La libreta se me quedo
10....