Conectores o conectivas lgicos

Negacin Conjuncin Disyuncin Condicional Bicondicional

^ v

& +

Alfabeto del lenguaje formal de enunciados o L 0

Un lenguaje formal es un conjunto de expresiones o formulas generadas mediante un
alfabeto o conjunto de smbolos al que se le aplican reglas de formacin o
formulas. Al lenguaje formal de la lgica de enunciados que aqu introduciremos lo
nombraremos como L 0 (L cero) por ser un lenguaje de orden cero.
(Lozano Gonzales & Prez Armendriz, 2016, p. 73)

Alfabeto de L0

Simbolos Lgicos:, ^, v, Simbolos no lgico o letras Simbolos auxiliares:

, proposicionales: p,q,r,s... ()

Formalizacin del lenguaje natural al lenguaje proposicional.

Formulas atmicas o simples: Son las que no poseen conectores, formadas por las meras
letras proposicionales.
Ejemplos:
Enunciado en el lenguaje natural Traduccin al lenguaje formal o proposicional
Llueve L
Hoy es lunes L
La ley es justa J
Roma es la capital de Italia R

No es importante la letra con que se decida formalizar un enunciado, puede ser

cualquiera. Tambin es importante tener en cuenta que solo es posible formalizar
oraciones afirmativas pues solo a estas es posible asignarles un valor de verdad
(verdadero o falso). Oraciones exclamativas o interrogativas no son susceptibles de que se
les asigne un valor veritativo. No tendra sentido decir que oraciones del tipo: cierra la
puerta! Qu hora es? son verdaderas o falsas.

Formulas compuestas o moleculares: Son las que poseen uno o ms conectores y se

emplean para representar enunciados compuestos.
Ejemplos:
Enunciado en el lenguaje natural Traduccin al lenguaje formal o proposicional
No es cierto que sea falso que no llueve L
Supuesto que Pablo de queda, Luis se ir pq
Ni de oriente ni de occidente ni del desierto O & C & D
vendr la salvacin.
Los das de los hombres son como la hierba; D^F
como flor del campo, as florece.

Tablas de verdad
Una tabla de verdad proporciona un diagrama lgico, una lista de todas las combinaciones
posibles de valores de verdad para cada letra proposicional.
Conjuncin: Operador binario que es verdadero cuando ambos conyuntos (P y Q) son
verdaderos.
P Q P^Q
1 1 1
1 0 0
0 1 0
0 0 0

Disyuncin: Operador binario que es verdadero cuando al menos uno de ambos disyuntos
es verdadero, por lo que es falso solo en el caso en que ambos disyuntos son falsos.
P Q PvQ
1 1 1
1 0 1
0 1 1
0 0 0

Condicional: Es falso solo cuando el antecedente es verdadero y el consecuente falso.

P Q PQ
1 1 1
1 0 0
0 1 1
0 0 1

Bicondicional: es verdadero cuando ambas partes (p y q) son verdaderas o ambas son

falsas.
P Q P^Q
1 1 1
1 0 0
0 1 0
0 0 0

Negacin: Operador monario que invierte los valores de verdad.

P P
1 0
0 1
 Aplicaci de
tablas de
verdad

Cunjunto de
Formulas Argumentos
formulas

a) Vlido: Premisas
a)Satisfacible: Son verdaderas
Satisfacible Insatisfacible todas las formulas del conjunto
verdaderas y conclucin
verdadera.
en el mismo renglon
b) Invlido: Premisas
b)Insatisfacible: Nunca pueden
verdaderas y conclucin
ser verdaderas todas las
falsa.
a) Tautolgica formulas del conjunto en un
Contradictorio mismo renglon.
b) Contingente

As pues se dice de un enunciado que es o verdadero o falso. Una formula o un conjunto

de formulas son: tautologas, contingencias, contradicciones, satisfacibles o insatisfacibles.
Y por ltimo los argumentos son Vlidos o Invlidos. Es importante no confundir estos
trminos.

Bibliografa recomendada
Lgica clsica de primer orden Jos L. Falguera
Introduction to Logic Harry Gensler
Lgica para principiantes Mara Manzano
Introduccin a la Lgica Copi y Cohen
Manual de lgica elemental Mario Alberto Lozano & Adriana Perez Armendariz

Bibliografa
Lozano Gonzales, M. A., & Prez Armendriz, A. (2016). Manual de Lgica Elemental.
Mxico: Trillas.