Está en la página 1de 5

INTRODUCCIÓN

En forma natural, el ser humano representa el conocimiento simbólicamente: imágenes,


lenguaje hablado y lenguaje escrito. Adicionalmente, ha desarrollado otros sistemas de
representación del conocimiento: literal, numérico, estadístico, estocástico y lógico.
La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando
una representación primitiva del lenguaje, permite representar y manipular
aseveraciones sobre el mundo que nos rodea. La lógica proposicional permite el
razonamiento, a través de un mecanismo que primero evalúa sentencias simples y luego
sentencias complejas.

George Boole
Nació en Irlanda (18151864)

El gran descubrimiento de Boole fue


aplicar una serie de símbolos a
operaciones lógicas y hacer que estos
símbolos y operaciones –por elección
cuidadosa– tuvieran la misma
estructura lógica que el álgebra
convencional. En el álgebra de Boole,
los símbolos podían manipularse según
reglas fijas que producirían resultados
lógicos.

En el año 1854 publicó una


investigación de las leyes del
pensamiento sobre las cuales son
basadas las teorías matemáticas de
Lógica y Probabilidad
 Agudizó la analogía entre los símbolos
algebraicos y aquellos que representan formas lógicas. Comenzaba el álgebra de la
lógica llamada Álgebra Booleana la cual ahora encuentra aplicación en la construcción
de computadoras, circuitos eléctricos, etc.

Considérense los símbolos de la figura No. 1, utilizándolos podemos decir que Boole
pensaba que a una proposición se le podía asignar valores de verdad o falsedad, por
ejemplo:
Si llueve me mojo
P = Sí llueve
Q = Me mojo
Conceptos básicos previos.

• Tipos de proposiciones

Proposiciones atómicas.- Aquellas proposiciones que no figuran ningún operador


lógico. Ejemplo:

Yo voy al cine.

a: Yo voy al cine.

Proposiciones moleculares.- Aquellas que están compuestas por varias proposiciones


atómicas unidas por conectores lógicos. Ejemplo:

( a ⟹ b ) ∧(a ∨b)

• Operadores lógicos.

Son aquellos símbolos que se usan para unir proposiciones, las cuales van a obtener un
valor de verdad. Estos operadores lógicos son muy necesarios para armar una
forma proporcional. A continuación tenemos los más utilizados:

Negación: Cambia el valor lógico de una proposición.

a: Hoy es martes. ¬a: Hoy no es martes.

Se lo presenta con formas gramaticales como: “no”, “ni”, “no es verdad que”, no es
cierto que”.
Conjunción: Relaciona proposiciones para formar una nueva.
a^b
a: hoy es martes
b: faltaré a clases Hoy es martes y faltaré a clases.

Se la presenta con formas gramaticales como: “y”, “pero”, “mas”; y signos de


puntuación como: coma, el punto, el punto y coma.

Disyunción: Relaciona dos proposiciones para formar una nueva que será falsa solo
cuando las dos proposiciones sea falso.
a: “voy al cine.” avb
b: “como en la casa de mis abuelos.” “Voy al cine ó como en la casa de mis
abuelos”.

Se lo presenta con el término gramatical. “o”.


Condicional: es una enunciación hipotética que tiene un antecedente y un consecuente.

a: “hago caso a mis padres.” a→b


b: “voy al estadio.” “Si hago caso a mis padres entonces
voy al estadio.”

Se presenta en la gramática como: “si a, entonces b”, “a solo si b”, “a solo si b”, “b
siempre que a”, “b debido que a”, “solo si b, a” y cualquier expresión que denote causa
y efecto.

EXPRESION EN
CONECTIVA EL LENGUAJE EJEMPLO SIMBOLO
NATURAL
Negación No No está lloviendo ¬
Está lloviendo y
Conjunción Y ^
está nublado.
Está lloviendo o
Disyunción O v
esta soleado.
Si esta soleado,
Condicional Si… entonces =>
entonces es de día.
Esta soleado si y
Bicondicional Si y solo si solo si hay nubes <=>
visibles.
En esta tabla se podrá guiar mejor pero estos no son los únicos operadores lógicos sino
que estos son los más utilizados.

Forma proposicional
Una forma proposicional es lo que se obtiene al reemplazar, una proposición. La cual va
a tener un valor de verdad, y va a estar formada por conectores lógicos y proposiciones.

Para armar una forma proposicional es muy importante reconocer sus conectores
lógicos. Un ejemplo:
a: Voy al cine.
b: Compro palomitas.
“Si voy al cine entonces compro palomitas y si compro palomitas, voy al cine”
(a => b) ^ (b => a)

a b a => b b => a (a => b) ^ (b => a)

0 0 1 1 1

0 1 1 0 0

1 0 0 1 0

1 1 1 1 1

Como se puede observar se ha representado por letras del abecedario las proposiciones
ej.: (a: Voy al cine) Las cuales están unidas por operadores lógicos, por lo cual mediante
su operación, van a obtener un valor de verdad.

También es muy importante identificar una proposición y los operadores lógicos ya que
si no conocemos estos, no podremos realizarlo correctamente.

Tipos de forma proposicional


Existen 3 formas proposicionales:

Tautológicas.- Es aquella forma proposicional que siempre da como resultado


verdadero (1).

p. Voy al cine p q q => p p =>(q =>p)

q. Compró palomitas 0 0 1 1

p => (q =>p) 0 1 0 1

1 0 1 1

1 1 1 1
“Si voy al cine entonces compro palomitas solo si voy al cine.”

Contradicciones.- Es aquella forma proposicional que siempre da como resultado falso


(0).
a b ¬a ¬a^b (¬ a ^ b) ^ a
a: Voy al cine.
0 0 1 0 0
b: Compro palomitas.
0 1 1 1 0
(¬a ^ b) ^ a
1 0 0 0 0
“No voy al cine y compro palomitas y voy
al cine.” 1 1 0 0 0

Contingencia.- Es aquella forma proposicional que siempre es verdadera y falsa a la


vez (0 1).

a: Voy al cine.
a b a => b b => a (a => b) ^ (b => a)
b: Compro palomitas.
0 0 1 1 1
(a => b) ^ (b => a)
0 1 1 0 0
“Si voy al cine entonces compro
1 0 0 1 0
palomitas y si compro palomitas,
voy al cine” 1 1 1 1 1

También podría gustarte