Definición de Lógica, proposiciones y operaciones con proposiciones.

Definiciones de lógica.-

• La lógica matemática es la que estudia la inferencia mediante sistemas formales como la lógica proposicional, la lógica de primer orden y la lógica modal. Clic aquí para más información.
• Algunos autores también la identifican con la lógica matemática o la lógica simbólica, ya que utiliza una serie de símbolos especiales que la acercan al lenguaje matemático. Las proposiciones pueden ser verdaderas o falsas. Clic aquí para más información
• Se conoce como lógica matemática, también llamada lógica simbólica, lógica formal, lógica teorética o logística, a la aplicación del pensamiento lógico a determinadas áreas de la matemática y la ciencia. Clic aquí para más información.

Definición de proposición.-

• En filosofía y lógica, el término proposición se usa para referirse a: 

1. Las entidades portadoras de los valores de verdad.
2. Los objetos de las creencias y de otras actitudes proposicionales.
3. El significado de las oraciones declarativas o enunciativas, como "el Sol es una estrella". Clic aquí para más información.

• Una proposición es un enunciado declarativo al que puede asignarse valores de verdad. Clic aquí para más información.

Operaciones con proposiciones.- 

• Negación.- La negación clásica es una operación sobre un valor de verdad (generalmente, el valor de una proposición), que produce un valor de verdadero cuando su operando es falso, y un valor de falso cuando su operando es verdadero. Información y Video.
• Conjunción o producto lógico.-  En razonamiento formal, una conjunción lógica (  ) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto solo si ambas proposiciones son ciertas, y en falso de cualquier otra forma.​ Existen diferentes contextos donde se utiliza la conjunción lógica. En lenguajes formales, la palabra "y" se utiliza en español para simbolizar una conjunción lógica. Información y Video.
• Disyunción o suma lógica.- En razonamiento formal, una disyunción lógica (${\displaystyle \lor }$) (también llamado disyunción incluyente, disyunción débil o disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en verdadero de cualquier otra forma. Información y Video.
• Implicación o condicional.- En lógica, la implicación, también llamada implicación lógica o implicación material se simboliza formalmente como:  e indica que  es una conclusión lógica de . Se lee "A implica B" o "A, por tanto B". Información y Video.
• Bi-Condicional o doble implicación.- El bicondicional o doble implicación es un operador que funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren. Información y Video.