conectores logicos


TITULO: CONECTORES LÓGICOS
INTRODUCCIÓN:
En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo que se utiliza para conectar dos fórmulas bien formadas (atómicas o moleculares),de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes. En programación se utilizan para combinar valores de verdad y obtener nuevos valoresque determinen el flujo de control de un algoritmo o programa. Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de muchos sistemas lógicos, principalmente lalógica proposicional y la lógica de predicados.
Los conectores lógicos también son conocidos como nexos, pues son palabras que nos permiten conectar, unir o enlazar ideas
Desarrollo.  
La lógicamatemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamientológico se emplea en matemáticas para demostrar teoremas
Conectores Lógicos
Negación
Palabras conectivas: no, no es cierto que, no es verdad que, nunca, carece de, sin, etc.
Prefijos negativos: a,des, in, i.
Condición: lo V se transforma en F (y al revés) P -p


Conjunción
Palabras conectivas: y, aunque, pero, mas, también, sin embargo, además, etc.
Condición: es V cuando ambas son V.Disyunción inclusiva
Una, otra o ambas a la vez. (y/o)
Palabras conectivas: o
Condición: es F cuando las dos son F.


Disyunción exclusiva
O una o la otra (NUNCA ambasjuntas)
Palabras conectivas:
O......... o.....
O bien.... o bien
.... a menos que ....
Condición: es V cuando uno es V y el otro es F.

La condicional
Palabras conectivas: Si ..p.. entonces ..q..Si ..p.. , ..q.. Cuando .......p............. , ......q.. Siempre ......p............. , ....q.. Es condición suficiente..p..para que..q.. .........q........ sólo si ......p....... Es condición...