1. Lógica proposicional
Es una parte de la lógica que estudia las proposiciones y la relación existente entre ellas, así como la función que tienen los conectivos lógicos.
2. Proposición lógica
Es aquella expresión u oración coherente que puede calificarse o bien como verdadero (V) o bien como falso (F) y sin ambigüedad. Las proposiciones lógicas generalmente se denotan con letras minúsculas, tales como: p, q, r, s, …, etc.
3. Negación de una proposición
Consiste en cambiar el valor de verdad que tiene una proposición. Si la proposición es “p”, su negación se denota por “~p” y se lee: “no p” o “es falso que p”. Las diferentes posibilidades las podemos esquematizar en una tabla, denominada Tabla de verdad.
4. Conectivos lógicos
Son elementos que sirven de enlace entre las proposiciones, para formar otra, denominada a veces proposición molecular.
4.1 Disyunción (se simboliza: “Ú“, se lee: “o”)
Es una parte de la lógica que estudia las proposiciones y la relación existente entre ellas, así como la función que tienen los conectivos lógicos.
2. Proposición lógica
Es aquella expresión u oración coherente que puede calificarse o bien como verdadero (V) o bien como falso (F) y sin ambigüedad. Las proposiciones lógicas generalmente se denotan con letras minúsculas, tales como: p, q, r, s, …, etc.
3. Negación de una proposición
Consiste en cambiar el valor de verdad que tiene una proposición. Si la proposición es “p”, su negación se denota por “~p” y se lee: “no p” o “es falso que p”. Las diferentes posibilidades las podemos esquematizar en una tabla, denominada Tabla de verdad.
4. Conectivos lógicos
Son elementos que sirven de enlace entre las proposiciones, para formar otra, denominada a veces proposición molecular.
4.1 Disyunción (se simboliza: “Ú“, se lee: “o”)
.gif)


