Lògica proposicional

per Software DELSOL

El Diccionario de la RAE define lógica como “ciencia que expone las leyes, modos y formas de las proposiciones en relación con su verdad o falsedad”. 

Algo que es lógico es coherente, bien estructurado.

La lógica nos permite saber si un pensamiento es correcto o incorrecto.

La lógica estudia el razonamiento humano

Podemos distinguir dos tipos de lógica:

  • La lógica aristotélica que estudia los conceptos, en especial los predicables y las categorías. Se ocupa del razonamiento: deductivo, categórico o de silogismos, como formas de conocimiento científico.
  • La lógica matemática o proposicional consiste en utilizar símbolos a través de tablas de verdad que nos indican lo verdadero o falso.

La proposición

El Diccionario RAE define proposición como “enunciación de una verdad demostrada o que se trata de demostrar”, su análisis es el fundamento de la lógica proposicional que, a través de este método de análisis, utiliza un lenguaje exacto que no da lugar a imprecisiones.

La proposición sólo puede ser verdadera o falsa

Para que un enunciado que hacemos sea una proposición el único requisito es que podamos definirla como verdadera o falsa.

Por ejemplo son proposiciones: son las tres de la tarde, la luz está encendida, La Cibeles está en Madrid, 2+2=5, Caracas es la capital de Venezuela; en todos estos casos lo que se dice es verdadero o falso.

No serían proposiciones las preguntas como ¿a dónde vas? o ¿cómo estás?, u otras expresiones que no enuncian realidades verdaderas o falsas como buenos días o te deseo lo mejor.

A estas afirmaciones verdaderas o falsas las llamamos proposiciones simples y, para trabajar con ellas, las representamos con letras del alfabeto.

Proposiciones complejas

Una proposición compleja es la unión de dos o más proposiciones simples que están unidas por un conector lógico

Este conector lógico del que hablamos suele consistir en una palabra que las relaciona (vincula) como “y”, “además de”, “entonces”, etc.

Por ejemplo, si tenemos dos proposiciones simples como:

  • María es guapa.
  • María es lista.

Con ellas podremos formar una compleja que sería “María es guapa y lista”.

Tabla de verdad

Como hemos visto en una proposición simple solo hay dos posibilidades, o es verdadera o es falsa.

Pero, en una proposición compuesta, hay dos o más proposiciones simples.

En este caso no hay sólo dos posibilidades: al haber dos proposiciones puede que las dos sean verdaderas, que las dos sean falsas, que una sea verdadera y la otra falsa o viceversa, por lo tanto habría cuatro posibilidades.

Si la proposición compleja contiene tres proposiciones simples el número de posibilidades es aún mayor.

Para calcular el número de posibilidades elevamos dos al número de proposiciones simples que participan que será el exponente.

Así, si tenemos dos proposiciones será dos al cuadrado (4), si son tres será dos al cubo (8), si son cuatro dos a la cuarta (16) y así sucesivamente.

Conectores lógicos

Como hemos dicho enlazan dos o más proposiciones simples, dependiendo de cómo realizan esta vinculación pueden ser:

  • Conjunción: la letra “y”, en este caso para que la proposición compuesta sea verdad las dos proposiciones simples deben ser verdaderas.
  • Disyunción débil la letra “o”, para que la proposición compuesta sea verdad una de las dos proposiciones será verdadera o las dos, la proposición compuesta sólo será falsa si las dos proposiciones simples que la componen son falsas.
  • Disyunción fuerte con la combinación “o...o...” como en la frase “o comes carne o comes pescado”; en este caso para que la proposición compuesta sea verdadera una de las dos simples que la componen debe ser verdadera y la otra falsa, si las dos fueran verdaderas o las dos falsas la proposición compuesta sería falsa.
  • Condicional por la expresión “sí … entonces ...”: la primera proposición simple es el antecedente y el segundo consecuente. En este caso la proposición será verdadera salvo que la primera sea verdadera y la segunda falsa, en cuyo caso la compuesta será falsa.
  • Bicondicional por la expresión “sí y sólo sí”, como en la frase “el animal ladra sí y sólo sí es un perro”: en este caso la proposición compuesta es verdadera si las dos simples son, a la vez, verdaderas o las dos falsas, si una fuera verdadera y la otra falsa la compuesta sería falsa.
  • Negación puede ser con la expresión “no” o “no es cierto que”, para que la compuesta sea verdadera al menos una de las dos que la componen ha de ser falsa.

Tablas de verdad

Como vemos, para saber si una proposición compleja es verdadera o falsa necesitamos saber si las proposiciones simples que la componen son verdaderas o falsas.

Dependiendo del resultado final según la combinación de estas proposiciones simples la tabla de verdad de la compleja puede ser de tres tipos:

  • Tautológica cuando cualquier combinación de verdadero o falso de sus componentes da siempre como resultado que la proposición compleja es verdadera.
  • Contradictoria si cualquier combinación de verdadero o falso de los componentes da siempre como resultado que la proposición compleja es falsa.
  • Contingente cuando existen distintas posibilidades de resultados según la combinación de verdadero y falso de los componentes.
Nou comentati

Software DELSOL es compromet amb la privacitat de les teves dades.

T'expliquem de manera resumida com tractarem les teves dades personals.

Qui és el Responsable del tractament de les teves dades?

Software del Sol, S.A., amb NIF nombre A-11682879 i adreça en Geolit, P. Tecnològic. C/ Les Viles 9. 23620. Mengíbar (Jaén). Adreça de correu electrònic: info@sdelsol.com.

Amb quina finalitat tractem les teves dades personals?

Tractem la informació que ens facilites amb la finalitat de prestar-te el servei sol·licitat i realitzar la facturació del mateix.

Si ho acceptes, també podrem usar-los per enviar-te informació, promoció i publicitat dels nostres productes i serveis i millorar així la teva experiència com a client.

¿Per quant temps conservem les teves dades?

Les dades personals que ens proporcionis es conservaran mentre es mantingui la relació comercial i/o no sol·licitis la supressió dels mateixos.

Quina és la legitimació per al tractament de les teves dades?

La base legal per al tractament de les teves dades està basada en el consentiment que et sol·licitem en recaptar aquestes dades i/o en la necessitat de comptar amb els mateixos per processar les teves comandes i complir amb els compromisos que adquirim amb tu per contracte.

Comunicarem les teves dades a tercers?

No, tret que la llei ens obligui.

Quins són els teus drets quan ens facilites les teves dades?

Tens dret a obtenir confirmació sobre si en Software del Sol, S.A. estem tractant les teves dades personals, per tant, tens dret a accedir a les teves dades personals, rectificar les dades inexactes o sol·licitar la seva supressió quan les dades ja no siguin necessaris.

Si vols conèixer amb més detall com tractem les teves dades consulta la nostra Política de Privacitat.

On estem

Geolit, Parque Científico y Tecnológico
Edificio Software DELSOL · 23620
Mengíbar · Jaén

Centraleta: 953 22 79 33
Comercial: 953 21 41 00

Àrea Comercial

  • Distribuïdors
  • Col·laboradors
  • Preguntes freqüents

Atenció al Client

  • Suport tècnic
  • Zona privada
  • Utilitats

Software DELSOL

  • Sobre Software DELSOL
  • Descarrega-ho gratis
  • Responsabilitat social
  • Treballa amb nosaltres
  • Resultats enquestes 2018
  • Butlletí DELSOL
  • Contacte

Polítiques

  • Política de Gestió
  • Política de Privacitat
  • Política de Seguretat
  • Termes d'ús generals de NUBE10
  • Condicions Generals de Contractació
  • Política de Cookies
Idioma
Microsoft Partner
Aenor 27001
Aenor 9001
iQnet
iQnet Sr10
Confianza ONLINE
  • linkedin
  • youtube
Utilitzem cookies pròpies i de tercers d'anàlisi d'ús i mesura per millorar la experiència d'ús i contingut de la nostra web, et recomanen acceptar el seu ús per aprofitar plenament la navegació. Recorda que pots modificar aquesta configuració.