Logica Proposicional

LOGICA PROPOSICIONAL:
Proposición Lógica:
Es el significado de una expresión aseverativa que se caracteriza por tener solo un valor veritativo, es decir, el significado presenta la posibilidad deser verdadero o falso, pero no los dos a la vez.
Las proposiciones lógicas son simbolizadas mediante letras minúsculas: p, q, r, s … A estas se les denomina variables proposicionales. Si unaproposición p es verdadera se anota el hecho con la letra V. En cambio, si la proposición p es falsa, se anotara con la letra F.
Expresiones no Proposicionales:
Son aquellas expresiones del lenguaje común queno pueden ser calificadas como verdaderas o falsas. Estas expresiones pueden ser:
Interrogativas: Son aquellas expresiones de preguntas.
Exclamativas: Son aquellas que expresan sorpresa,admiración, jubilo o emoción.
Imperativas: Son aquellas que originan o impiden una acción (mandato o orden).
Desiderativas: Son aquellas que expresan deseos o anhelos.
Conectivos Lógicos:
Llamados tambiénoperadores o constantes, son palabras o términos que enlazan proposiciones simples o niegan una proposición.

Expresión en Lenguaje Común | Símbolo | Nombre de la Proposición |
No es el caso que… |∽ | Negativa |
… y … | ∧ | Conjuntiva |
… o … | ∨ | Disyuntiva Débil |
o… o… | ≢ o ↮ | Disyuntiva Fuerte |
Si… entonces… | → | Condicional |
… si y solo si … | ↔ | Bicondicional |

Tablasde Verdad:
Son cuadros de doble entrada que nos permiten determinar el valor de verdad de un esquema molecular, considerando las posibles combinaciones entre los valores de verdad de las variablesque lo componen y sobre la base de la regla del conectivo correspondiente.
El número de combinaciones se obtiene con la expresión 2n, en la que la base representa al número constante de valores y elexponente representa el número de variables que tiene el esquema.
Análisis de las Proposiciones Compuestas Básicas:
Proposición conjuntiva (∧)
Son aquellas proposiciones que se relacionan...