Logotipo Descartes

LÓGICA DE ENUNCIADOS

3. ALFABETO DE LA LÓGICA DE ENUNCIADOS: CONECTIVAS Y SÍMBOLOS AUXILIARES.
 Además de las variables, la lógica proposicional  tiene otros elementos en su alfabeto: las constantes lógicas y los símbolos auxiliares que forman los enunciados compuestos.
 

Algunas de las marcas léxicas del lenguaje natural, se traducen con uno de las cinco constantes lógicas siguientes:

¬ NEGACIÓN:no, ni, salvo, excepto
٧ DISYUNCIÓN INCLUSIVA: o,o bien, tanto si... como si,
٧  DISYUNCIÓN EXCLUSIVA:: o,o bien, tanto si... como si,

٨ CONJUNCIÓN: y, e, o ni (=y no), pero, empero, sin embargo, no obstante, además, aunque, así mismo, sino que, en cambio, mientras, ahora bien, cuando, má bien, antes bien, el punto y seguido, la coma,  el punto y la coma...
CONDICIONAL: si.... entonces; por tanto; en consecuencia; siempre que; es suficiente; mientras + subjuntivo; solo que +subjuntivo: puesto que + subjuntivo; indicar,comportar, suponer, presuponer, denotar,...; para concluir: por consiguiente: finalmente: a manera de colofón; en fin; debito a esto; puesto que; dado que; por esta causa; ya que...
BICONDICIONAL: si y solo si; es necesario y suficiente; equivaler;ser el mismo que, es neceario que y solo es necesario que; quien + subjuntivo y solo quien; es necesario y hay bastante con...

  
A veces también se usan símbolos auxiliares: paréntesis y corchetes,  para unir enunciados moleculares como veremos en los argumentos.

Veamos algunos ejemplos de traducciones del lenguaje natural a constantes lógicas:


Esta unidad interactiva requiere la máquina virtual de Java J2RE. Esta unidad interactiva requiere la máquina virtual de Java J2RE. Esta unidad interactiva requiere la máquina virtual de Java J2RE. Esta unidad interactiva requiere la máquina virtual de Java J2RE.

Las conectivas  que tienen mayor dificultad son la disyunción exclusiva y la disyunción inclusiva.


Usa los pulsadores de conectiva para ver distintos ejemplos.

5.- Hazte un cuadro resumen de  los símbolos de las distintas conectivas.

6.
- Escribe en tu cuaderno los enunciados simples de tres ejemplos de cada una de las conectivas de la escena.

                                                                                                                                                                   boton_arriba    boton_arriba   boton_adelante      

 
Manuel Valero Domenech
Logotipo Descartes
 
Ministerio de Educación, Cultura y Deporte. Año 2012
 
 

Licencia de Creative Commons
Los contenidos de esta unidad didáctica están bajo una licencia de Creative Commons si no se indica lo contrario.