Las aplicaciones que tiene la Lógica Proposicional y la Lógica de Predicados

Trabajado Por: Leisy Rodriguez

La lógica proposicional habla sobre conceptos de falsedad y verdaderos, las proposiciones y de cómo la verdad se transmite de unas proposiciones premisas a otras conclusión

¿Que es una proposición?

Una proposición es una oración o una unidad mínima de significados susceptible de ser verdadera o falsa. La procesión lógica se es todo contenido de agrupación ya sea cierto o falso, esta se puede clasificar en:

-Atómicas: son aquellas que no se descomponen en parte que sean a su ves proposiciones y que carecen del termino no.

-Moleculares: formadas por procesión atómicas enlazadas o modificadas por otros términos.

Las proposiciones se pueden distribuir por símbolos que pueden ser letras minúscula como (p, q, r, s, t, w, v) llamados variados proposicionales, los conectores proposicionales son términos sinteategoricamente que se usan para modificar o enlazar proposiciones.

Los mas enlazados son:

(¬) Negación:este símbolo representa la partícula lingüística "NO" o cualquiera otra partícula que incluya la idea de negación.

Ejemplo: La casa no es grande.

(Ù) Conjunción: representa la partida lingüística y/o cualquier otra que indica la idea de unión como: tan bien, igual mente, pero.

Ejemplo: comemos y cenamos

(Ú) Disyunción no exclusiva: equivale a y/o, o sea, que incluye la verdad de los dos enunciados de la disyunción o bien sólo la de uno de los dos.

Ejemplo: viajara juan peréz y/o juana peréz.

( _ ) Disyunción exclusiva:expresa que la verdad e un miembro es incompatible con la verdad del otro, o uno al otro pero no los dos.

Ejemplo: el día esta lluvioso o nublado.

( r ) Condicional: Representa las partículas lingüísticas si … entonces ... o cualquiera otros que indiquen la idea de condición, como cuando … entonces... , entonces o una simple "coma".

Ejemplo: si me saco la lotería te comprare un auto.

( « ) Bicondicional: Representa las partículas lingüísticas si y sólo si … o cualquier otra que indique doble condición, como equivale, cuando y sólo cuando, únicamente.

Ejemplo: esta nubla<do si y solo si hay nieve.

Conectivas lógicas: conectiva es un enunciado, un enunciado es una oración estas pueden combinarse de diferentes formas para dar lugar a proposiciones moleculares, nos dicen cómo afecta el valor de verdad a las proposiciones atómicas.

Ejemplo: Las flores son plantas y los erizos aves

estamos conectando la proposición atómica "las flores son plantas" con la proposición atómica "los erizos son aves" mediante la conectiva lógica "y". La "y" nos está diciendo que la proposición molecular "Las flores son plantas y los erizos aves" sólo es verdadera si las dos proposiciones atómicas que la componen son ambas verdaderas, y será falsa en caso de que, al menos una de ellas, sea falsa. Como sabemos que los erizos no son aves, podemos concluir que la proposición "Las flores son plantas y los erizos aves" es falsa.